Search results for: M. Ariola
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 39--92
Fusion Engineering and Design > 2017 > 122 > C > 365-374
Lecture Notes in Computer Science > Automata, Languages and Programming > Logic and Lambda-Calculus > 871-885
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 368-403
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 27-44
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 1-15
2015 IEEE Conference on Control Applications (CCA) > 1290 - 1295
International Journal of Applied Mathematics and Computer Science > 2015 > Vol. 25, no. 1 > 149--158
Control Engineering Practice > 2014 > 24 > Complete > 15-24
Journal of Fusion Energy > 2014 > 33 > 2 > 149-157
52nd IEEE Conference on Decision and Control > 4200 - 4205
52nd IEEE Conference on Decision and Control > 366 - 371