Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Careful With Composition: Limitations of the Indifferentiability Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

The State of the Art in Language Workbenches

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Commitment in First-Price Auctions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Unsupervised Extraction of Diagnosis Codes From EMRs Using Knowledge-Based and Extractive Text Summarization Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Towards a Service-Oriented Architecture for Interactive Ubiquitous Entertainment Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Efficient Temporal Kernels Between Feature Sets for Time Series Classification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Social Cyber Contract Theory Model for Understanding National Cyber Strategies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Correction To: Augmented Reality, Virtual Reality, and Computer Graphics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Documentation Reuse: Hot or Not? An Empirical Study

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy