Search results for: Vlad Rusu
Lecture Notes in Computer Science > Smart Card Programming and Security > Contributed Papers > 58-70
Lecture Notes in Computer Science > FME 2003: Formal Methods > Communications System Verification > 223-243
Formal Aspects of Computing > 2016 > 28 > 3 > 469-497
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 1(P1) > 98-120
Computer Languages, Systems & Structures > 2015 > 44 > PA > 48-71
Formal Aspects of Computing > 2015 > 27 > 4 > 701-726
Electronic Notes in Theoretical Computer Science > 2014 > 304 > Complete > 81-96
Software & Systems Modeling > 2013 > 12 > 4 > 847-869
Journal of Symbolic Computation > 2010 > 45 > 5 > 574-597
Innovations in Systems and Software Engineering > 2010 > 6 > 1-2 > 73-81
Theoretical Computer Science > 2005 > 342 > 1 > 56-78
Electronic Notes in Theoretical Computer Science > 2001 > 50 > 4 > 327-341
Formal Aspects of Computing > 1999 > 11 > 4 > 448-471