![Foto de MARÍA ISABEL](/img/nophoto.png)
MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
Argitalpenak (34) MARÍA ISABEL PITA ANDREU argitalpenak
2023
-
QMaude: Quantitative Specification and Verification in Rewriting Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 1-20
-
UnitJudge: a novel online automatic correction system for long programming practices by means of unit tests
10th International and the 16th National Conference on E-Learning and E-Teaching, ICeLeT 2023
2022
-
Metalevel transformation of strategies
Journal of Logical and Algebraic Methods in Programming, Vol. 124
-
Model checking strategy-controlled systems in rewriting logic
Automated Software Engineering, Vol. 29, Núm. 1
-
Simulating and model checking membrane systems using strategies in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 124
2021
-
Strategies, model checking and branching-time properties in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 123
2020
-
Strategies, Model Checking and Branching-Time Properties in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
-
Model checking strategy-controlled rewriting systems
Leibniz International Proceedings in Informatics, LIPIcs
-
Parameterized strategies specification in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
Journal of Automated Reasoning, Vol. 60, Núm. 4, pp. 421-463
2017
-
Conditional narrowing modulo SMT and axioms
ACM International Conference Proceeding Series
2015
-
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Specifying and analyzing the kademlia protocol in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Conditional narrowing modulo in rewriting logic and maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8663, pp. 80-96
2013
-
Formal specification of the Kademlia and the Kad routing tables in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
A tool for testing data type implementations from Maude algebraic specifications
Electronic Notes in Theoretical Computer Science
2008
-
Estudio de una experiencia de aprendizaje interactivo para la asignatura de Estructura de Datos a través del Campus Virtual
Experiencias en el campus virtual: resultados
-
Interactive learning of data structures and algorithmic schemes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Una herramienta para el estudio de estructuras de datos y algoritmos
Innovación en el Campus virtual : metodologias y herramientas / III Jornada Campus virtual UCM