{"id":55,"date":"2018-04-17T08:42:29","date_gmt":"2018-04-17T08:42:29","guid":{"rendered":"http:\/\/dalila.sip.ucm.es\/fadoss\/?page_id=55"},"modified":"2023-12-09T11:53:11","modified_gmt":"2023-12-09T11:53:11","slug":"seleccion-de-publicaciones","status":"publish","type":"page","link":"https:\/\/maude.ucm.es\/fadoss\/seleccion-de-publicaciones\/","title":{"rendered":"Selecci\u00f3n de publicaciones"},"content":{"rendered":"

Publicaciones del a\u00f1o: <\/strong>M\u00e1s recientes<\/a> – 2013<\/a> – 2012<\/a> – 2011<\/a> – 2010<\/a> – 2009<\/a> – 2008<\/a> – 2007<\/a> – 2006<\/a> – 2005<\/a> – 2004<\/a> – 2003<\/a><\/p>\n

2013<\/h3>\n

Autores:<\/b> L. Aceto, D. de Frutos-Escrig, C. Gregorio-Rodriguez y A. Ing\u00f3lfsd\u00f3ttir
\nT\u00edtulo:<\/b> Axiomatizing weak simulations semantics over BCCSP
\nRevista:<\/b> Theoretical Computer Science
\nVolumen:<\/b> 537
\nP\u00e1ginas:<\/b> 42-71
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> L. Aceto, I. F\u00e1bregas, D. de Frutos-Escrig, A. Ing\u00f3lfsd\u00f3ttir y M. Palomino
\nT\u00edtulo:<\/b> On the specification of modal systems: a comparison of three frameworks
\nRevista:<\/b> Science of Computer Programming
\nVolumen:<\/b> 78(12)
\nP\u00e1ginas:<\/b> 2468-2487<\/p>\n

Autores:<\/b> R. Bonnet, A. Finkel, S. Haddad y F. Rosa-Velardo
\nT\u00edtulo:<\/b> Ordinal theory for expressiveness of well-structured transition systems
\nRevista:<\/b> Information and Computation
\nVolumen:<\/b> 224
\nP\u00e1ginas:<\/b> 1-22<\/p>\n

Autores:<\/b> R. Caballero, E. Martin-Martin, A. Riesco y S. Tamarit
\nT\u00edtulo:<\/b> Speeding up algorithmic debugging using balanced execution trees
\nLibro:<\/b> 7th International Conference on Tests and Proofs, TAP 2013
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7942
\nP\u00e1ginas:<\/b> 133-151
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> C. Dania y M. Clavel
\nT\u00edtulo:<\/b> OCL2FOL+: Coping with undefinedness
\nLibro:<\/b> Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM\/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013
\nSerie:<\/b> CEUR Workshop Proceedings
\nVolumen:<\/b> 1092
\nP\u00e1ginas:<\/b> 53-62
\nEditorial:<\/b> CEUR-WS.org<\/p>\n

Autores:<\/b> G. Delzanno y F. Rosa-Velardo
\nT\u00edtulo:<\/b> On the coverability and reachability languages of monotonic extensions of Petri nets
\nRevista:<\/b> Theoretical Computer Science
\nVolumen:<\/b> 467
\nP\u00e1ginas:<\/b> 12-29
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> D. de Frutos Escrig, C. Gregorio-Rodr\u00edguez, M. Palomino y D. Romero-Hern\u00e1ndez
\nT\u00edtulo:<\/b> Unifying the linear time-branching time spectrum of process semantics
\nRevista:<\/b> Logical Methods in Computer Science
\nVolumen:<\/b> 9(2)
\nP\u00e1ginas:<\/b> 12-29
\n1-74<\/p>\n

Autores:<\/b> M. Hidalgo-Herrero, P. Rabanal, I. Rodr\u00edguez y F. Rubio
\nT\u00edtulo:<\/b> Comparing problem solving strategies for NP-hard optimization problems
\nRevista:<\/b> Fundamenta Informaticae
\nVolumen:<\/b> 124(1-2)
\nP\u00e1ginas:<\/b> 1-25<\/p>\n

Autores:<\/b> D. Insa, J. Silva y A. Riesco
\nT\u00edtulo:<\/b> A declarative debugger for sequential Erlang programs
\nLibro:<\/b> 7th International Conference on Tests and Proofs, TAP 2013
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7942
\nP\u00e1ginas:<\/b> 96-114
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Montenegro, R. Pe\u00f1a, C. Segura
\nT\u00edtulo:<\/b> Shape Analysis in a Functional Language by Using Regular Languages
\nLibro:<\/b> Proceedings of the 15th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2013. Revised Selected Papers
\nP\u00e1ginas:<\/b> 251-262
\nEditorial:<\/b> Editorial: ACM Press<\/p>\n

Autores:<\/b> I. Pita y M.-I. Fern\u00e1ndez Camacho
\nT\u00edtulo:<\/b> Formal specification of the Kademlia and the Kad Routing Tables in Maude
\nLibro:<\/b> Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7841
\nP\u00e1ginas:<\/b> 231-247
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco, I. M. Asavoae y M. Asavoae
\nT\u00edtulo:<\/b> A generic program slicing technique based on language definitions
\nLibro:<\/b> Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7841
\nP\u00e1ginas:<\/b> 248-264
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. Romero-Hern\u00e1ndez y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Distances between processes: a pure algebraic approach
\nLibro:<\/b> Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7841
\nP\u00e1ginas:<\/b> 265-282
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo
\nT\u00edtulo:<\/b> Petri nets with name creation for transient secure association
\nRevista:<\/b> Acta Informatica
\nVolumen:<\/b> 50
\nP\u00e1ginas:<\/b> 403-436<\/p>\n

2012<\/h3>\n

Autores:<\/b> L. Aceto, D. de Frutos Escrig, C. Gregorio-Rodr\u00edguez y A. Ing\u00f3lfsd\u00f3ttir
\nT\u00edtulo:<\/b> The equational theory of weak complete simulation semantics over BCCSP
\nLibro:<\/b> SOFSEM 2012: Theory and Practice of Computer Science – 38th Conference on Current Trends in Theory and Practice of Computer Science, pindlerv Ml\u00b4yn, Czech Republic, January 21-27, 2012
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7147
\nP\u00e1ginas:<\/b> 141-152
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> R. Caballero, A. Riesco, A. Verdejo y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Simplifying questions in Maude Declarative Debugger by transforming proof trees
\nLibro:<\/b> Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7225
\nP\u00e1ginas:<\/b> 73-89
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> R. Kersten, O. Shkaravska, B. van Gastel, M. Montenegro, M. van Eekelen
\nT\u00edtulo:<\/b> Interpolation-based height analysis for improving a recurrence solver
\nLibro:<\/b> Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012
\nEditorial:<\/b> ACM
\nP\u00e1ginas:<\/b> 251-262<\/p>\n

Autores:<\/b> N. Mart\u00ed-Oliet, M. Palomino y A. Verdejo
\nT\u00edtulo:<\/b> Rewriting logic bibliography by topic: 1990-2011
\nRevista:<\/b> Journal of Logic and Algebraic Programming
\nVolumen:<\/b> 81
\nP\u00e1ginas:<\/b> 782-815<\/p>\n

Autores:<\/b> M. Martos-Salgado y F. Rosa-Velardo
\nT\u00edtulo:<\/b> Cost soundness for priced resource-constrained workflow nets
\nLibro:<\/b> Application and Theory of Petri Nets – 33rd International
\nConference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 Proceedings
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7347
\nP\u00e1ginas:<\/b> 108-127
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Montenegro, O. Shkaravska, M. van Eekelen, R. Pe\u00f1a
\nT\u00edtulo:<\/b> Interpolation-based height analysis for improving a recurrence solver
\nLibro:<\/b> Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011. Revised Selected Papers
\nSerie:<\/b> Lecture Notes in Computer Science
\nEditorial:<\/b> Springer
\nVolumen:<\/b> 7177
\nP\u00e1ginas:<\/b> 36-53<\/p>\n

Autores:<\/b> I. Pita y A. Riesco
\nT\u00edtulo:<\/b> A tool for testing data types implementations from Maude algebraic specifications
\nLibro:<\/b> Proceedings of the 11st Spanish Workshop on Programming Languages, PROLE 2011
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 282
\nP\u00e1ginas:<\/b> 61-71
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> D. Romero-Hern\u00e1ndez y D. de Frutos Escrig
\nT\u00edtulo:<\/b> Defining distances for all process semantics
\nLibro:<\/b> FMOODS\/FORTE
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7273
\nP\u00e1ginas:<\/b> 169-185
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco
\nT\u00edtulo:<\/b> Test-case generation for Maude functional modules
\nLibro:<\/b> Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7137
\nP\u00e1ginas:<\/b> 287-301
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco
\nT\u00edtulo:<\/b> Using narrowing to test Maude specifications
\nLibro:<\/b> Rewriting Logic and Its Applications – 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7571
\nP\u00e1ginas:<\/b> 201-220
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco
\nT\u00edtulo:<\/b> Using semantics specified in Maude to generate test cases
\nLibro:<\/b> Theoretical Aspects of Computing – ICTAC 2012 – 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7521
\nP\u00e1ginas:<\/b> 90-104
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco y J. Rodr\u00edguez-Hortal\u00e1
\nT\u00edtulo:<\/b> S-narrowing for constructor systems
\nLibro:<\/b> Theoretical Aspects of Computing – ICTAC 2012 – 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7521
\nP\u00e1ginas:<\/b> 136-150
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco, A. Verdejo, N. Mart\u00ed-Oliet y R. Caballero
\nT\u00edtulo:<\/b> Declarative debugging of rewriting logic specifications
\nLibro:<\/b> Rewriting Logic and its Applications
\nSerie:<\/b> The Journal of Logic and Algebraic Programming (JLAP)
\nVolumen:<\/b> 81(7-8)
\nP\u00e1ginas:<\/b> 851-897
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> F. Rosa-Velardo y M. Martos-Salgado
\nT\u00edtulo:<\/b> Multiset rewriting for the verification of depth-bounded processes with name binding
\nRevista:<\/b> Information and Computation
\nVolumen:<\/b> 215
\nP\u00e1ginas:<\/b> 68-87<\/p>\n

Autores:<\/b> L. S\u00e1nchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> A formalization in Coq of Launchbury’s natural semantics for lazy evaluation
\nRevista:<\/b> Electronic Communications of the EASST
\nVolumen:<\/b> 10
\nP\u00e1ginas:<\/b> 15<\/p>\n

Autores:<\/b> L. S\u00e1nchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> A locally nameless representation for a natural semantics for lazy evaluation
\nLibro:<\/b> Theoretical Aspects of Computing, ICTAC 2012
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7521
\nP\u00e1ginas:<\/b> 105-119
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Verdejo y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Basic completion strategies as another application of the Maude strategy language
\nLibro:<\/b> Proceedings of the 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, May 29, 2011
\nSerie:<\/b> Electronic Proceedings in Theoretical Computer Science
\nVolumen:<\/b> 82
\nP\u00e1ginas:<\/b> 17-36<\/p>\n

2011<\/h3>\n

Autores:<\/b> L. Aceto, D. de Frutos-Escrig, C. Gregorio-Rodr\u00edguez y A. Ing\u00f3lfsd\u00f3ttir
\nT\u00edtulo:<\/b> Axiomatizing weak ready simulation semantics over BCCSP
\nLibro:<\/b> Theoretical Aspects of Computing – ICTAC 2011 – 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6916
\nP\u00e1ginas:<\/b> 7-24
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> L. Aceto, I. F\u00e1bregas, D. de Frutos Escrig, A. Ing\u00f3lfsd\u00f3ttir y M. Palomino
\nT\u00edtulo:<\/b> Graphical representation of covariant-contravariant modal formulas
\nLibro:<\/b> Proceedings 18th International Workshop on Expressiveness in Concurrency, Aachen, Germany, 5th September 2011
\nSerie:<\/b> Electronic Proceedings in Theoretical Computer Science
\nVolumen:<\/b> 64
\nP\u00e1ginas:<\/b> 1-15<\/p>\n

Autores:<\/b> L. Aceto, D. de Frutos-Escrig, C. Gregorio-Rodr\u00edguez y A. Ing\u00f3lfsd\u00f3ttir
\nT\u00edtulo:<\/b> Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
\nLibro:<\/b> Information Processing Letters
\nVolumen:<\/b> 111(9)
\nP\u00e1ginas:<\/b> 408-413<\/p>\n

Autores:<\/b> L. Aceto, I. F\u00e1bregas, D. de Frutos Escrig, A. Ing\u00f3lfsd\u00f3ttir y M. Palomino
\nT\u00edtulo:<\/b> Relating modal refinements, covariant-contravariant simulations and partial bisimulations
\nLibro:<\/b> Fundamentals of Software Engineering, FSEN 2011
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7141
\nP\u00e1ginas:<\/b> 268-283
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D.A. Basin, M. Clavel y M. Egea
\nT\u00edtulo:<\/b> A decade of model-driven security
\nLibro:<\/b> SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings
\nP\u00e1ginas:<\/b> 1-10
\nEditorial:<\/b> ACM<\/p>\n

Autores:<\/b> D.A. Basin, M. Clavel, M. Egea, M.A.G. de Dios, C. Dania, G. Ortiz y J. Valdazo
\nT\u00edtulo:<\/b> Model-driven development of security-aware GUIs for data-centric applications
\nLibro:<\/b> Foundations of Security Analysis and Design VI – FOSAD Tutorial Lectures
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6858
\nP\u00e1ginas:<\/b> 101-124
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> R. Bonnet, A. Finkel, S. Haddad y F. Rosa-Velardo
\nT\u00edtulo:<\/b> Ordinal theory for expressiveness of well structured transition systems
\nLibro:<\/b> 14th International Conference on Foundations of Software Sciences and Computation Structures, FOSSACS 2011
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6604
\nP\u00e1ginas:<\/b> 153-167
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Clavel, N. Mart\u00ed-Oliet y M. Palomino
\nT\u00edtulo:<\/b> Parameterized metareasoning in membership equational logic
\nLibro:<\/b> Formal Modeling: Actors, Open Systems Biological Systems. Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7000
\nP\u00e1ginas:<\/b> 277-298
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Codescu, T. Mossakowski, A. Riesco y C. Maeder
\nT\u00edtulo:<\/b> Integrating Maude into Hets
\nLibro:<\/b> Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6486
\nP\u00e1ginas:<\/b> 60-75
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J. de Dios; R. Pe\u00f1a
\nT\u00edtulo:<\/b> Certification of Safe Polynomial Memory Bounds
\nLibro:<\/b> Int. Symp. on Formal Methods, FM’11, Limerick, Ireland, June 2011
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6664
\nP\u00e1ginas:<\/b> 184-199
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Martos-Salgado y F. Rosa-Velardo
\nT\u00edtulo:<\/b> Dynamic Soundness in Resource-Constrained Workflow Nets
\nLibro:<\/b> Formal Techniques for Distributed Systems, Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavic, Iceland, June 7-9, 2011
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6722
\nP\u00e1ginas:<\/b> 259-273
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> R. Pe\u00f1a y A. Delgado
\nT\u00edtulo:<\/b> Size Invariants and Ranking Functions Synthesis in a Functional Language
\nLibro:<\/b> Int. Work. on Funtional and Constraint Logic Programming, WFLP’11, Odense, Denmark, July 2011
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6816
\nP\u00e1ginas:<\/b> 52-67
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco
\nT\u00edtulo:<\/b> Test-case generation for Maude functional modules
\nLibro:<\/b> Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 7137
\nP\u00e1ginas:<\/b> 287-301
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco, A. Verdejo y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> A complete declarative debugger for Maude
\nLibro:<\/b> Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6486
\nP\u00e1ginas:<\/b> 216-225
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. Romero-Hern\u00e1ndez y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> On the unification of process semantics: Logical semantics
\nLibro:<\/b> Proceedings Eight Workshop on Structural Operational Semantics 2011
\nSerie:<\/b> EPTCS
\nVolumen:<\/b> 62
\nP\u00e1ginas:<\/b> 47-61<\/p>\n

Autores:<\/b> F. Rosa-Velardo y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Decidability and complexity of Petri nets with unordered data
\nRevista:<\/b> Theoretical Computer Science
\nVolumen:<\/b> 412(34)
\nP\u00e1ginas:<\/b> 4439-4451<\/p>\n

Autores:<\/b> F. Rosa-Velardo, M. Martos-Salgado y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Accelerations for the coverability set of Petri nets with names
\nRevista:<\/b> Fundamenta Informaticae
\nVolumen:<\/b> 113(3-4)
\nP\u00e1ginas:<\/b> 313-341<\/p>\n

Autores:<\/b> L. S\u00e1nchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> Relating function spaces to resourced function spaces
\nLibro:<\/b> 26th Symposium on Applied Computing, SAC’11
\nVolumen:<\/b> 2
\nP\u00e1ginas:<\/b> 1301-1308
\nEditorial:<\/b> ACM<\/p>\n

Autores:<\/b> L. S\u00e1nchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> An operational semantics for distributed lazy evaluation
\nLibro:<\/b> Trends in Functional Programming
\nVolumen:<\/b> 10
\nP\u00e1ginas:<\/b> 65-80<\/p>\n

2010<\/h3>\n

Autores:<\/b> D. A. Basin, M. Clavel, M. Egea y M. Schl\u00e4pfer
\nT\u00edtulo:<\/b> Automatic generation of smart, security-aware GUI models
\nLibro:<\/b> Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5965
\nP\u00e1ginas:<\/b> 201-217
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> C. Braga
\nT\u00edtulo:<\/b> A transformation contract to generate aspects from access control policies
\nRevista:<\/b> Software and Systems Modeling Fecha: 2010
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J. de Dios, M. Montenegro y R. Pe\u00f1a
\nT\u00edtulo:<\/b> Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
\nLibro:<\/b> Proceedings of the Eighth International Conference on Integrated Formal Methods, IFM 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6396
\nP\u00e1ginas:<\/b> 305-319
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J. de Dios y R. Pe\u00f1a
\nT\u00edtulo:<\/b> A Certified Implementation on top of the Java Virtual Machine
\nLibro:<\/b> Formal Method in Industrial Critical Systems, FMICS’09
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5825
\nP\u00e1ginas:<\/b> 181-196
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J. de Dios y R. Pe\u00f1a
\nT\u00edtulo:<\/b> Formal Certification of a Resource-Aware Language Implementation
\nLibro:<\/b> Int. Conf. on Theorem Proving in Higher Order Logics, TPHOL’09, Munich (Germany)
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5674
\nP\u00e1ginas:<\/b> 196-211
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Egea, C. Dania y M. Clavel
\nT\u00edtulo:<\/b> MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
\nLibro:<\/b> Electronic Communications of the EASST
\nVolumen:<\/b> 36<\/p>\n

Autores:<\/b> I. F\u00e1bregas, D. de Frutos-Escrig y M. Palomino
\nT\u00edtulo:<\/b> Equational characterization of covariant-contravariant simulation and conformance simulation semantics
\nLibro:<\/b> Proceedings Seventh Workshop on Structural Operational Semantics, Paris, France, 30 August 2010
\nSerie:<\/b> Electronic Proceedings in Theoretical Computer Science
\nVolumen:<\/b> 32
\nP\u00e1ginas:<\/b> 1-14<\/p>\n

Autores:<\/b> I. F\u00e1bregas, D. de Frutos-Escrig y M. Palomino
\nT\u00edtulo:<\/b> Logics for contravariant simulations
\nLibro:<\/b> Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6117
\nP\u00e1ginas:<\/b> 224-231
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. A. Garc\u00eda de Dios, C. Dania, M. Schl\u00e4pfer, D. A. Basin, M. Clavel y M. Egea
\nT\u00edtulo:<\/b> Ssg: a modelbased development environment for smart, security-aware GUIs
\nLibro:<\/b> Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering – Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010
\nP\u00e1ginas:<\/b> 311-312
\nEditorial:<\/b> ACM<\/p>\n

Autores:<\/b> M. Montenegro, R. Pe\u00f1a y C. Segura
\nT\u00edtulo:<\/b> A space consumption analysis by abstract interpretation
\nLibro:<\/b> Selected Papers of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6324
\nP\u00e1ginas:<\/b> 34-50
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Montenegro, R. Pe\u00f1a y C. Segura
\nT\u00edtulo:<\/b> A Simple Region Inference Algorithm for a First-Order Functional Language
\nLibro:<\/b> Proceedings of the 18th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2009
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5979
\nP\u00e1ginas:<\/b> 145-161
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> I. Pita
\nT\u00edtulo:<\/b> A formal specification of the Kademlia distributed hash table
\nLibro:<\/b> Actas de las X Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2010, Valencia, 8-10 septiembre 2010
\nP\u00e1ginas:<\/b> 223-234
\nEditorial:<\/b> Garceta grupo editorial<\/p>\n

Autores:<\/b> A. Riesco y J. Rodr\u00edguez-Hortal\u00e1
\nT\u00edtulo:<\/b> A natural implementation of plural semantics in Maude
\nLibro:<\/b> Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, LDTA 2009, York, UK, March 27-28, 2009
\nSerie:<\/b> Electronic Notes in Computer Science
\nVolumen:<\/b> 253(7)
\nP\u00e1ginas:<\/b> 165-175
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> A. Riesco y J. Rodr\u00edguez-Hortal\u00e1
\nT\u00edtulo:<\/b> Programming with singular and plural non-deterministic functions
\nLibro:<\/b> Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010
\nP\u00e1ginas:<\/b> 83-92
\nEditorial:<\/b> ACM<\/p>\n

Autores:<\/b> A. Riesco, A. Verdejo y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Declarative debugging of missing answers for Maude specifications
\nLibro:<\/b> Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010
\nSerie:<\/b> Leibniz International Proceedings in Informatics
\nVolumen:<\/b> 6
\nP\u00e1ginas:<\/b> 277-294
\nEditorial:<\/b> Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik<\/p>\n

Autores:<\/b> A. Riesco, A. Verdejo y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Enhancing the debugging of Maude specifications
\nLibro:<\/b> Proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6381
\nP\u00e1ginas:<\/b> 226-242
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Riesco, A. Verdejo, N. Mart\u00ed-Oliet y R. Caballero
\nT\u00edtulo:<\/b> Declarative debugging of rewriting logic specifications
\nLibro:<\/b> Informe t\u00e9cnico SIC-02-10, Dpto. Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid, 2010<\/p>\n

Autores:<\/b> F. Rosa-Velardo
\nT\u00edtulo:<\/b> Depth boundedness in multiset rewriting systems with binding
\nLibro:<\/b> Proceedings of the 4th International Workshop on Reachability Problems,RP 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6227
\nP\u00e1ginas:<\/b> 161-175
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo
\nT\u00edtulo:<\/b> Multiset rewriting: a semantic framework for concurrency with name binding
\nLibro:<\/b> Proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6381
\nP\u00e1ginas:<\/b> 191-207
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo y G. Delzanno
\nT\u00edtulo:<\/b> A language-based comparison of nets with black tokens, pure names and ordered data
\nLibro:<\/b> 4th International Conference on Language and Automata Theory and Applications, LATA 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6031
\nP\u00e1ginas:<\/b> 524-535
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Decidability problems for Petri nets with names and replication
\nLibro:<\/b> Fundamenta Informaticae
\nVolumen:<\/b> 105(3)
\nP\u00e1ginas:<\/b> 291-317<\/p>\n

Autores:<\/b> F. Rosa-Velardo y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Forward analysis for Petri nets with name creation
\nLibro:<\/b> 31st International Conference on Applications and Theory of Petri Nets, Petri Nets 2010
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 6128
\nP\u00e1ginas:<\/b> 185-205
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> L. S\u00e1nchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> Call-by-need, call-by-name, and natural semantics
\nLibro:<\/b> Actas de las X Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2010, Valencia, 8-10 septiembre 2010
\nP\u00e1ginas:<\/b> 83-92
\nEditorial:<\/b> Garceta grupo editorial<\/p>\n

Autores:<\/b> L. S\u00e1nchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> On the relation of call-by-need and call-by-name in a natural semantics setting
\nLibro:<\/b> 22nd symposium on Implementation and Application of Functional Languages, IFL’10. Utrech University<\/p>\n

2009<\/h3>\n

 <\/p>\n

Autores:<\/b> D. Basin, M. Clavel, J. Doser y M. Egea
\nT\u00edtulo:<\/b> Automated analysis of security-design models
\nRevista:<\/b> Information and Software Technology, Special issue on Model Based Development for Secure Information Systems
\nVolumen:<\/b> 51(5)
\nP\u00e1ginas:<\/b> 815-831
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> C. Braga
\nT\u00edtulo:<\/b> From Access Control Policies to an Aspect-based Infrastructure: A Metamodel-based Approach
\nLibro:<\/b> Proceedings of MODELS 2008 Workshops and Symposia.
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5421
\nP\u00e1ginas:<\/b> 243-256
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> C. Braga, F. Chalub y A. Sztajnberg
\nT\u00edtulo:<\/b> A formal semantics for a qualitity of service contract language
\nLibro:<\/b> Proceedings of Formal Foundations of Embedded Software and Component-Based Software Architectures FESCA’07, Satellite workshop of ETAPS’07, Braga, Portugal
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b>203(7)
\nP\u00e1ginas:<\/b>103-120
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> R. Caballero, N. Mart\u00ed-Oliet, A. Riesco y A. Verdejo
\nT\u00edtulo:<\/b> A declarative debugger for Maude functional modules
\nLibro:<\/b> Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 238(3)
\nP\u00e1ginas:<\/b> 63-81
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> M. Clavel, F. Dur\u00e1n, S. Eker, S. Escobar, P. Lincoln, N. Marti-Oliet, J. Meseguer y C. Talcott
\nT\u00edtulo:<\/b> Unification and narrowing in Maude 2.4
\nLibro:<\/b> Rewriting Techniques and Applications, RTA 2009, Brasilia, Brazil, Treinen, R. (ed.)
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5595
\nP\u00e1ginas:<\/b> 380-390
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Clavel, M. Egea, M.A. Garc\u00eda-de Dios
\nT\u00edtulo:<\/b> Building and Efficient Component for OCL Evaluation
\nLibro:<\/b> 8th OCL Workshop at the UML\/MoDELS Conference: OCL Concepts and Tools: From Implementation to Evaluation and Comparison
\nVolumen:<\/b>
\nP\u00e1ginas:<\/b>
\nEditorial:<\/b><\/p>\n

Autores:<\/b> I. F\u00e1bregas, D. de Frutos-Escrig y M. Palomino
\nT\u00edtulo:<\/b> Non-strongly stable orders also define interesting simulation relations
\nLibro:<\/b> Algebra and Coalgebra in Computer Science. 1st Int.Conference, CALCO 2009. A. Kurz y A.Tarlecki (ed.)
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5728
\nP\u00e1ginas:<\/b> 221-235
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, C. Gregorio-Rodr\u00edguez y M. Palomino
\nT\u00edtulo:<\/b> Ready to preorder: an algebraic and general proof
\nRevista:<\/b> Journal of Logic and Algebraic Programming
\nVolumen:<\/b> 78(7)
\nP\u00e1ginas:<\/b> 539-551
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, C. Gregorio-Rodr\u00edguez y M. Palomino
\nT\u00edtulo:<\/b> On the unification of semantics for processes: observational semantics
\nLibro:<\/b> SOFSEM 09: 35th Int. Conference on Current Trends in Theory and Practice of Computer Science
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5404
\nP\u00e1ginas:<\/b> 279-290
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, C. Gregorio-Rodr\u00edguez y M. Palomino
\nT\u00edtulo:<\/b> On the unification of semantics for processes: equational semantics
\nLibro:<\/b> Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 249
\nP\u00e1ginas:<\/b> 243-267
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> N. Mart\u00ed-Oliet, J. Meseguer y A. Verdejo
\nT\u00edtulo:<\/b> A Rewriting Semantics for Maude Strategies
\nLibro:<\/b> Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 238(3)
\nP\u00e1ginas:<\/b> 227-247
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> J. Meseguer, M. Palomino y N. Marti-Oliet
\nT\u00edtulo:<\/b> Algebraic Simulations
\nRevista:<\/b> Journal of Logic and Algebraic Programming
\nVolumen:<\/b>79(2)
\nP\u00e1ginas:<\/b>103-143
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> M. Montenegro, R. Pe\u00f1a y C. Segura
\nT\u00edtulo:<\/b> A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
\nLibro:<\/b> 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 246
\nP\u00e1ginas:<\/b> 167-182
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> A. Riesco y A. Verdejo
\nT\u00edtulo:<\/b> Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
\nLibro:<\/b> Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008. G. Ro\u015fu (ed.)
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 238(3)
\nP\u00e1ginas:<\/b> 247-266
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> A. Riesco, A. Verdejo, R. Caballero y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Declarative Debugging of Rewriting Logic Specifications
\nLibro:<\/b> Recent Trends in Algebraic Development Techniques, WADT 2008. Corradini, A. & Montanari, U. (ed.)
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5486
\nP\u00e1ginas:<\/b> 308-325
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Decidability results for restricted models of Petri nets with name creation and replication
\nLibro:<\/b> 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5606
\nP\u00e1ginas:<\/b> 63-82
\nEditorial:<\/b> Springer<\/p>\n

2008<\/h3>\n

Autores:<\/b> R. Caballero, N. Mart\u00ed-Oliet, A. Riesco y A. Verdejo
\nT\u00edtulo:<\/b> Declarative debugging of membership equational logic specifications
\nLibro:<\/b> Concurrency, Graphs and Models
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 5065
\nP\u00e1ginas:<\/b> 174-193
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Clavel, V. Silva, C. Braga y M. Egea
\nT\u00edtulo:<\/b> Model-Driven Security in Practice: an Industrial Experience
\nLibro:<\/b> ECMDA-FA ’08: Proceedings of Model Driven Architecture – Industrial Track
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5095
\nP\u00e1ginas:<\/b> 327-338
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Duran, V. Silva y C. Lucena
\nT\u00edtulo:<\/b> Using testimonies to enforce the behavior of agents
\nLibro:<\/b> Coordination, Organizations, Institutions, and Norms in Agent Systems III
\nSerie:<\/b> LNAI
\nVolumen:<\/b> 4870
\nP\u00e1ginas:<\/b> 218-231
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. de la Encina, M. Hidalgo-Herrero, P. Rabanal, I. Rodr\u00edguez y F. Rubio
\nT\u00edtulo:<\/b> Testing the Behaviour of Entities in a Cognitive Language
\nRevista:<\/b> International Journal of Cognitive Informatics and Natural Intelligence
\nVolumen:<\/b> 2(1)
\nP\u00e1ginas:<\/b> 29-43
\nEditorial:<\/b><\/p>\n

Autores:<\/b> A. de la Encina y R. Pe\u00f1a
\nT\u00edtulo:<\/b> From Natural Semantics to C: A Formal Derivation of two STG Machines
\nRevista:<\/b> Journal of Functional Programming
\nVolumen:<\/b> 19(1)
\nP\u00e1ginas:<\/b> 47-94
\nEditorial:<\/b> Cambridge University Press<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, C. Gregorio-Rodr\u00edguez y M. Palomino
\nT\u00edtulo:<\/b> Coinductive characterisations reveal nice relations between preorders and equivalences
\nLibro:<\/b> The First International Conference on Foundations of Informatics, Computing and Software, FICS
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 212
\nP\u00e1ginas:<\/b> 149-162
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, M. Palomino y I. F\u00e1bregas
\nT\u00edtulo:<\/b> Multiset Bisimulation as a Common Framework for Ordinary and Probabilistic Bisimulations
\nLibro:<\/b> Formal Techniques for Networked and Distributed Systems — FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5048
\nP\u00e1ginas:<\/b> 283-298
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J. Guedes, V. Silva y C. Lucena
\nT\u00edtulo:<\/b> A reputation model based on testimonies
\nLibro:<\/b> Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop
\nSerie:<\/b> LNAI
\nVolumen:<\/b> 4898
\nP\u00e1ginas:<\/b> 37-52
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> I. Hern\u00e1n-Losada, C. Pareja-Flores, J. A. Vel\u00e1zquez-Iturbide
\nT\u00edtulo:<\/b> Testing Based Automatic Grading: A proposal from the Bloom’s taxonomy
\nLibro:<\/b> Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies
\nP\u00e1ginas:<\/b> 847-849
\nEditorial:<\/b> IEEE Computer Society (CPS)<\/p>\n

Autores:<\/b> S. Lucas y R. Pe\u00f1a
\nT\u00edtulo:<\/b> Rewriting Techniques for Analysing Termination and Complexity Bounds of Safe Programs
\nLibro:<\/b> Pre-proceedings 18th Int. Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR’08
\nP\u00e1ginas:<\/b> 43-57<\/p>\n

Autores:<\/b> J. Meseguer, M. Palomino y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Equational Abstractions
\nSerie:<\/b> Theoretical Computer Science
\nVolumen:<\/b> 403
\nP\u00e1ginas:<\/b> 239-264
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> M. Montenegro, R. Pe\u00f1a y C. Segura
\nT\u00edtulo:<\/b> A Type System for Safe Memory Management and its Proof of Correctness
\nLibro:<\/b> 10th Int. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP’08
\nP\u00e1ginas:<\/b> 152-162
\nEditorial:<\/b> ACM Press<\/p>\n

Autores:<\/b> M. Montenegro, R. Pe\u00f1a y C. Segura
\nT\u00edtulo:<\/b> An inference Algorithm for Guaranteeing Safe Destruction
\nLibro:<\/b> 18th Int. Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5438
\nP\u00e1ginas:<\/b> 135-151
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Palomino
\nT\u00edtulo:<\/b> Formal logic
\nRevista:<\/b> Encyclopedia of Computer Science and Engineering
\nEditorial:<\/b> Wiley<\/p>\n

Autores:<\/b> C. Pareja Flores , J. Urquiza Fuentes y J. A. Vel\u00e1zquez Iturbide
\nT\u00edtulo:<\/b> An Approach to Effortless Construction of Program Animations
\nRevista:<\/b> Computers and Education Electronic
\nVolumen:<\/b> 50(1)
\nP\u00e1ginas:<\/b> 179-192
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> A. Riesco, A. Verdejo, N. Mart\u00ed-Oliet y R. Caballero
\nT\u00edtulo:<\/b> A declarative debugger for Maude
\nLibro:<\/b> Algebraic Methodology and Software Technology — 12th International Conference, AMAST 2008, G. Meseguer y G. Ro\u015fu (ed.)
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5140
\nP\u00e1ginas:<\/b> 116-121
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Name Creation vs. Replication in Petri Net Systems
\nRevista:<\/b> Fundamenta Informaticae
\nVolumen:<\/b> 88
\nP\u00e1ginas:<\/b> 329-356
\nEditorial:<\/b> IOS Press<\/p>\n

Autores:<\/b> M. Rubio-S\u00e1nchez, J. Urquiza-Fuentes y C. Pareja-Flores
\nT\u00edtulo:<\/b> A gentle introduction to mutual recursion
\nLibro:<\/b> ITiCSE ’08: Proceedings of the 13th annual conference on Innovation and technology in computer science education
\nP\u00e1ginas:<\/b> 235-239
\nEditorial:<\/b> ACM<\/p>\n

Autores:<\/b> G. Santos-Garc\u00eda, M. Palomino y A. Verdejo
\nT\u00edtulo:<\/b> Rewriting Logic using Strategies for Neural Networks: an Implementation in Maude
\nLibro:<\/b> International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008
\nSerie:<\/b> Advances in Soft Computing
\nVolumen:<\/b> 50
\nP\u00e1ginas:<\/b> 424-433
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> C. Segura, I. Pita, R. del Vado, A.I. Saiz y P. Soler
\nT\u00edtulo:<\/b> Interactive Learning of Data Structures and Algorithmic Schemes
\nLibro:<\/b> Computational Science – ICCS 2008, 8th International Conference
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 5101(1)
\nP\u00e1ginas:<\/b> 800-809
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> V. Silva, R. Choren y C. Lucena
\nT\u00edtulo:<\/b> Using MAS-ML dynamic diagrams to model MAS behavioral properties
\nLibro:<\/b> Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop
\nSerie:<\/b> LNAI
\nVolumen:<\/b> 4898
\nP\u00e1ginas:<\/b> 1-18
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> V. Silva, R. Choren y C. Lucena
\nT\u00edtulo:<\/b> MAS-ML: A multi-agent system modelling language
\nRevista<\/b>: International Journal of Agent-Oriented Software Engineering
\nVolumen:<\/b>
\nP\u00e1ginas:<\/b>
\nEditorial:<\/b> InderScience<\/p>\n

Autores:<\/b> V. Silva
\nT\u00edtulo:<\/b> From the specification to the implementation of norms: An automatic approach to generate rules from norms to govern the behaviour of agents
\nRevista<\/b>: International Journal of Autonomous Agents and Multi-Agent Systems, Special Issue on Norms
\nVolumen:<\/b>
\nP\u00e1ginas:<\/b>
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> V. Silva
\nT\u00edtulo:<\/b> Implementing norms that govern non-dialogical actions
\nLibro:<\/b> Coordination, Organizations, Institutions, and Norms in Agent Systems III
\nSerie:<\/b> LNAI
\nVolumen:<\/b> 4870
\nP\u00e1ginas:<\/b> 234-244
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J. A. Vel\u00e1zquez Iturbide, C. Pareja Flores y J. Urquiza Fuentes
\nT\u00edtulo:<\/b> An Instructors’ Guide to Design Web-Based Algorithm Animations
\nLibro:<\/b> Advances in Web Based Learning – ICWL 2007
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 4823
\nP\u00e1ginas:<\/b> 440-451
\nEditorial:<\/b> Springer<\/p>\n

2007<\/h3>\n

Autores:<\/b> D. Basin, M. Clavel, J. Doser y M. Egea
\nT\u00edtulo:<\/b> A Metamodel-Based Approach for Analyzing Security-Design Models
\nLibro:<\/b> Model Driven Engineering Languages and systems
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4735
\nP\u00e1ginas:<\/b> 420-435
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Brandao, V. Silva y C. Lucena
\nT\u00edtulo:<\/b> Observed-MAS: an Ontology-based Method for Analyzing Multi-Agent Systems Design Models
\nLibro:<\/b> Agent-Oriented Software Engineering
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4405
\nP\u00e1ginas:<\/b> 122-139
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer y C. Talcott
\nLibro:<\/b> All About Maude: A High-Performance Logical Framework
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Clavel, F. Dur\u00e1n, J. Hendrix, S. Lucas, J. Meseguer y P. Olveczky
\nT\u00edtulo:<\/b> The Maude formal tool environment
\nLibro:<\/b> Algebra and Coalgebra in Computer Science. Second International Conference, CALCO 2007, Proceedings
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4624
\nP\u00e1ginas:<\/b> 173-178
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Clavel, J. Meseguer y M. Palomino
\nT\u00edtulo:<\/b> Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
\nRevista:<\/b> Theoretical Computer Science
\nVolumen:<\/b> 373(1-2)
\nP\u00e1ginas:<\/b> 70-91
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> F. Dur\u00e1n, A. Riesco y A. Verdejo
\nT\u00edtulo:<\/b> A distributed implementation of Mobile Maude
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 176(4)
\nP\u00e1ginas:<\/b> 113-131
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> S. Eker, N. Mart\u00ed-Oliet, J. Meseguer y A. Verdejo
\nT\u00edtulo:<\/b> Deduction, strategies, and rewriting
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 174(11)
\nP\u00e1ginas:<\/b> 3-25
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> I. F\u00e1bregas, M. Palomino y D. de Frutos Escrig
\nT\u00edtulo:<\/b> Reflection and preservation of properties in coalgebraic (bi)simulations
\nLibro:<\/b> ICTAC 2007 – Int. Coll. on Theoretical Aspects of Computing
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4711
\nP\u00e1ginas:<\/b> 231-245
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, F. Rosa Velardo, C. Gregorio-Rodr\u00edguez
\nT\u00edtulo:<\/b> New Bisimulation Semantics for Distributed Systems
\nLibro:<\/b> FORTE 2007 – Formal Techniques for Networked and Distributed Systems
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4574
\nP\u00e1ginas:<\/b> 143-159
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M.Hidalgo-Herrero, Alberto Verdejo, Y.Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> Using Maude and its strategies for defining a framework for analyzing Eden semantics
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 174(10)
\nP\u00e1ginas:<\/b> 119-137
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> M. Hidalgo-Herrero, Y.Ortega-Mall\u00e9 y F.Rubio
\nT\u00edtulo:<\/b> Comparing alternative evaluation strategies for stream-based parallel functional languages
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4449
\nP\u00e1ginas:<\/b> 55-72
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> L. F. Llana-D\u00edaz, D. de Frutos-Escrig y M. N\u00fa\u00f1ez
\nT\u00edtulo:<\/b> Testing Semantics for Urgent Timed Process Algebras
\nLibro:<\/b> Real-Time Systems. Modeling, Design and Applications
\nSerie:<\/b> Amast Series in Computing
\nVolumen:<\/b> 8
\nP\u00e1ginas:<\/b> 231-235
\nEditorial:<\/b> World Scientific<\/p>\n

Autores:<\/b> N. Mart\u00ed-Oliet, M. Palomino y A. Verdejo
\nT\u00edtulo:<\/b> Strategies and simulations in a semantic framework
\nRevista:<\/b> Journal of Algorithms
\nVolumen:<\/b> 62(3-4)
\nP\u00e1ginas:<\/b> 95-116
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> C. Pareja Flores, J. Urquiza Fuentes y J. A. Vel\u00e1zquez Iturbide
\nT\u00edtulo:<\/b> WinHIPE: An IDE for Functional Programming Based on Rewriting and Visualization
\nRevista:<\/b> ACM SIGPLAN Notices
\nVolumen:<\/b> 42,3
\nP\u00e1ginas:<\/b> 14-23
\nEditorial:<\/b> ACM Press<\/p>\n

Autores:<\/b> A. Riesco y A. Verdejo
\nT\u00edtulo:<\/b> Distributed Applications Implemented in Maude with Parameterized Skeletons
\nLibro:<\/b> FMOODS 2007 Proceedings
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4468
\nP\u00e1ginas:<\/b> 91-106
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo
\nT\u00edtulo:<\/b> Coding mobile synchronizing Petri nets into rewriting logic
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 174(1)
\nP\u00e1ginas:<\/b> 83-98
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> F. Rosa Velardo
\nT\u00edtulo:<\/b> Petri nets for the verification of ubiquitous systems with transient secure association
\nLibro:<\/b> Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4611
\nP\u00e1ginas:<\/b> 1148-1158
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa Velardo y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Name Creation vs. Replication in Petri Net Systems
\nLibro:<\/b> ICATPN 2007 – 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4546
\nP\u00e1ginas:<\/b> 402-422
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo, D. de Frutos-Escrig y O. Marroqu\u00edn-Alonso
\nT\u00edtulo:<\/b> On the Expressiveness of Mobile Synchronizing Petri Nets
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 180(1)
\nP\u00e1ginas:<\/b> 77-94
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> J.-R. S\u00e1nchez-Couso y M.-I. Fern\u00e1ndez-Camacho
\nT\u00edtulo:<\/b> Binary search trees, recurrent properties and wave equations
\nRevista:<\/b> Fundamenta Informaticae
\nVolumen:<\/b> 81(4)
\nP\u00e1ginas:<\/b> 409-439
\nEditorial:<\/b> IOS Press<\/p>\n

Autores:<\/b> C. Segura y C. Torrano
\nT\u00edtulo:<\/b> Using Template Haskell for Abstract Interpretation
\nLibro:<\/b> Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006)
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 177
\nP\u00e1ginas:<\/b> 201-217
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> V. Silva y C. Lucena
\nT\u00edtulo:<\/b> Modeling Multi-Agent Systems
\nRevista:<\/b> Communications of the ACM
\nVolumen:<\/b> 50(5)
\nP\u00e1ginas:<\/b> 103-108
\nEditorial:<\/b> ACM<\/p>\n

Autores:<\/b> G. Santos-Garc\u00eda y M. Palomino
\nT\u00edtulo:<\/b> Solving sudoku puzzles with rewriting rules
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 176(4)
\nP\u00e1ginas:<\/b> 79-93
\nEditorial:<\/b> Elsevier<\/p>\n

2006<\/h3>\n

Autores:<\/b> C. Braga y A. Verdejo
\nT\u00edtulo:<\/b> Modular SOS with Strategies
\nLibro:<\/b> Proceedings of Structural Operational Semantics 2006, SOS 2006
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 175(1)
\nP\u00e1ginas:<\/b> 3-17
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> F. Chalub y C. Braga
\nT\u00edtulo:<\/b> Maude MSOS Tool
\nLibro:<\/b> Proceedings of 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 176(4)
\nP\u00e1ginas:<\/b> 133-146
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> M. Clavel, M. Palomino y A. Riesco
\nT\u00edtulo:<\/b> Introducing the ITP Tool: a Tutorial
\nRevista:<\/b> Journal of Universal Computer Science
\nVolumen:<\/b> 12(11)
\nP\u00e1ginas:<\/b> 1618-1650
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J.M. Cleva y I. Pita
\nT\u00edtulo:<\/b> An approach to the verification of CRWL programs with rewriting logic
\nRevista:<\/b> Journal of Universal Computer Science
\nVolumen:<\/b> 12(11)
\nP\u00e1ginas:<\/b> 1594-1617
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Egea y M. Clavel
\nT\u00edtulo:<\/b> ITP\/OCL: A Rewriting-Based-Validation Tool Tool for UML+OCL Static Class Diagrams
\nLibro:<\/b> Proceedings of 11th International Conference, AMAST2006
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 4019
\nP\u00e1ginas:<\/b> 368-373
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. de Frutos Escrig, C.Gregorio Rodr\u00edguez
\nT\u00edtulo:<\/b> Process Equivalences as Global Bisimulations
\nRevista:<\/b> Journal of Universal Computer Science
\nVolumen:<\/b> 12(11)
\nP\u00e1ginas:<\/b> 1521-1550
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Hidalgo-Herrero, Y. Ortega-Mall\u00e9n y F. Rubio
\nT\u00edtulo:<\/b> Analyzing the Influence of Mixed Evaluation on the Performance of Eden Skeletons
\nRevista:<\/b> Parallel Computing
\nVolumen:<\/b> 32(7-8)
\nP\u00e1ginas:<\/b> 523-538
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> M. Palomino
\nT\u00edtulo:<\/b> A comparison between two logical formalisms for rewriting
\nRevista:<\/b> Theory and Practice of Logic Programming
\nVolumen:<\/b> 7(1)
\nEditorial:<\/b> Cambridge University Press<\/p>\n

Autores:<\/b> F. Rosa Velardo, O. Marroqu\u00edn Alonso y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
\nRevista:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 150 (1)
\nP\u00e1ginas:<\/b> 103-126
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> F. Rosa Velardo, D. de Frutos-Escrig y O. Marroqu\u00edn Alonso
\nT\u00edtulo:<\/b> Replicated Ubiquitous Nets
\nLibro:<\/b> Computational Science and Its Applications – ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV ICCSA (4)
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 3983
\nP\u00e1ginas:<\/b> 158-168
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa Velardo y D. de Frutos-Escrig
\nT\u00edtulo:<\/b> Symbolic semantics for the verification of security properties of mobile Petri nets
\nLibro:<\/b> Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis, ATVA’06
\nSerie:<\/b> LNCS
\nVolumen:<\/b> 4218
\nP\u00e1ginas:<\/b> 461-476
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Rosa-Velardo, C. Segura y A. Verdejo
\nT\u00edtulo:<\/b> Typed Mobile Ambients in Maude
\nLibro:<\/b> Proceedings of the 6th International Workshop on Rule-Based Programming (RULE 2005)
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 147(1)
\nP\u00e1ginas:<\/b> 135-161
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> J. R. S\u00e1nchez Couso y M. I. Fern\u00e1ndez Camacho
\nT\u00edtulo:<\/b> Reductions in binary search trees
\nRevista:<\/b> Theoretical Computer Science
\nVolumen:<\/b> 355(3)
\nP\u00e1ginas:<\/b> 327-353
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> J. Sardinha, R. Choren, V.Silva, R. Milidiu, y C. Lucena
\nT\u00edtulo:<\/b> A Combined Specification Language and Development Framework for Agent-based Application Engineering
\nRevista:<\/b> Journal of System and Software
\nVolumen:<\/b> 79\/11
\nP\u00e1ginas:<\/b> 1565-1577
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> A. Verdejo y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Executable structural operational semantics in Maude
\nRevista:<\/b> Journal of Logic and Algebraic Programming
\nVolumen:<\/b> 67
\nP\u00e1ginas:<\/b> 226-293
\nEditorial:<\/b> Elsevier<\/p>\n

2005<\/h3>\n

Autores:<\/b> C. Braga y J. Meseguer
\nT\u00edtulo:<\/b> Modular Rewriting Semantics in Practice
\nLibro:<\/b> Proceedings of 5th International Workshop on Rewriting Logic and its Applications, WRLA 2004
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 117
\nP\u00e1ginas:<\/b> 393-416
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, C. Gregorio Rodr\u00edguez
\nT\u00edtulo:<\/b> Preserving Contexts for Soft Conformance Relation
\nLibro:<\/b> Formal Approaches to Software Testing (FATES 2004)
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3395
\nP\u00e1ginas:<\/b> 33\u201348
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, C. Gregorio Rodr\u00edguez
\nT\u00edtulo:<\/b> Bisimulation Up-to for the Linear Time-Branching Time Spectrum
\nLibro:<\/b> CONCUR 2005 – Concurrency Theory
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3653
\nP\u00e1ginas:<\/b> 278-292
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> D. de Frutos-Escrig, O. Marroqu\u00edn Alonso, F. Rosa Velardo
\nT\u00edtulo:<\/b> Ubiquitous Systems and Petri Nets
\nLibro:<\/b> Computational Science and Applications – ICCSA 2005
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3481
\nP\u00e1ginas:<\/b> 1156-1166
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> Dealing denotationally with streams-based communication
\nLibro:<\/b> IV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2004
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 137
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> R. Loogen, Y. Ortega-Mall\u00e9n y R. Pe\u00f1a-Mar\u00ed
\nT\u00edtulo:<\/b> Parallel Functional Programming in Eden
\nRevista:<\/b> Journal of Functional Programming
\nVolumen:<\/b> 15(3)
\nP\u00e1ginas:<\/b> 431-475
\nEditorial:<\/b> Cambridge University Press<\/p>\n

Autores:<\/b> N. Mart\u00ed-Oliet, J. Meseguer y A. Verdejo
\nT\u00edtulo:<\/b> Towards a strategy language for Maude
\nLibro:<\/b> Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 117
\nP\u00e1ginas:<\/b> 417-441
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> N. Mart\u00ed-Oliet, M. Palomino, and A. Verdejo
\nT\u00edtulo:<\/b> A Tutorial on Specifying Data Structures in Maude
\nLibro:<\/b> IV Jornadas sobre Programacion y Lenguajes, PROLE 2004
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 137
\nP\u00e1ginas:<\/b> 105-132
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> N. Mart\u00ed-Oliet, I. Pita, J.L. Fiadeiro,J. Meseguer y T. Maibaum
\nT\u00edtulo:<\/b> A Verification Logic for Rewriting Logic
\nRevista:<\/b> Journal of Logic and Computation
\nVolumen:<\/b> 15(3)
\nP\u00e1ginas:<\/b> 317-352
\nEditorial:<\/b> Oxford University Press<\/p>\n

Autores:<\/b> M. Palomino, N. Mart\u00ed-Oliet, and A. Verdejo
\nT\u00edtulo:<\/b> Playing with Maude
\nLibro:<\/b> Proceedings Fifth International Workshop on Rule-Based Programming. Proceedings
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 124(1)
\nP\u00e1ginas:<\/b> 3-23
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> M. Palomino, J. Meseguer y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> A categorical approach to simulations
\nLibro:<\/b> First International Conference, CALCO 2005, Swansea, UK, September 2005. Proceedings
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3629
\nP\u00e1ginas:<\/b> 313-330
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> R. Pe\u00f1a y C. Segura
\nT\u00edtulo:<\/b> Non-determinism analyses in a parallel-functional language
\nRevista:<\/b> Journal of Functional Programming
\nVolumen:<\/b> 15(1)
\nP\u00e1ginas:<\/b> 67-100
\nEditorial:<\/b> Cambridge University Press<\/p>\n

Autores:<\/b> I. Pita y M. Palomino
\nT\u00edtulo:<\/b> Proving modal properties of rewrite theories using Maude’s metalevel
\nLibro:<\/b> IV Jornadas sobre Programaci\\’on y Lenguajes, PROLE 2004
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 137
\nP\u00e1ginas:<\/b> 133-150
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> F. Rosa Velardo, D. de Frutos-Escrig, C. Segura D\u00edaz
\nT\u00edtulo:<\/b> Tagged systems: a framework for the specification of history-dependent properties
\nLibro:<\/b> Proc. Fourth Spanish Conference on Programming and Computer Languages (PROLE 2004)
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 137(1)
\nP\u00e1ginas:<\/b> 151-174
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> V. Silva, R. Choren, y C. Lucena.
\nT\u00edtulo:<\/b> Using the UML 2.0 Activity Diagram to Model Agent Plans and Actions
\nLibro:<\/b> Proceeding of the fourth International Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2005)
\nP\u00e1ginas:<\/b> 594-600
\nEditorial:<\/b> ACM Press<\/p>\n

