Automata, circuits and hybrids: facets of continuous time
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Journal of the ACM (JACM)
Finite variability interpretation of monadic logic of order
Theoretical Computer Science
Automata, Circuits, and Hybrids: Facets of Continuous Time
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Theoretical Computer Science
Computability of analog networks
Theoretical Computer Science
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
From logic to theoretical computer science: an update
Pillars of computer science
Boris A. Trakhtenbrot: academic genealogy and publications
Pillars of computer science
Church synthesis problem with parameters
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Hi-index | 0.00 |