Ignacio Fábregas

29 papers B 3C 2Journal 19Unranked 5

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A unified rule format for bounded nondeterminism in SOS with terms as labels. CoRR Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
2024	J	`jnl`	Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2024	J	`jnl`	Logics for Contravariant Simulations. CoRR Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2024	J	`jnl`	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. CoRR David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
2024	J	`jnl`	Non-strongly Stable Orders Also Define Interesting Simulation Relations. CoRR Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2024	J	`jnl`	On the specification of modal systems: A comparison of three frameworks. CoRR Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2024	J	`jnl`	Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. CoRR Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
2024	J	`jnl`	Rule Formats for Nominal Process Calculi. CoRR Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2024	J	`jnl`	When Are Prime Formulae Characteristic? CoRR Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2021	J	`jnl`	On algebraic abstractions for concurrent separation logics. Proc. ACM Program. Lang. Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2020	J	`jnl`	On Algebraic Abstractions for Concurrent Separation Logics. CoRR Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2019	J	`jnl`	Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program. Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2019	J	`jnl`	Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2019	J	`jnl`	Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations. CoRR Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2019	J	`jnl`	Specifying concurrent programs in separation logic: morphisms and simulations. Proc. ACM Program. Lang. Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2019	J	`jnl`	When are prime formulae characteristic? Theor. Comput. Sci. Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2018	J	`jnl`	Rule Formats for Nominal Process Calculi. CoRR Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2017	J	`jnl`	A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebraic Methods Program. Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
2017	B	`conf`	Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2017	B	`conf`	Rule Formats for Nominal Process Calculi. CONCUR Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2015	—	`conf`	When Are Prime Formulae Characteristic? MFCS (1) Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2013	J	`jnl`	On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2011	—	`conf`	Graphical representation of covariant-contravariant modal formulae EXPRESS Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2011	—	`conf`	Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2010	—	`conf`	Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics SOS Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2010	—	`conf`	Logics for Contravariant Simulations. FMOODS/FORTE Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2009	B	`conf`	Non-strongly Stable Orders Also Define Interesting Simulation Relations. CALCO Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2008	C	`conf`	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
2007	C	`conf`	Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig