Search results for: Miguel Palomino
European Journal of Immunology > 50 > 1 > 97 - 109
Journal of Automated Reasoning > 2018 > 60 > 4 > 421-463
Cell Reports > 2017 > 18 > 10 > 2427-2440
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 221-235
Applied Catalysis A: General > 2016 > 523 > C > 73-84
Chemistry – A European Journal > 22 > 29 > 10036 - 10043
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 667-693
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Theory > 283-298
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 72-86
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Reasoning about Distributed Systems > 224-231
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 307-338
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 159-184
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 313-330
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Formal Methods and Reasoning Tools > 277-298
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 279-290
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 126-143
Advances in Intelligent and Soft Computing > International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008) > Neural Networks > 424-433
Separation and Purification Technology > 2016 > 157 > C > 102-111