Search results for: Pierluigi San Pietro
Theoretical Computer Science > 2017 > 664 > C > 91-116
Theoretical Computer Science > 2017 > 658 > PA > 46-59
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 198-210
Lecture Notes in Computer Science > Computational Science and Its Applications – ICCSA 2008 > General Track on High Performance Technical Computing and Networks > 871-886
Lecture Notes in Computer Science > Computing and Combinatorics > Automata/Petri Net Theory > 159-171
Lecture Notes in Computer Science > Computer Aided Verification > Games, Trees, and Counters > 93-105
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 41-54
Lecture Notes in Computer Science > STACS 2001 > Contributions > 132-143
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Contributed Papers > 196-208
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 132-143
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 388-395
Lecture Notes in Computer Science > ECOOP'91 European Conference on Object-Oriented Programming > 39-58
Acta Informatica > 2016 > 53 > 2 > 171-206
Information and Computation > 2015 > 245 > C > 72-97
Journal of Applied Logic > 2014 > 12 > 4 > 522-557