| A model-driven approach to teaching concurrency M Carro, Á Herranz, J Marino ACM Transactions on Computing Education (TOCE) 13 (1), 1-19, 2013 | 27 | 2013 |
| Efficient lazy narrowing using demandedness analysis JJ Moreno-Navarro, H Kuchen, J Mariño-Carballo, S Winkler, W Hans Progamming Language Implementation and Logic Programming: 5th International …, 1993 | 27 | 1993 |
| Property-based testing of JSON based web services LÅ Fredlund, CB Earle, Á Herranz, J Mariño 2014 IEEE International Conference on Web Services, 704-707, 2014 | 20 | 2014 |
| Jsongen: A QuickCheck based library for testing JSON web services C Benac Earle, LÅ Fredlund, Á Herranz, J Mariño Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 33-41, 2014 | 18 | 2014 |
| Adding Type Classes to Functional-Logic Languages. JJ Moreno-Navarro, J Mariño, A del Pozo-Prieto, A Herranz-Nieva, ... APPIA-GULP-PRODE, 427-438, 1996 | 18 | 1996 |
| Constructive intensional negation S Muñoz-Hernández, J Marino, JJ Moreno-Navarro International Symposium on Functional and Logic Programming, 39-54, 2004 | 16 | 2004 |
| Efficient compilation of lazy narrowing into prolog JA Jiménez-Martín, J Mariño-Carballo, JJ Moreno-Navarro Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92 …, 1993 | 16 | 1993 |
| Teaching how to derive correct concurrent programs from state-based specifications and code patterns M Carro, J Marino, A Herranz, JJ Moreno-Navarro Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium …, 2004 | 13 | 2004 |
| Modeling concurrent systems with shared resources Á Herranz, J Marino, M Carro, JJ Moreno Navarro Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009 | 12 | 2009 |
| A proposal for disequality constraints in Curry EJG Arias, JM Carballo, JMR Poza Electronic Notes in Theoretical Computer Science 177, 269-285, 2007 | 12 | 2007 |
| Automatic coding rule conformance checking using logic programming G Marpons, J Marino, M Carro, Á Herranz, JJ Moreno-Navarro, ... Practical Aspects of Declarative Languages: 10th International Symposium …, 2008 | 10 | 2008 |
| A verified implementation of priority monitors in Java Á Herranz, J Marino Formal Verification of Object-Oriented Software: International Conference …, 2012 | 9 | 2012 |
| A testing-based approach to ensure the safety of shared resource concurrent systems LÅ Fredlund, J Marino, RNN Alborodo, A Herranz Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2016 | 8 | 2016 |
| Execution and verification of UML state machines with erlang RJ Rodríguez, LÅ Fredlund, Á Herranz, J Mariño International Conference on Software Engineering and Formal Methods, 284-289, 2014 | 7 | 2014 |
| A coding rule conformance checker integrated into GCC G Marpons, J Mariño, M Carro, Á Herranz, LÅ Fredlund, ... Electronic Notes in Theoretical Computer Science 248, 149-159, 2009 | 7 | 2009 |
| Implementing constructive intensional negation J Mariño, JJ Moreno-Navarro, S Munoz-Hernandez New Generation Computing 27, 25-56, 2008 | 7 | 2008 |
| Constraint logic programming with a relational machine EJ Gallego Arias, J Lipton, J Mariño Formal Aspects of Computing 29, 97-124, 2017 | 6 | 2017 |
| Applying property-based testing in teaching safety-critical system programming LÅ Fredlund, Á Herranz, J Mariño 2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015 | 6 | 2015 |
| First-order unification using variable-free relational algebra EJG Arias, J Lipton, J Mariño, P Nogueira Logic Journal of the IGPL 19 (6), 790-820, 2011 | 6 | 2011 |
| Mechanising the validation of ERTMS requirements and new procedures Á Herranz, G Marpons, C Benac, J Mariño 9th World Congress on Railway Research, Lille, France, 33, 2011 | 6 | 2011 |
Lars-Åke FredlundUniversidad Politécnica de MadridVerified email at fi.upm.es
