Search results for: Michael Benedikt
IEEE Transactions on Applied Superconductivity > 2018 > 28 > 3 > 1 - 5
IEEE Transactions on Applied Superconductivity > 2017 > 27 > 4-2 > 1 - 5
Journal of the Korean Physical Society > 2016 > 69 > 6 > 893-902
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B2: Automata and Formal Languages > 234-245
Lecture Notes in Computer Science > STACS 2005 > Session 5A > 327-339
Lecture Notes in Computer Science > Computer Aided Verification > Automata and Transition Systems > 379-393
Lecture Notes in Computer Science > Computer Science Logic > Finite Models, Decidability and Complexity > 276-291
Lecture Notes in Computer Science > Database Theory — ICDT 2003 > Reasoning about XML Schemas and Queries > 79-95
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 27-41
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 2-19