Algebraic languages

Learning of Regular Bi-omega Languages

ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Fundamental study: The modular decomposition of countable graphs. Definition and construction in monadic second-order logic

Theoretical Computer Science

Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing

Bounded satisfiability checking of metric temporal logic specifications

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design