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
https://portal.mardi4nfdi.de/entity/Q2850670	2013-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q2849861	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
https://portal.mardi4nfdi.de/entity/Q2703710	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222867	1998-12-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Isabel Pita