Isabel Pita

Available identifiers

zbMath Open pita.isabelWikidataQ124261222 ScholiaQ124261222MaRDI QIDQ1402472

List of research outcomes

Publication	Date of Publication	Type
QMaude: quantitative specification and verification in rewriting logic	2023-08-17	Paper
Strategies in conditional narrowing modulo SMT plus axioms	2023-08-17	Paper
Strategies, Model Checking and Branching-Time Properties in Maude	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5089038	2022-07-18	Paper
Simulating and model checking membrane systems using strategies in Maude	2021-11-24	Paper
Metalevel transformation of strategies	2021-11-24	Paper
Strategies, model checking and branching-time properties in Maude	2021-11-03	Paper
Parameterized strategies specification in Maude	2020-06-08	Paper
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude	2018-08-09	Paper
Specifying and Analyzing the Kademlia Protocol in Maude	2016-02-25	Paper
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude	2015-09-14	Paper
Conditional narrowing modulo in rewriting logic and Maude	2015-09-09	Paper
Proving modal properties of rewrite theories using Maude's metalevel	2013-09-27	Paper
Proving VLRL action properties with the Maude model checker	2013-09-20	Paper
Formal specification of the Kademlia and the Kad routing tables in Maude	2013-09-13	Paper
A Verification Logic for Rewriting Logic	2005-07-13	Paper
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic	2003-08-27	Paper
A Maude specification of an object-oriented model for telecommunication networks	2002-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2722043	2001-07-11	Paper
The leader election protocol of IEEE 1394 in Maude	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222867	1998-12-20	Paper

Research outcomes over time

This page was built for person: Isabel Pita