Autores:<\/b> A. Verdejo, N. Mart\u00ed-Oliet, T. Robles, J. Salvach\u00faa, L. Llana y M. Bradley
\nT\u00edtulo:<\/b> Transforming information in RDF to rewriting logic
\nLibro:<\/b> Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3535
\nP\u00e1ginas:<\/b> 227-242
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Verdejo y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Two case studies of semantics execution in Maude: CCS and LOTOS
\nRevista:<\/b> Formal Methods in System Design
\nVolumen:<\/b> 27
\nP\u00e1ginas:<\/b> 113-172
\nEditorial:<\/b> Kluwer (Springer)<\/p>\n

2004<\/h3>\n

Autores:<\/b> D. Basin, M. Clavel y J. Meseguer
\nT\u00edtulo:<\/b> Reflective metalogical frameworks
\nRevista:<\/b> ACM Transactions on Computational Logic
\nVolumen:<\/b> 5(3)
\nEditorial:<\/b> ACM Press<\/p>\n

Autores:<\/b> M. Clavel, N. Mart\u00ed-Oliet y M. Palomino
\nT\u00edtulo:<\/b> Formalizing and proving semantic relations between specifications by reflection
\nLibro:<\/b> Algebraic Methods and Software Technology, AMAST 2004, Stirling, UK
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3116
\nP\u00e1ginas:<\/b> 72\u201386
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> F. Chalub y C. Braga
\nT\u00edtulo:<\/b> A Modular Rewriting Semantics for CML
\nLibro:<\/b> Proceedings of 8o. Simp\u00f3sio Brasileiro de Linguagens de Programa\u00e7\u00e3o, SBLP 2004
\nSerie:<\/b> Journal of Universal Computer Science
\nVolumen:<\/b> 10(7)
\nP\u00e1ginas:<\/b> 789-807
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Garcia, C. Sant’anna, C. Chavez, V. Silva, A. Staa y C. Lucena.
\nT\u00edtulo:<\/b> Separation of Concerns in Multi-Agent Systems: An Empirical Study
\nLibro:<\/b> Software Engineering for Multi-Agent Systems II
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2940
\nP\u00e1ginas:<\/b> 49-72
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> N. Mart\u00ed-Oliet, J. Meseguer y M. Palomino
\nT\u00edtulo:<\/b> Theoroidal maps as algebraic simulations
\nLibro:<\/b> Recent Trends in Algebraic Development Techniques, WADT’04, Barcelona, Spain
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3423
\nP\u00e1ginas:<\/b> 126-143
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> R. Mart\u00ednez y R. Pe\u00f1a
\nT\u00edtulo:<\/b> Building an interface between Eden and Maple: Towards a way of parallelizing computer algebra algorithms
\nLibro:<\/b> Implementation of Functional Languages, IFL 2003
\nSerie:<\/b> Lecture Notes in Computer Science
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> J. Meseguer y C. Braga
\nT\u00edtulo:<\/b> Modular Rewriting Semantics of Programming Languages
\nLibro:<\/b> Proceedings of the 10th International Conference of Algebraic Methodology and Software Technology, AMAST 2004
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 3116
\nP\u00e1ginas:<\/b> 364-378
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> C. Segura y R. Pe\u00f1a
\nT\u00edtulo:<\/b> Correctness of non-determininsm analyses in a parallel functional language
\nLibro:<\/b> Implementation of Functional Languages, IFL 2003
\nSerie:<\/b> Lecture Notes in Computer Science
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> V. Silva, R. Choren y C. Lucena.
\nT\u00edtulo:<\/b> Using the MAS-ML to Model a Multi-Agent System
\nLibro:<\/b> Software Engineering for Multi-Agent Systems II
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2940
\nP\u00e1ginas:<\/b> 129-148
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> V. Silva, R. Choren y C. Lucena.
\nT\u00edtulo:<\/b> A UML Based Approach for Modeling and Implementing Multi-Agent Systems
\nLibro:<\/b> Proceeding of the Third International Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2004)
\nP\u00e1ginas:<\/b> 914-921
\nEditorial:<\/b> IEEE Computer Society<\/p>\n

Autores:<\/b> V. Silva y C. Lucena.
\nT\u00edtulo:<\/b> From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
\nRevista:<\/b> Journal of Autonomous Agents and Multi-Agent Systems
\nVolumen:<\/b> 9 (1-2)
\nP\u00e1ginas:<\/b> 145-189
\nEditorial:<\/b> Kluwer Academic Publishers<\/p>\n

2003<\/h3>\n

Autores:<\/b> C. Braga, E. Hermann Haeusler, J. Meseguer y P. D. Mosses
\nT\u00edtulo:<\/b> Modular SOS to Rewriting Logic
\nLibro:<\/b> Proceedings of 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2664
\nP\u00e1ginas:<\/b> 262-277
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer y C. Talcott
\nT\u00edtulo:<\/b> The Maude 2.0 system
\nLibro:<\/b> Rewriting Techniques and Applications, RTA 2003
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2706
\nP\u00e1ginas:<\/b> 76\u201387
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. de la Encina y R. Pe\u00f1a
\nT\u00edtulo:<\/b> Formally Deriving an STG Machine
\nLibro:<\/b> Principles and Practice of Declarative Programming, PPDP’03
\nP\u00e1ginas:<\/b> 102\u2013112
\nEditorial:<\/b> ACM Press<\/p>\n

Autores:<\/b> D. de Frutos Escrig y O. Marroqu\u00edn Alonso
\nT\u00edtulo:<\/b> Ambient Petri Nets
\nLibro:<\/b> Foundations of Global Computing
\nSerie:<\/b> Electronic Notes in Theoretical Computer Science
\nVolumen:<\/b> 85.1
\nP\u00e1ginas:<\/b> 27 p\u00e1ginas
\nEditorial:<\/b> Elsevier<\/p>\n

Autores:<\/b> D. de Frutos Escrig y O. Marroqu\u00edn Alonso
\nT\u00edtulo:<\/b> Replicated Ambient Petri Nets
\nLibro:<\/b> Computational Science \u2013 ICCS 2003, Part II
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2658
\nP\u00e1ginas:<\/b> 774\u2013783
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> M. Hidalgo-Herrero y Y. Ortega-Mall\u00e9n
\nT\u00edtulo:<\/b> Continuation semantics for parallel Haskell dialects
\nLibro:<\/b> Programming Languages and Systems, APLAS 2003
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2895
\nP\u00e1ginas:<\/b> 303\u2013321
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> H,-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G. J. Michaelson, R. Pe\u00f1a, A. J. Reb\u00f3n Portillo, S. Priebe, P. Trinder
\nT\u00edtulo:<\/b> Comparing Parallel Functional Languages: Programming and Performance
\nRevista:<\/b> Higher-Order and Symbolic Computation
\nVolumen:<\/b> 16(3)
\nP\u00e1ginas:<\/b> 203\u00ac\u2013251
\nEditorial:<\/b> Kluwer<\/p>\n

