I. Fábregas

Available identifiers

zbMath Open fabregas.ignacioMaRDI QIDQ2403820

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4965855	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4963897	2021-02-24	Paper
Coverability Synthesis in Parametric Petri Nets	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4972733	2019-11-26	Paper
Logical characterisations, rule formats and compositionality for input-output conformance simulation	2019-06-20	Paper
When are prime formulae characteristic?	2019-06-18	Paper
A unified rule format for bounded nondeterminism in SOS with terms as labels	2017-09-12	Paper
Logical Characterisations and Compositionality of Input-Output Conformance Simulation	2017-04-04	Paper
When Are Prime Formulae Characteristic?	2015-09-16	Paper
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations	2012-06-29	Paper
Non-strongly Stable Orders Also Define Interesting Simulation Relations	2012-06-01	Paper
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations	2008-09-17	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: I. Fábregas