Isabel Pita

MaRDI QIDQ1402472zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
QMaude: quantitative specification and verification in rewriting logic Formal Methods	2023-08-17	Paper
Strategies in conditional narrowing modulo SMT plus axioms Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023-08-17	Paper
Strategies, Model Checking and Branching-Time Properties in Maude 1517.6817	2022-12-22	Paper
scientific article; zbMATH DE number 7559300 (Why is no real title available?)	2022-07-18	Paper
Simulating and model checking membrane systems using strategies in Maude Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Metalevel transformation of strategies Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Strategies, model checking and branching-time properties in Maude Journal of Logical and Algebraic Methods in Programming	2021-11-03	Paper
Parameterized strategies specification in Maude	2020-06-08	Paper
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude Journal of Automated Reasoning	2018-08-09	Paper
Specifying and Analyzing the Kademlia Protocol in Maude Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude Lecture Notes in Computer Science	2015-09-14	Paper
Conditional narrowing modulo in rewriting logic and Maude Rewriting Logic and Its Applications	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 Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
A Verification Logic for Rewriting Logic Journal Of Logic And Computation	2005-07-13	Paper
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic Formal Aspects of Computing	2003-08-27	Paper
A Maude specification of an object-oriented model for telecommunication networks Theoretical Computer Science	2002-08-13	Paper
scientific article; zbMATH DE number 1617312 (Why is no real title available?)	2001-07-11	Paper
The leader election protocol of IEEE 1394 in Maude	2001-05-07	Paper
scientific article; zbMATH DE number 1231552 (Why is no real title available?)	1998-12-20	Paper

Research outcomes over time

This page was built for person: Isabel Pita