Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

The Equivalence of Four Extensions of Context-Free Grammars

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
1994English

Better External Memory Suffix Array Construction

Journal of Experimental Algorithmics
Theoretical Computer Science
2008English

Periodic Merging Networks

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
1998English

Computational Complexity of Formal Translations

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
1974English

Translating Java for Multiple Model Checkers: The Bandera Back-End

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2005English

An Experimental Study of Polylogarithmic, Fully Dynamic, Connectivity Algorithms

Journal of Experimental Algorithmics
Theoretical Computer Science
2001English

Robust Safety of Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2008English

Stochastic Models and Adaptive Algorithms for Energy Balance in Sensor Networks

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2009English

Succinct Backward-Dawg-Matching

Journal of Experimental Algorithmics
Theoretical Computer Science
2009English

Chomskian Hierarchies of Families of Sets of Piecewise Continuous Functions

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy