F. Durán

发表

Patrícia Araújo de Oliveira, F. Durán, E. Pimentel, 2021, Softw. Pract. Exp..
Antonio Vallecillo, Francisco Durán, Antonio Albarrán, 2001 .
C. Talcott, F. Durán, R. Heinrich, 2021 .
Patrick Lincoln, Steven Eker, Manuel Clavel, 2001 .
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, FASE.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2000, All About Maude.
Francisco Durán, Adrián Riesco, José Meseguer, 2007, All About Maude.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.
Francisco Durán, Ernesto Pimentel, Francisco Gutiérrez, 2008, MobiQuitous.
Francisco Durán, Steffen Zschaler, F. Durán, 2013 .
F. Durán, Adrian Rutle, Fernando Macías, 2022, J. Log. Algebraic Methods Program..
Francisco Durán, Fernando Macías, Adrian Rutle, 2019, J. Log. Algebraic Methods Program..
Francisco Durán, Gwen Salaün, Camilo Rocha, 2019, Sci. Comput. Program..
S. Eker, P. Lincoln, J. Meseguer, 1998, WRLA.
Antonio Brogi, Javier Cubo, Ernesto Pimentel, 2015, CLEI Electron. J..
Francisco Durán, José Meseguer, Salvador Lucas, 2009, PROLE.
Francisco Durán, José Meseguer, Salvador Lucas, 2008, High. Order Symb. Comput..
Francisco Durán, José Meseguer, Salvador Lucas, 2009, FroCoS.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Francisco Durán, Fernando Macías, Adrian Rutle, 2018, MoDELS.
Steffen Zschaler, Javier Troya, Francisco Durán, 2014, ECMFA.
Francisco Durán, Antonio Moreno-Delgado, José María Álvarez, 2014, Specification, Algebra, and Software.
Francisco Durán, Fernando Orejas, Steffen Zschaler, 2012, WADT.
Steffen Zschaler, Fernando Orejas, Francisco Durán, 2017, J. Log. Algebraic Methods Program..
Francisco Durán, Gwen Salaün, Camilo Rocha, 2021, J. Log. Algebraic Methods Program..
Francisco Durán, Gwen Salaün, Camilo Rocha, 2020, WRLA@ETAPS.
Francisco Durán, Gwen Salaün, Camilo Rocha, 2018, Sci. Comput. Program..
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 2002, Theor. Comput. Sci..
Francisco Durán, José Meseguer, Santiago Escobar, 2018, WRLA@ETAPS.
Francisco Durán, José Meseguer, J. Meseguer, 2003, CTCS.
Francisco Durán, Steffen Zschaler, Javier Troya, 2012, SLE.
Antonio Vallecillo, Francisco Durán, José Raúl Romero, 2007, Comput. Stand. Interfaces.
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 2000, WRLA.
Francisco Durán, Camilo Rocha, José María Álvarez, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 1999, RTA.
Francisco Durán, Adrian Rutle, Lars Michael Kristensen, 2019, J. Object Technol..
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2003, RTA.
Francisco Durán, Ernesto Pimentel, José Carrasco, 2018, Comput. Stand. Interfaces.
Francisco Durán, José Meseguer, Mark-Oliver Stehr, 1999, World Congress on Formal Methods.
Francisco Durán, Eelco Visser, Steven Eker, 2010, WRLA.
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, ASA/MA.
Francisco Durán, Ernesto Pimentel, Jose Carrasco, 2020, Comput. Stand. Interfaces.
Francisco Durán, Manuel Roldán, F. Durán, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
J. F. Quesada, P. Lincoln, J. Meseguer, 1999, RTA.
Francisco Durán, José Meseguer, J. Meseguer, 2010, WRLA.
Francisco Durán, Adrian Rutle, Lars Michael Kristensen, 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
Francisco Durán, Steffen Zschaler, F. Durán, 2017, FASE.
Francisco Durán, Adrián Riesco, Alberto Verdejo, 2007, WRLA.
J. Meseguer, C. Marché, Salvador Lucas, 2008, High. Order Symb. Comput..
Francisco Durán, José Meseguer, Camilo Rocha, 2020, J. Log. Algebraic Methods Program..
Francisco Durán, José Meseguer, Camilo Rocha, 2018, WRLA@ETAPS.
Francisco Durán, José Meseguer, Antonio Moreno-Delgado, 2016, WRLA.
Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo, 2016, FASE.
J. Meseguer, F. Durán, 2012, J. Log. Algebraic Methods Program..
Francisco Durán, José Meseguer, Salvador Lucas, 2009, PROLE.
Francisco Durán, José Meseguer, Salvador Lucas, 2008, IJCAR.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2007, CALCO.
J. Meseguer, F. Durán, 2007, Sci. Comput. Program..
Francisco Durán, José Meseguer, Salvador Lucas, 2004, PEPM '04.
Francisco Durán, Antonio Brogi, Ernesto Pimentel, 2021, Computing.
Ernesto Pimentel, Patrícia Araújo de Oliveira, Antonio Moreno-Delgado, 2017, CIbSE.
Francisco Durán, Ernesto Pimentel, José Carrasco, 2017, CLOSER.
Francisco Durán, Ernesto Pimentel, José Carrasco, 2017, CLOSER.
Francisco Durán, Ernesto Pimentel, José Carrasco, 2016, ESOCC Workshops.
Francisco Durán, Javier Cubo, Ernesto Pimentel, 2016, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD).
Francisco Durán, Javier Cubo, Ernesto Pimentel, 2016, CLOSER.
José Meseguer, Santiago Escobar, Carolyn L. Talcott, 2009, RTA.
P. Lincoln, J. Meseguer, C. Talcott, 2003, RTA.
Francisco Durán, Eelco Visser, Steven Eker, 2009, WRLA.
Antonio Vallecillo, Francisco Durán, José Raúl Romero, 2007, J. Object Technol..