Autores:<\/b> J. Meseguer, M. Palomino y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Equational abstractions
\nLibro:<\/b> Automated Deduction – CADE-19
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2741
\nP\u00e1ginas:<\/b> 2\u201316
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> V. Silva, A. Garcia, A. Brandao, C. Chavez, C. Lucena y P. Alencar.
\nT\u00edtulo:<\/b> Taming Agents and Objects in Software Engineering
\nLibro:<\/b> Software Engineering for Multi-Agent Systems
\nSerie:<\/b> Lecture Notes in Computer Science
\nVolumen:<\/b> 2603
\nP\u00e1ginas:<\/b> 1-26
\nEditorial:<\/b> Springer<\/p>\n

Autores:<\/b> A. Verdejo, I. Pita y N. Mart\u00ed-Oliet
\nT\u00edtulo:<\/b> Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
\nRevista:<\/b> Formal Aspects of Computing
\nVolumen:<\/b> 14(3)
\nP\u00e1ginas:<\/b> 228\u2013246
\nEditorial:<\/b> Springer<\/p>\n","protected":false},"excerpt":{"rendered":"

Publicaciones del a\u00f1o: M\u00e1s recientes – 2013 – 2012 – 2011 – 2010 – 2009 – 2008 – 2007 – 2006 – 2005 – 2004 – 2003 2013 Autores: L. Aceto, D. de Frutos-Escrig, C. Gregorio-Rodriguez y A. Ing\u00f3lfsd\u00f3ttir T\u00edtulo: Axiomatizing weak simulations semantics over BCCSP Revista: Theoretical Computer Science Volumen: 537 P\u00e1ginas: 42-71 Editorial: … <\/p>\n

Continuar leyendo \u00abSelecci\u00f3n de publicaciones\u00bb<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-55","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/55","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/comments?post=55"}],"version-history":[{"count":5,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/55\/revisions"}],"predecessor-version":[{"id":205,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/55\/revisions\/205"}],"wp:attachment":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/media?parent=55"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}