Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Verifying Deadlock-Freedom of Communication Fabrics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

“Not Some Trumped Up Beef”: Assessing Credibility of Online Restaurant Reviews

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

On the Decidability of MSO+U on Infinite Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Infinite Two-Dimensional Strong Prefix Codes: Characterization and Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Effectiveness for Input Output Conformance Simulation Iocos̱

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Virtual Reconstruction of the Ancient State of a Ruined Church

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Trace Spaces: An Efficient New Technique for State-Space Reduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Multiple Cortical Surface Correspondence Using Pairwise Shape Similarity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Speaking to See: A Feasibility Study of Voice-Assisted Visual Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy