Search results
Theoretical Computer Science > 2015 > 566 > Complete > 1-11
Fundamenta Informaticae > 2022 > Vol. 185, nr 4 > 337--356
Studia Logica > 2019 > 107 > 5 > 859-886
Natural Computing > 2018 > 17 > 1 > 67-79
Information and Computation > 2017 > 255 > P1 > 177-192
Journal of Software: Evolution and Process > 29 > 1 > n/a - n/a
Theoretical Computer Science > 2017 > 658 > PA > 235-245
IEEE Transactions on Automatic Control > 2017 > 62 > 1 > 190 - 205
Formal Aspects of Computing > 2017 > 29 > 2 > 335-364
Lecture Notes in Computer Science > Computer Science - Theory and Applications > Accepted Papers > 334-345
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1086-1094
Studies in Fuzziness and Soft Computing > Neural Information Processing: Research and Development > Learning Algorithms > 211-237
Lecture Notes in Computer Science > Advances in Artificial Intelligence – IBERAMIA 2010 > Knowledge Representation and Reasoning > 133-143
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 438-466
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Validation > 34-47