Search results for: Radu I. Siminiceanu
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 74-88
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Techniques > 90-104
Science of Computer Programming > 2014 > 80 > Part A > 169-187
IEEE Transactions on Systems, Man, and Cybernetics: Systems > 2013 > 43 > 3 > 488 - 503
International Journal of Human - Computer Studies > 2012 > 70 > 11 > 888-906
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and... > 2011 > 41 > 5 > 961 - 976
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 6 > 179-194