Francisco Durán

发表

Francisco Durán, José Alberto Verdejo López, 2002 .
Francisco Durán, Manuel Clavel, Narciso Martí-Oliet, 2000, WRLA.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2007, CALCO.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Antonio Vallecillo, Francisco Durán, José Eduardo Rivera, 2010, WRLA.
Francisco Durán, Adrian Rutle, Lars Michael Kristensen, 2019, J. Object Technol..
Francisco Durán, Hubert Garavel, 2019, TACAS.
Antonio Vallecillo, Francisco Durán, A. Vallecillo, 2001 .
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Antonio Vallecillo, Francisco Durán, 2001, WOODPECKER.
Francisco Durán, Ernesto Pimentel, José Carrasco, 2018, Comput. Stand. Interfaces.
Antonio Vallecillo, Francisco Durán, Javier Troya, 2013 .
Francisco Durán, Ernesto Pimentel, Francisco Gutiérrez, 2008, MobiQuitous.
Francisco Durán, Camilo Rocha, José María Álvarez, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
Francisco Durán, Gwen Salaün, Meriem Ouederni, 2009, Electron. Notes Theor. Comput. Sci..
Francisco Durán, Ernesto Pimentel, José Carrasco, 2016, ESOCC Workshops.
Francisco Durán, Javier Cubo, Ernesto Pimentel, 2016, CLOSER.
Francisco Durán, José Meseguer, Mark-Oliver Stehr, 1999, World Congress on Formal Methods.
Antonio Vallecillo, Francisco Durán, Antonio Albarrán, 2001, JISBD.
Francisco Durán, Gwen Salaün, Ajay Krishna, 2019, TOOLS.
Francisco Durán, Fernando Orejas, Steffen Zschaler, 2012, WADT.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Francisco Durán, José Meseguer, Santiago Escobar, 2016, IJCAR.
Francisco Durán, José Meseguer, Santiago Escobar, 2018, WRLA@ETAPS.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.
Francisco Durán, Steffen Zschaler, F. Durán, 2017, FASE.
Antonio Vallecillo, Francisco Durán, Manuel Roldán, 2005, Electron. Notes Theor. Comput. Sci..
Francisco Durán, Salvador Lucas, Santiago Escobar, 2005, Electron. Notes Theor. Comput. Sci..
Antonio Vallecillo, Francisco Durán, José Raúl Romero, 2007, Comput. Stand. Interfaces.
Francisco Durán, Adrián Riesco, Alberto Verdejo, 2007, WRLA.
Francisco Durán, Gwen Salaün, Camilo Rocha, 2018, STAF Workshops.
Francisco Durán, Salvador Lucas, Santiago Escobar, 2004, WRLA.
Francisco Durán, 2005, Electron. Notes Theor. Comput. Sci..
Francisco Durán, Javier Troya Castilla, Antonio Vallecillo Moreno, 2012 .
Francisco Durán, Ernesto Pimentel, Patrícia Araújo de Oliveira, 2017, SEFM Workshops.
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
Francisco Durán, Gwen Salaün, Meriem Ouederni, 2012, Sci. Comput. Program..
Francisco Durán, Alberto Verdejo, 2002, Electron. Notes Theor. Comput. Sci..
Francisco Durán, Gwen Salaün, Camilo Rocha, 2019, Sci. Comput. Program..
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, Salvador Lucas, 2009, PROLE.
Francisco Durán, Javier Cubo, Ernesto Pimentel, 2016 .
Francisco Durán, Ernesto Pimentel, Jose Carrasco, 2020, Comput. Stand. Interfaces.
Francisco Durán, Ernesto Pimentel, José Carrasco, 2017, ICSOC Workshops.
Francisco Durán, José Meseguer, Salvador Lucas, 2008, High. Order Symb. Comput..
Antonio Vallecillo, Francisco Durán, Steffen Zschaler, 2013, Inf. Softw. Technol..
Francisco Durán, José Meseguer, Camilo Rocha, 2020, J. Log. Algebraic Methods Program..
Antonio Vallecillo, Francisco Durán, Jordi Cabot, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
Francisco Durán, José Meseguer, Salvador Lucas, 2008, IJCAR.
Francisco Durán, José Meseguer, Salvador Lucas, 2009, PROLE.
Francisco Durán, Fernando Macías, Adrian Rutle, 2019, J. Log. Algebraic Methods Program..
Antonio Vallecillo, Francisco Durán, José Eduardo Rivera, 2009, Simul..
Francisco Durán, José Meseguer, Salvador Lucas, 2004, PEPM '04.
Francisco Durán, Gwen Salaün, Camilo Rocha, 2018, Sci. Comput. Program..
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Francisco Durán, José Meseguer, Antonio Moreno-Delgado, 2016, WRLA.
Francisco Durán, Antonio Brogi, Ernesto Pimentel, 2019, 2019 IEEE 12th International Conference on Cloud Computing (CLOUD).
Antonio Vallecillo, Francisco Durán, José Raúl Romero, 2007, JISBD.
Francisco Durán, José Meseguer, J. Meseguer, 2003, CTCS.
Francisco Durán, Eelco Visser, Steven Eker, 2010, WRLA.
Antonio Vallecillo, Francisco Durán, Javier Herrador, 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Francisco Durán, Rodolfo Mora-Zamora, Esteban Brenes-Villalobos, 2020, CLEI Electron. J..
Francisco Durán, Camilo Rocha, José María Álvarez, 2011, CALCO.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Antonio Vallecillo, Francisco Durán, 2001 .
Francisco Durán, José Meseguer, 2000, WRLA.
Francisco Durán, Gwen Salaün, Camilo Rocha, 2019, ICSOC.
Francisco Durán, José Meseguer, 2007, Sci. Comput. Program..
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, ASA/MA.
Antonio Vallecillo, Francisco Durán, Manuel Roldán, 2005, Comput. Stand. Interfaces.
Francisco Durán, Ernesto Pimentel, Jose Carrasco, 2017, CLOSER 2017.
Francisco Durán, Ernesto Pimentel, Patrícia Araújo de Oliveira, 2017, ICSOC Workshops.
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
Francisco Durán, Ernesto Pimentel, Pablo López, 2008, Mobiquitous 2008.
Peter Csaba Ölveczky, Francisco Durán, José Eduardo Rivera, 2011, AMMSE.
Francisco Durán, José Meseguer, Salvador Lucas, 2009, FroCoS.
Martin Gogolla, Francisco Durán, Manuel Roldán, 2011, AMMSE.
Francisco Durán, Adrián Riesco, José Meseguer, 2007, All About Maude.
Francisco Durán, Gwen Salaün, 2014, CBSE '14.
Francisco Durán, Gwen Salaün, 2017, COORDINATION.
Francisco Durán, Gwen Salaün, Camilo Rocha, 2020, WRLA@ETAPS.
Antonio Vallecillo, Francisco Durán, José Eduardo Rivera, 2009, 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
Francisco Durán, José Meseguer, Camilo Rocha, 2018, WRLA@ETAPS.
Francisco Durán, Francisco Chicano, 2015 .
Francisco Durán, Steffen Zschaler, F. Durán, 2013 .
Francisco Durán, José Meseguer, J. Meseguer, 2010, WRLA.
Francisco Durán, Steffen Zschaler, 2013 .
Francisco Durán, José Meseguer, 1998, WRLA.
Francisco Durán, Fernando Orejas, Steffen Zschaler, 2015 .
Francisco Durán, Gwen Salaün, 2016, J. Syst. Softw..
Francisco Durán, Steffen Zschaler, Javier Troya, 2012, SLE.
Antonio Vallecillo, Francisco Durán, 2003, Comput. Stand. Interfaces.
Antonio Vallecillo, Francisco Durán, José Raúl Romero, 2007, J. Object Technol..
Francisco Durán, Fernando Macías, Adrian Rutle, 2018, MoDELS.
Francisco Durán, 2000, AMAST.
Antonio Vallecillo, Francisco Durán, Manuel Roldán, 2009, Sci. Comput. Program..
Francisco Durán, Ernesto Pimentel, José Carrasco, 2017, CLOSER.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
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, José Meseguer, Santiago Escobar, 2011, RTA.
Francisco Durán, Eelco Visser, Steven Eker, 2009, WRLA.
Francisco Durán, Ernesto Pimentel, José Carrasco, 2017, CLOSER.
Francisco Durán, Javier Cubo, Ernesto Pimentel, 2016, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD).
Francisco Durán, Manuel Roldán, F. Durán, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Francisco Durán, Robert Heinrich, Steffen Zschaler, 2019, Dagstuhl Reports.
Francisco Durán, Gwen Salaün, Camilo Rocha, 2021, J. Log. Algebraic Methods Program..
Francisco Durán, Gwen Salaün, Radu Mateescu, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Francisco Durán, Antonio Brogi, Ernesto Pimentel, 2021, Computing.
Francisco Durán, José Meseguer, Salvador Lucas, 2009 .
Francisco Durán, Salvador Lucas, Santiago Escobar, 2004 .
Antonio Vallecillo, Francisco Durán, Antonio Albarrán, 2001 .
Antonio Vallecillo, Francisco Durán, Antonio Albarrán, 2001 .