Selección de publicaciones

Más 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ólfsdóttir
Título: Axiomatizing weak simulations semantics over BCCSP
Revista: Theoretical Computer Science
Volumen: 537
Páginas: 42-71
Editorial: Elsevier

Autores: L. Aceto, I. Fábregas, D. de Frutos-Escrig, A. Ingólfsdóttir y M. Palomino
Título: On the specification of modal systems: a comparison of three frameworks
Revista: Science of Computer Programming
Volumen: 78(12)
Páginas: 2468-2487

Autores: R. Bonnet, A. Finkel, S. Haddad y F. Rosa-Velardo
Título: Ordinal theory for expressiveness of well-structured transition systems
Revista: Information and Computation
Volumen: 224
Páginas: 1-22

Autores: R. Caballero, E. Martin-Martin, A. Riesco y S. Tamarit
Título: Speeding up algorithmic debugging using balanced execution trees
Libro: 7th International Conference on Tests and Proofs, TAP 2013
Serie: Lecture Notes in Computer Science
Volumen: 7942
Páginas: 133-151
Editorial: Springer

Autores: C. Dania y M. Clavel
Título: OCL2FOL+: Coping with undefinedness
Libro: 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
Serie: CEUR Workshop Proceedings
Volumen: 1092
Páginas: 53-62
Editorial: CEUR-WS.org

Autores: G. Delzanno y F. Rosa-Velardo
Título: On the coverability and reachability languages of monotonic extensions of Petri nets
Revista: Theoretical Computer Science
Volumen: 467
Páginas: 12-29
Editorial: Elsevier

Autores: D. de Frutos Escrig, C. Gregorio-Rodríguez, M. Palomino y D. Romero-Hernández
Título: Unifying the linear time-branching time spectrum of process semantics
Revista: Logical Methods in Computer Science
Volumen: 9(2)
Páginas: 12-29
1-74

Autores: M. Hidalgo-Herrero, P. Rabanal, I. Rodríguez y F. Rubio
Título: Comparing problem solving strategies for NP-hard optimization problems
Revista: Fundamenta Informaticae
Volumen: 124(1-2)
Páginas: 1-25

Autores: D. Insa, J. Silva y A. Riesco
Título: A declarative debugger for sequential Erlang programs
Libro: 7th International Conference on Tests and Proofs, TAP 2013
Serie: Lecture Notes in Computer Science
Volumen: 7942
Páginas: 96-114
Editorial: Springer

Autores: M. Montenegro, R. Peña, C. Segura
Título: Shape Analysis in a Functional Language by Using Regular Languages
Libro: Proceedings of the 15th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2013. Revised Selected Papers
Páginas: 251-262
Editorial: Editorial: ACM Press

Autores: I. Pita y M.-I. Fernández Camacho
Título: Formal specification of the Kademlia and the Kad Routing Tables in Maude
Libro: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Serie: Lecture Notes in Computer Science
Volumen: 7841
Páginas: 231-247
Editorial: Springer

Autores: A. Riesco, I. M. Asavoae y M. Asavoae
Título: A generic program slicing technique based on language definitions
Libro: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Serie: Lecture Notes in Computer Science
Volumen: 7841
Páginas: 248-264
Editorial: Springer

Autores: D. Romero-Hernández y D. de Frutos-Escrig
Título: Distances between processes: a pure algebraic approach
Libro: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Serie: Lecture Notes in Computer Science
Volumen: 7841
Páginas: 265-282
Editorial: Springer

Autores: F. Rosa-Velardo
Título: Petri nets with name creation for transient secure association
Revista: Acta Informatica
Volumen: 50
Páginas: 403-436

2012

Autores: L. Aceto, D. de Frutos Escrig, C. Gregorio-Rodríguez y A. Ingólfsdóttir
Título: The equational theory of weak complete simulation semantics over BCCSP
Libro: SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, pindlerv Ml´yn, Czech Republic, January 21-27, 2012
Serie: Lecture Notes in Computer Science
Volumen: 7147
Páginas: 141-152
Editorial: Springer

Autores: R. Caballero, A. Riesco, A. Verdejo y N. Martí-Oliet
Título: Simplifying questions in Maude Declarative Debugger by transforming proof trees
Libro: Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Serie: Lecture Notes in Computer Science
Volumen: 7225
Páginas: 73-89
Editorial: Springer

Autores: R. Kersten, O. Shkaravska, B. van Gastel, M. Montenegro, M. van Eekelen
Título: Interpolation-based height analysis for improving a recurrence solver
Libro: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012
Editorial: ACM
Páginas: 251-262

Autores: N. Martí-Oliet, M. Palomino y A. Verdejo
Título: Rewriting logic bibliography by topic: 1990-2011
Revista: Journal of Logic and Algebraic Programming
Volumen: 81
Páginas: 782-815

Autores: M. Martos-Salgado y F. Rosa-Velardo
Título: Cost soundness for priced resource-constrained workflow nets
Libro: Application and Theory of Petri Nets - 33rd International
Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 Proceedings
Serie: Lecture Notes in Computer Science
Volumen: 7347
Páginas: 108-127
Editorial: Springer

Autores: M. Montenegro, O. Shkaravska, M. van Eekelen, R. Peña
Título: Interpolation-based height analysis for improving a recurrence solver
Libro: Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011. Revised Selected Papers
Serie: Lecture Notes in Computer Science
Editorial: Springer
Volumen: 7177
Páginas: 36-53

Autores: I. Pita y A. Riesco
Título: A tool for testing data types implementations from Maude algebraic specifications
Libro: Proceedings of the 11st Spanish Workshop on Programming Languages, PROLE 2011
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 282
Páginas: 61-71
Editorial: Elsevier

Autores: D. Romero-Hernández y D. de Frutos Escrig
Título: Defining distances for all process semantics
Libro: FMOODS/FORTE
Serie: Lecture Notes in Computer Science
Volumen: 7273
Páginas: 169-185
Editorial: Springer

Autores: A. Riesco
Título: Test-case generation for Maude functional modules
Libro: Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010
Serie: Lecture Notes in Computer Science
Volumen: 7137
Páginas: 287-301
Editorial: Springer

Autores: A. Riesco
Título: Using narrowing to test Maude specifications
Libro: 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
Serie: Lecture Notes in Computer Science
Volumen: 7571
Páginas: 201-220
Editorial: Springer

Autores: A. Riesco
Título: Using semantics specified in Maude to generate test cases
Libro: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
Serie: Lecture Notes in Computer Science
Volumen: 7521
Páginas: 90-104
Editorial: Springer

Autores: A. Riesco y J. Rodríguez-Hortalá
Título: S-narrowing for constructor systems
Libro: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
Serie: Lecture Notes in Computer Science
Volumen: 7521
Páginas: 136-150
Editorial: Springer

Autores: A. Riesco, A. Verdejo, N. Martí-Oliet y R. Caballero
Título: Declarative debugging of rewriting logic specifications
Libro: Rewriting Logic and its Applications
Serie: The Journal of Logic and Algebraic Programming (JLAP)
Volumen: 81(7-8)
Páginas: 851-897
Editorial: Elsevier

Autores: F. Rosa-Velardo y M. Martos-Salgado
Título: Multiset rewriting for the verification of depth-bounded processes with name binding
Revista: Information and Computation
Volumen: 215
Páginas: 68-87

Autores: L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: A formalization in Coq of Launchbury's natural semantics for lazy evaluation
Revista: Electronic Communications of the EASST
Volumen: 10
Páginas: 15

Autores: L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: A locally nameless representation for a natural semantics for lazy evaluation
Libro: Theoretical Aspects of Computing, ICTAC 2012
Serie: Lecture Notes in Computer Science
Volumen: 7521
Páginas: 105-119
Editorial: Springer

Autores: A. Verdejo y N. Martí-Oliet
Título: Basic completion strategies as another application of the Maude strategy language
Libro: Proceedings of the 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, May 29, 2011
Serie: Electronic Proceedings in Theoretical Computer Science
Volumen: 82
Páginas: 17-36

2011

Autores: L. Aceto, D. de Frutos-Escrig, C. Gregorio-Rodríguez y A. Ingólfsdóttir
Título: Axiomatizing weak ready simulation semantics over BCCSP
Libro: Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings
Serie: Lecture Notes in Computer Science
Volumen: 6916
Páginas: 7-24
Editorial: Springer

Autores: L. Aceto, I. Fábregas, D. de Frutos Escrig, A. Ingólfsdóttir y M. Palomino
Título: Graphical representation of covariant-contravariant modal formulas
Libro: Proceedings 18th International Workshop on Expressiveness in Concurrency, Aachen, Germany, 5th September 2011
Serie: Electronic Proceedings in Theoretical Computer Science
Volumen: 64
Páginas: 1-15

Autores: L. Aceto, D. de Frutos-Escrig, C. Gregorio-Rodríguez y A. Ingólfsdóttir
Título: Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Libro: Information Processing Letters
Volumen: 111(9)
Páginas: 408-413

Autores: L. Aceto, I. Fábregas, D. de Frutos Escrig, A. Ingólfsdóttir y M. Palomino
Título: Relating modal refinements, covariant-contravariant simulations and partial bisimulations
Libro: Fundamentals of Software Engineering, FSEN 2011
Serie: Lecture Notes in Computer Science
Volumen: 7141
Páginas: 268-283
Editorial: Springer

Autores: D.A. Basin, M. Clavel y M. Egea
Título: A decade of model-driven security
Libro: SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings
Páginas: 1-10
Editorial: ACM

Autores: D.A. Basin, M. Clavel, M. Egea, M.A.G. de Dios, C. Dania, G. Ortiz y J. Valdazo
Título: Model-driven development of security-aware GUIs for data-centric applications
Libro: Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures
Serie: Lecture Notes in Computer Science
Volumen: 6858
Páginas: 101-124
Editorial: Springer

Autores: R. Bonnet, A. Finkel, S. Haddad y F. Rosa-Velardo
Título: Ordinal theory for expressiveness of well structured transition systems
Libro: 14th International Conference on Foundations of Software Sciences and Computation Structures, FOSSACS 2011
Serie: Lecture Notes in Computer Science
Volumen: 6604
Páginas: 153-167
Editorial: Springer

Autores: M. Clavel, N. Martí-Oliet y M. Palomino
Título: Parameterized metareasoning in membership equational logic
Libro: Formal Modeling: Actors, Open Systems Biological Systems. Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Serie: Lecture Notes in Computer Science
Volumen: 7000
Páginas: 277-298
Editorial: Springer

Autores: M. Codescu, T. Mossakowski, A. Riesco y C. Maeder
Título: Integrating Maude into Hets
Libro: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010
Serie: Lecture Notes in Computer Science
Volumen: 6486
Páginas: 60-75
Editorial: Springer

Autores: J. de Dios; R. Peña
Título: Certification of Safe Polynomial Memory Bounds
Libro: Int. Symp. on Formal Methods, FM'11, Limerick, Ireland, June 2011
Serie: Lecture Notes in Computer Science
Volumen: 6664
Páginas: 184-199
Editorial: Springer

Autores: M. Martos-Salgado y F. Rosa-Velardo
Título: Dynamic Soundness in Resource-Constrained Workflow Nets
Libro: 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
Serie: Lecture Notes in Computer Science
Volumen: 6722
Páginas: 259-273
Editorial: Springer

Autores: R. Peña y A. Delgado
Título: Size Invariants and Ranking Functions Synthesis in a Functional Language
Libro: Int. Work. on Funtional and Constraint Logic Programming, WFLP'11, Odense, Denmark, July 2011
Serie: Lecture Notes in Computer Science
Volumen: 6816
Páginas: 52-67
Editorial: Springer

Autores: A. Riesco
Título: Test-case generation for Maude functional modules
Libro: Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010
Serie: Lecture Notes in Computer Science
Volumen: 7137
Páginas: 287-301
Editorial: Springer

Autores: A. Riesco, A. Verdejo y N. Martí-Oliet
Título: A complete declarative debugger for Maude
Libro: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010
Serie: Lecture Notes in Computer Science
Volumen: 6486
Páginas: 216-225
Editorial: Springer

Autores: D. Romero-Hernández y D. de Frutos-Escrig
Título: On the unification of process semantics: Logical semantics
Libro: Proceedings Eight Workshop on Structural Operational Semantics 2011
Serie: EPTCS
Volumen: 62
Páginas: 47-61

Autores: F. Rosa-Velardo y D. de Frutos-Escrig
Título: Decidability and complexity of Petri nets with unordered data
Revista: Theoretical Computer Science
Volumen: 412(34)
Páginas: 4439-4451

Autores: F. Rosa-Velardo, M. Martos-Salgado y D. de Frutos-Escrig
Título: Accelerations for the coverability set of Petri nets with names
Revista: Fundamenta Informaticae
Volumen: 113(3-4)
Páginas: 313-341

Autores: L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: Relating function spaces to resourced function spaces
Libro: 26th Symposium on Applied Computing, SAC'11
Volumen: 2
Páginas: 1301-1308
Editorial: ACM

Autores: L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: An operational semantics for distributed lazy evaluation
Libro: Trends in Functional Programming
Volumen: 10
Páginas: 65-80

2010


Autores: D. A. Basin, M. Clavel, M. Egea y M. Schläpfer
Título: Automatic generation of smart, security-aware GUI models
Libro: Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010
Serie: Lecture Notes in Computer Science
Volumen: 5965
Páginas: 201-217
Editorial: Springer

Autores: C. Braga
Título: A transformation contract to generate aspects from access control policies
Revista: Software and Systems Modeling Fecha: 2010
Editorial: Springer

Autores: J. de Dios, M. Montenegro y R. Peña
Título: Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Libro: Proceedings of the Eighth International Conference on Integrated Formal Methods, IFM 2010
Serie: Lecture Notes in Computer Science
Volumen: 6396
Páginas: 305-319
Editorial: Springer

Autores: J. de Dios y R. Peña
Título: A Certified Implementation on top of the Java Virtual Machine
Libro: Formal Method in Industrial Critical Systems, FMICS'09
Serie: Lecture Notes in Computer Science
Volumen: 5825
Páginas: 181-196
Editorial: Springer

Autores: J. de Dios y R. Peña
Título: Formal Certification of a Resource-Aware Language Implementation
Libro: Int. Conf. on Theorem Proving in Higher Order Logics, TPHOL'09, Munich (Germany)
Serie: Lecture Notes in Computer Science
Volumen: 5674
Páginas: 196-211
Editorial: Springer

Autores: M. Egea, C. Dania y M. Clavel
Título: MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
Libro: Electronic Communications of the EASST
Volumen: 36

Autores: I. Fábregas, D. de Frutos-Escrig y M. Palomino
Título: Equational characterization of covariant-contravariant simulation and conformance simulation semantics
Libro: Proceedings Seventh Workshop on Structural Operational Semantics, Paris, France, 30 August 2010
Serie: Electronic Proceedings in Theoretical Computer Science
Volumen: 32
Páginas: 1-14

Autores: I. Fábregas, D. de Frutos-Escrig y M. Palomino
Título: Logics for contravariant simulations
Libro: 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
Serie: Lecture Notes in Computer Science
Volumen: 6117
Páginas: 224-231
Editorial: Springer

Autores: M. A. García de Dios, C. Dania, M. Schläpfer, D. A. Basin, M. Clavel y M. Egea
Título: Ssg: a modelbased development environment for smart, security-aware GUIs
Libro: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010
Páginas: 311-312
Editorial: ACM

Autores: M. Montenegro, R. Peña y C. Segura
Título: A space consumption analysis by abstract interpretation
Libro: Selected Papers of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009
Serie: Lecture Notes in Computer Science
Volumen: 6324
Páginas: 34-50
Editorial: Springer

Autores: M. Montenegro, R. Peña y C. Segura
Título: A Simple Region Inference Algorithm for a First-Order Functional Language
Libro: Proceedings of the 18th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2009
Serie: Lecture Notes in Computer Science
Volumen: 5979
Páginas: 145-161
Editorial: Springer

Autores: I. Pita
Título: A formal specification of the Kademlia distributed hash table
Libro: Actas de las X Jornadas sobre Programación y Lenguajes, PROLE 2010, Valencia, 8-10 septiembre 2010
Páginas: 223-234
Editorial: Garceta grupo editorial

Autores: A. Riesco y J. Rodríguez-Hortalá
Título: A natural implementation of plural semantics in Maude
Libro: Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, LDTA 2009, York, UK, March 27-28, 2009
Serie: Electronic Notes in Computer Science
Volumen: 253(7)
Páginas: 165-175
Editorial: Elsevier

Autores: A. Riesco y J. Rodríguez-Hortalá
Título: Programming with singular and plural non-deterministic functions
Libro: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010
Páginas: 83-92
Editorial: ACM

Autores: A. Riesco, A. Verdejo y N. Martí-Oliet
Título: Declarative debugging of missing answers for Maude specifications
Libro: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010
Serie: Leibniz International Proceedings in Informatics
Volumen: 6
Páginas: 277-294
Editorial: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Autores: A. Riesco, A. Verdejo y N. Martí-Oliet
Título: Enhancing the debugging of Maude specifications
Libro: Proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010
Serie: Lecture Notes in Computer Science
Volumen: 6381
Páginas: 226-242
Editorial: Springer

Autores: A. Riesco, A. Verdejo, N. Martí-Oliet y R. Caballero
Título: Declarative debugging of rewriting logic specifications
Libro: Informe técnico SIC-02-10, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010

Autores: F. Rosa-Velardo
Título: Depth boundedness in multiset rewriting systems with binding
Libro: Proceedings of the 4th International Workshop on Reachability Problems,RP 2010
Serie: Lecture Notes in Computer Science
Volumen: 6227
Páginas: 161-175
Editorial: Springer

Autores: F. Rosa-Velardo
Título: Multiset rewriting: a semantic framework for concurrency with name binding
Libro: Proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010
Serie: Lecture Notes in Computer Science
Volumen: 6381
Páginas: 191-207
Editorial: Springer

Autores: F. Rosa-Velardo y G. Delzanno
Título: A language-based comparison of nets with black tokens, pure names and ordered data
Libro: 4th International Conference on Language and Automata Theory and Applications, LATA 2010
Serie: Lecture Notes in Computer Science
Volumen: 6031
Páginas: 524-535
Editorial: Springer

Autores: F. Rosa-Velardo y D. de Frutos-Escrig
Título: Decidability problems for Petri nets with names and replication
Libro: Fundamenta Informaticae
Volumen: 105(3)
Páginas: 291-317

Autores: F. Rosa-Velardo y D. de Frutos-Escrig
Título: Forward analysis for Petri nets with name creation
Libro: 31st International Conference on Applications and Theory of Petri Nets, Petri Nets 2010
Serie: Lecture Notes in Computer Science
Volumen: 6128
Páginas: 185-205
Editorial: Springer

Autores: L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: Call-by-need, call-by-name, and natural semantics
Libro: Actas de las X Jornadas sobre Programación y Lenguajes, PROLE 2010, Valencia, 8-10 septiembre 2010
Páginas: 83-92
Editorial: Garceta grupo editorial

Autores: L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: On the relation of call-by-need and call-by-name in a natural semantics setting
Libro: 22nd symposium on Implementation and Application of Functional Languages, IFL'10. Utrech University

2009


Autores: D. Basin, M. Clavel, J. Doser y M. Egea
Título: Automated analysis of security-design models
Revista: Information and Software Technology, Special issue on Model Based Development for Secure Information Systems
Volumen: 51(5)
Páginas: 815-831
Editorial: Elsevier

Autores: C. Braga
Título: From Access Control Policies to an Aspect-based Infrastructure: A Metamodel-based Approach
Libro: Proceedings of MODELS 2008 Workshops and Symposia.
Serie: Lecture Notes in Computer Science
Volumen: 5421
Páginas: 243-256
Editorial: Springer

Autores: C. Braga, F. Chalub y A. Sztajnberg
Título: A formal semantics for a qualitity of service contract language
Libro: Proceedings of Formal Foundations of Embedded Software and Component-Based Software Architectures FESCA'07, Satellite workshop of ETAPS'07, Braga, Portugal
Serie: Electronic Notes in Theoretical Computer Science
Volumen:203(7)
Páginas:103-120
Editorial: Elsevier

Autores: R. Caballero, N. Martí-Oliet, A. Riesco y A. Verdejo
Título: A declarative debugger for Maude functional modules
Libro: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 238(3)
Páginas: 63-81
Editorial: Elsevier

Autores: M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln, N. Marti-Oliet, J. Meseguer y C. Talcott
Título: Unification and narrowing in Maude 2.4
Libro: Rewriting Techniques and Applications, RTA 2009, Brasilia, Brazil, Treinen, R. (ed.)
Serie: Lecture Notes in Computer Science
Volumen: 5595
Páginas: 380-390
Editorial: Springer

Autores: M. Clavel, M. Egea, M.A. García-de Dios
Título: Building and Efficient Component for OCL Evaluation
Libro: 8th OCL Workshop at the UML/MoDELS Conference: OCL Concepts and Tools: From Implementation to Evaluation and Comparison
Volumen:
Páginas:
Editorial:

Autores: I. Fábregas, D. de Frutos-Escrig y M. Palomino
Título: Non-strongly stable orders also define interesting simulation relations
Libro: Algebra and Coalgebra in Computer Science. 1st Int.Conference, CALCO 2009. A. Kurz y A.Tarlecki (ed.)
Serie: Lecture Notes in Computer Science
Volumen: 5728
Páginas: 221-235
Editorial: Springer

Autores: D. de Frutos-Escrig, C. Gregorio-Rodríguez y M. Palomino
Título: Ready to preorder: an algebraic and general proof
Revista: Journal of Logic and Algebraic Programming
Volumen: 78(7)
Páginas: 539-551
Editorial: Elsevier

Autores: D. de Frutos-Escrig, C. Gregorio-Rodríguez y M. Palomino
Título: On the unification of semantics for processes: observational semantics
Libro: SOFSEM 09: 35th Int. Conference on Current Trends in Theory and Practice of Computer Science
Serie: Lecture Notes in Computer Science
Volumen: 5404
Páginas: 279-290
Editorial: Springer

Autores: D. de Frutos-Escrig, C. Gregorio-Rodríguez y M. Palomino
Título: On the unification of semantics for processes: equational semantics
Libro: Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 249
Páginas: 243-267
Editorial: Elsevier

Autores: N. Martí-Oliet, J. Meseguer y A. Verdejo
Título: A Rewriting Semantics for Maude Strategies
Libro: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 238(3)
Páginas: 227-247
Editorial: Elsevier

Autores: J. Meseguer, M. Palomino y N. Marti-Oliet
Título: Algebraic Simulations
Revista: Journal of Logic and Algebraic Programming
Volumen:79(2)
Páginas:103-143
Editorial: Elsevier

Autores: M. Montenegro, R. Peña y C. Segura
Título: A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Libro: 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 246
Páginas: 167-182
Editorial: Elsevier

Autores: A. Riesco y A. Verdejo
Título: Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
Libro: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008. G. Roşu (ed.)
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 238(3)
Páginas: 247-266
Editorial: Elsevier

Autores: A. Riesco, A. Verdejo, R. Caballero y N. Martí-Oliet
Título: Declarative Debugging of Rewriting Logic Specifications
Libro: Recent Trends in Algebraic Development Techniques, WADT 2008. Corradini, A. & Montanari, U. (ed.)
Serie: Lecture Notes in Computer Science
Volumen: 5486
Páginas: 308-325
Editorial: Springer

Autores: F. Rosa-Velardo y D. de Frutos-Escrig
Título: Decidability results for restricted models of Petri nets with name creation and replication
Libro: 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007
Serie: Lecture Notes in Computer Science
Volumen: 5606
Páginas: 63-82
Editorial: Springer

2008


Autores: R. Caballero, N. Martí-Oliet, A. Riesco y A. Verdejo
Título: Declarative debugging of membership equational logic specifications
Libro: Concurrency, Graphs and Models
Serie: LNCS
Volumen: 5065
Páginas: 174-193
Editorial: Springer

Autores: M. Clavel, V. Silva, C. Braga y M. Egea
Título: Model-Driven Security in Practice: an Industrial Experience
Libro: ECMDA-FA '08: Proceedings of Model Driven Architecture - Industrial Track
Serie: Lecture Notes in Computer Science
Volumen: 5095
Páginas: 327-338
Editorial: Springer

Autores: F. Duran, V. Silva y C. Lucena
Título: Using testimonies to enforce the behavior of agents
Libro: Coordination, Organizations, Institutions, and Norms in Agent Systems III
Serie: LNAI
Volumen: 4870
Páginas: 218-231
Editorial: Springer

Autores: A. de la Encina, M. Hidalgo-Herrero, P. Rabanal, I. Rodríguez y F. Rubio
Título: Testing the Behaviour of Entities in a Cognitive Language
Revista: International Journal of Cognitive Informatics and Natural Intelligence
Volumen: 2(1)
Páginas: 29-43
Editorial:


Autores: A. de la Encina y R. Peña
Título: From Natural Semantics to C: A Formal Derivation of two STG Machines
Revista: Journal of Functional Programming
Volumen: 19(1)
Páginas: 47-94
Editorial: Cambridge University Press

Autores: D. de Frutos-Escrig, C. Gregorio-Rodríguez y M. Palomino
Título: Coinductive characterisations reveal nice relations between preorders and equivalences
Libro: The First International Conference on Foundations of Informatics, Computing and Software, FICS
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 212
Páginas: 149-162
Editorial: Elsevier

Autores: D. de Frutos-Escrig, M. Palomino y I. Fábregas
Título: Multiset Bisimulation as a Common Framework for Ordinary and Probabilistic Bisimulations
Libro: Formal Techniques for Networked and Distributed Systems --- FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings
Serie: Lecture Notes in Computer Science
Volumen: 5048
Páginas: 283-298
Editorial: Springer

Autores: J. Guedes, V. Silva y C. Lucena
Título: A reputation model based on testimonies
Libro: Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop
Serie: LNAI
Volumen: 4898
Páginas: 37-52
Editorial: Springer

Autores: I. Hernán-Losada, C. Pareja-Flores, J. A. Velázquez-Iturbide
Título: Testing Based Automatic Grading: A proposal from the Bloom's taxonomy
Libro: Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies
Páginas: 847-849
Editorial: IEEE Computer Society (CPS)

Autores: S. Lucas y R. Peña
Título: Rewriting Techniques for Analysing Termination and Complexity Bounds of Safe Programs
Libro: Pre-proceedings 18th Int. Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR'08
Páginas: 43-57

Autores: J. Meseguer, M. Palomino y N. Martí-Oliet
Título: Equational Abstractions
Serie: Theoretical Computer Science
Volumen: 403
Páginas: 239-264
Editorial: Elsevier

Autores: M. Montenegro, R. Peña y C. Segura
Título: A Type System for Safe Memory Management and its Proof of Correctness
Libro: 10th Int. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP'08
Páginas: 152-162
Editorial: ACM Press

Autores: M. Montenegro, R. Peña y C. Segura
Título: An inference Algorithm for Guaranteeing Safe Destruction
Libro: 18th Int. Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008
Serie: Lecture Notes in Computer Science
Volumen: 5438
Páginas: 135-151
Editorial: Springer

Autores: M. Palomino
Título: Formal logic
Revista: Encyclopedia of Computer Science and Engineering
Editorial: Wiley

Autores: C. Pareja Flores , J. Urquiza Fuentes y J. A. Velázquez Iturbide
Título: An Approach to Effortless Construction of Program Animations
Revista: Computers and Education Electronic
Volumen: 50(1)
Páginas: 179-192
Editorial: Elsevier

Autores: A. Riesco, A. Verdejo, N. Martí-Oliet y R. Caballero
Título: A declarative debugger for Maude
Libro: Algebraic Methodology and Software Technology --- 12th International Conference, AMAST 2008, G. Meseguer y G. Roşu (ed.)
Serie: Lecture Notes in Computer Science
Volumen: 5140
Páginas: 116-121
Editorial: Springer

Autores: F. Rosa-Velardo y D. de Frutos-Escrig
Título: Name Creation vs. Replication in Petri Net Systems
Revista: Fundamenta Informaticae
Volumen: 88
Páginas: 329-356
Editorial: IOS Press

Autores: M. Rubio-Sánchez, J. Urquiza-Fuentes y C. Pareja-Flores
Título: A gentle introduction to mutual recursion
Libro: ITiCSE '08: Proceedings of the 13th annual conference on Innovation and technology in computer science education
Páginas: 235-239
Editorial: ACM

Autores: G. Santos-García, M. Palomino y A. Verdejo
Título: Rewriting Logic using Strategies for Neural Networks: an Implementation in Maude
Libro: International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008
Serie: Advances in Soft Computing
Volumen: 50
Páginas: 424-433
Editorial: Springer

Autores: C. Segura, I. Pita, R. del Vado, A.I. Saiz y P. Soler
Título: Interactive Learning of Data Structures and Algorithmic Schemes
Libro: Computational Science - ICCS 2008, 8th International Conference
Serie: Lecture Notes in Computer Science
Volumen: 5101(1)
Páginas: 800-809
Editorial: Springer


Autores: V. Silva, R. Choren y C. Lucena
Título: Using MAS-ML dynamic diagrams to model MAS behavioral properties
Libro: Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop
Serie: LNAI
Volumen: 4898
Páginas: 1-18
Editorial: Springer

Autores: V. Silva, R. Choren y C. Lucena
Título: MAS-ML: A multi-agent system modelling language
Revista: International Journal of Agent-Oriented Software Engineering
Volumen:
Páginas:
Editorial: InderScience

Autores: V. Silva
Título: From the specification to the implementation of norms: An automatic approach to generate rules from norms to govern the behaviour of agents
Revista: International Journal of Autonomous Agents and Multi-Agent Systems, Special Issue on Norms
Volumen:
Páginas:
Editorial: Springer

Autores: V. Silva
Título: Implementing norms that govern non-dialogical actions
Libro: Coordination, Organizations, Institutions, and Norms in Agent Systems III
Serie: LNAI
Volumen: 4870
Páginas: 234-244
Editorial: Springer

Autores: J. A. Velázquez Iturbide, C. Pareja Flores y J. Urquiza Fuentes
Título: An Instructors' Guide to Design Web-Based Algorithm Animations
Libro: Advances in Web Based Learning - ICWL 2007
Serie: Lecture Notes in Computer Science
Volumen: 4823
Páginas: 440-451
Editorial: Springer

2007


Autores: D. Basin, M. Clavel, J. Doser y M. Egea
Título: A Metamodel-Based Approach for Analyzing Security-Design Models
Libro: Model Driven Engineering Languages and systems
Serie: LNCS
Volumen: 4735
Páginas: 420-435
Editorial: Springer

Autores: A. Brandao, V. Silva y C. Lucena
Título: Observed-MAS: an Ontology-based Method for Analyzing Multi-Agent Systems Design Models
Libro: Agent-Oriented Software Engineering
Serie: LNCS
Volumen: 4405
Páginas: 122-139
Editorial: Springer

Autores: M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer y C. Talcott
Libro: All About Maude: A High-Performance Logical Framework
Editorial: Springer

Autores: M. Clavel, F. Durán, J. Hendrix, S. Lucas, J. Meseguer y P. Olveczky
Título: The Maude formal tool environment
Libro: Algebra and Coalgebra in Computer Science. Second International Conference, CALCO 2007, Proceedings
Serie: LNCS
Volumen: 4624
Páginas: 173-178
Editorial: Springer

Autores: M. Clavel, J. Meseguer y M. Palomino
Título: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Revista: Theoretical Computer Science
Volumen: 373(1-2)
Páginas: 70-91
Editorial: Elsevier

Autores: F. Durán, A. Riesco y A. Verdejo
Título: A distributed implementation of Mobile Maude
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 176(4)
Páginas: 113-131
Editorial: Elsevier

Autores: S. Eker, N. Martí-Oliet, J. Meseguer y A. Verdejo
Título: Deduction, strategies, and rewriting
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 174(11)
Páginas: 3-25
Editorial: Elsevier

Autores: I. Fábregas, M. Palomino y D. de Frutos Escrig
Título: Reflection and preservation of properties in coalgebraic (bi)simulations
Libro: ICTAC 2007 - Int. Coll. on Theoretical Aspects of Computing
Serie: LNCS
Volumen: 4711
Páginas: 231-245
Editorial: Springer

Autores: D. de Frutos-Escrig, F. Rosa Velardo, C. Gregorio-Rodríguez
Título: New Bisimulation Semantics for Distributed Systems
Libro: FORTE 2007 - Formal Techniques for Networked and Distributed Systems
Serie: LNCS
Volumen: 4574
Páginas: 143-159
Editorial: Springer

Autores: M.Hidalgo-Herrero, Alberto Verdejo, Y.Ortega-Mallén
Título: Using Maude and its strategies for defining a framework for analyzing Eden semantics
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 174(10)
Páginas: 119-137
Editorial: Elsevier

Autores: M. Hidalgo-Herrero, Y.Ortega-Mallé y F.Rubio
Título: Comparing alternative evaluation strategies for stream-based parallel functional languages
Serie: LNCS
Volumen: 4449
Páginas: 55-72
Editorial: Springer

Autores: L. F. Llana-Díaz, D. de Frutos-Escrig y M. Núñez
Título: Testing Semantics for Urgent Timed Process Algebras
Libro: Real-Time Systems. Modeling, Design and Applications
Serie: Amast Series in Computing
Volumen: 8
Páginas: 231-235
Editorial: World Scientific

Autores: N. Martí-Oliet, M. Palomino y A. Verdejo
Título: Strategies and simulations in a semantic framework
Revista: Journal of Algorithms
Volumen: 62(3-4)
Páginas: 95-116
Editorial: Elsevier

Autores: C. Pareja Flores, J. Urquiza Fuentes y J. A. Velázquez Iturbide
Título: WinHIPE: An IDE for Functional Programming Based on Rewriting and Visualization
Revista: ACM SIGPLAN Notices
Volumen: 42,3
Páginas: 14-23
Editorial: ACM Press

Autores: A. Riesco y A. Verdejo
Título: Distributed Applications Implemented in Maude with Parameterized Skeletons
Libro: FMOODS 2007 Proceedings
Serie: LNCS
Volumen: 4468
Páginas: 91-106
Editorial: Springer

Autores: F. Rosa-Velardo
Título: Coding mobile synchronizing Petri nets into rewriting logic
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 174(1)
Páginas: 83-98
Editorial: Elsevier

Autores: F. Rosa Velardo
Título: Petri nets for the verification of ubiquitous systems with transient secure association
Libro: Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
Serie: LNCS
Volumen: 4611
Páginas: 1148-1158
Editorial: Springer

Autores: F. Rosa Velardo y D. de Frutos-Escrig
Título: Name Creation vs. Replication in Petri Net Systems
Libro: ICATPN 2007 - 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Serie: LNCS
Volumen: 4546
Páginas: 402-422
Editorial: Springer

Autores: F. Rosa-Velardo, D. de Frutos-Escrig y O. Marroquín-Alonso
Título: On the Expressiveness of Mobile Synchronizing Petri Nets
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 180(1)
Páginas: 77-94
Editorial: Elsevier

Autores: J.-R. Sánchez-Couso y M.-I. Fernández-Camacho
Título: Binary search trees, recurrent properties and wave equations
Revista: Fundamenta Informaticae
Volumen: 81(4)
Páginas: 409-439
Editorial: IOS Press

Autores: C. Segura y C. Torrano
Título: Using Template Haskell for Abstract Interpretation
Libro: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006)
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 177
Páginas: 201-217
Editorial: Elsevier

Autores: V. Silva y C. Lucena
Título: Modeling Multi-Agent Systems
Revista: Communications of the ACM
Volumen: 50(5)
Páginas: 103-108
Editorial: ACM

Autores: G. Santos-García y M. Palomino
Título: Solving sudoku puzzles with rewriting rules
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 176(4)
Páginas: 79-93
Editorial: Elsevier

2006


Autores: C. Braga y A. Verdejo
Título: Modular SOS with Strategies
Libro: Proceedings of Structural Operational Semantics 2006, SOS 2006
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 175(1)
Páginas: 3-17
Editorial: Elsevier

Autores: F. Chalub y C. Braga
Título: Maude MSOS Tool
Libro: Proceedings of 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 176(4)
Páginas: 133-146
Editorial: Elsevier

Autores: M. Clavel, M. Palomino y A. Riesco
Título: Introducing the ITP Tool: a Tutorial
Revista: Journal of Universal Computer Science
Volumen: 12(11)
Páginas: 1618-1650
Editorial: Springer

Autores: J.M. Cleva y I. Pita
Título: An approach to the verification of CRWL programs with rewriting logic
Revista: Journal of Universal Computer Science
Volumen: 12(11)
Páginas: 1594-1617
Editorial: Springer

Autores: M. Egea y M. Clavel
Título: ITP/OCL: A Rewriting-Based-Validation Tool Tool for UML+OCL Static Class Diagrams
Libro: Proceedings of 11th International Conference, AMAST2006
Serie: Lecture Notes in Computer Science
Volumen: 4019
Páginas: 368-373
Editorial: Springer

Autores: D. de Frutos Escrig, C.Gregorio Rodríguez
Título: Process Equivalences as Global Bisimulations
Revista: Journal of Universal Computer Science
Volumen: 12(11)
Páginas: 1521-1550
Editorial: Springer

Autores: M. Hidalgo-Herrero, Y. Ortega-Mallén y F. Rubio
Título: Analyzing the Influence of Mixed Evaluation on the Performance of Eden Skeletons
Revista: Parallel Computing
Volumen: 32(7-8)
Páginas: 523-538
Editorial: Elsevier

Autores: M. Palomino
Título: A comparison between two logical formalisms for rewriting
Revista: Theory and Practice of Logic Programming
Volumen: 7(1)
Editorial: Cambridge University Press

Autores: F. Rosa Velardo, O. Marroquín Alonso y D. de Frutos-Escrig
Título: Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
Revista: Electronic Notes in Theoretical Computer Science
Volumen: 150 (1)
Páginas: 103-126
Editorial: Elsevier

Autores: F. Rosa Velardo, D. de Frutos-Escrig y O. Marroquín Alonso
Título: Replicated Ubiquitous Nets
Libro: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV ICCSA (4)
Serie: LNCS
Volumen: 3983
Páginas: 158-168
Editorial: Springer

Autores: F. Rosa Velardo y D. de Frutos-Escrig
Título: Symbolic semantics for the verification of security properties of mobile Petri nets
Libro: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis, ATVA'06
Serie: LNCS
Volumen: 4218
Páginas: 461-476
Editorial: Springer

Autores: F. Rosa-Velardo, C. Segura y A. Verdejo
Título: Typed Mobile Ambients in Maude
Libro: Proceedings of the 6th International Workshop on Rule-Based Programming (RULE 2005)
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 147(1)
Páginas: 135-161
Editorial: Elsevier

Autores: J. R. Sánchez Couso y M. I. Fernández Camacho
Título: Reductions in binary search trees
Revista: Theoretical Computer Science
Volumen: 355(3)
Páginas: 327-353
Editorial: Elsevier

Autores: J. Sardinha, R. Choren, V.Silva, R. Milidiu, y C. Lucena
Título: A Combined Specification Language and Development Framework for Agent-based Application Engineering
Revista: Journal of System and Software
Volumen: 79/11
Páginas: 1565-1577
Editorial: Elsevier

Autores: A. Verdejo y N. Martí-Oliet
Título: Executable structural operational semantics in Maude
Revista: Journal of Logic and Algebraic Programming
Volumen: 67
Páginas: 226-293
Editorial: Elsevier

2005


Autores: C. Braga y J. Meseguer
Título: Modular Rewriting Semantics in Practice
Libro: Proceedings of 5th International Workshop on Rewriting Logic and its Applications, WRLA 2004
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 117
Páginas: 393-416
Editorial: Elsevier

Autores: D. de Frutos-Escrig, C. Gregorio Rodríguez
Título: Preserving Contexts for Soft Conformance Relation
Libro: Formal Approaches to Software Testing (FATES 2004)
Serie: Lecture Notes in Computer Science
Volumen: 3395
Páginas: 33–48
Editorial: Springer

Autores: D. de Frutos-Escrig, C. Gregorio Rodríguez
Título: Bisimulation Up-to for the Linear Time-Branching Time Spectrum
Libro: CONCUR 2005 - Concurrency Theory
Serie: Lecture Notes in Computer Science
Volumen: 3653
Páginas: 278-292
Editorial: Springer

Autores: D. de Frutos-Escrig, O. Marroquín Alonso, F. Rosa Velardo
Título: Ubiquitous Systems and Petri Nets
Libro: Computational Science and Applications - ICCSA 2005
Serie: Lecture Notes in Computer Science
Volumen: 3481
Páginas: 1156-1166
Editorial: Springer

Autores: M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: Dealing denotationally with streams-based communication
Libro: IV Jornadas sobre Programación y Lenguajes, PROLE 2004
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 137
Editorial: Elsevier

Autores: R. Loogen, Y. Ortega-Mallén y R. Peña-Marí
Título: Parallel Functional Programming in Eden
Revista: Journal of Functional Programming
Volumen: 15(3)
Páginas: 431-475
Editorial: Cambridge University Press

Autores: N. Martí-Oliet, J. Meseguer y A. Verdejo
Título: Towards a strategy language for Maude
Libro: Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 117
Páginas: 417-441
Editorial: Elsevier

Autores: N. Martí-Oliet, M. Palomino, and A. Verdejo
Título: A Tutorial on Specifying Data Structures in Maude
Libro: IV Jornadas sobre Programacion y Lenguajes, PROLE 2004
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 137
Páginas: 105-132
Editorial: Elsevier

Autores: N. Martí-Oliet, I. Pita, J.L. Fiadeiro,J. Meseguer y T. Maibaum
Título: A Verification Logic for Rewriting Logic
Revista: Journal of Logic and Computation
Volumen: 15(3)
Páginas: 317-352
Editorial: Oxford University Press

Autores: M. Palomino, N. Martí-Oliet, and A. Verdejo
Título: Playing with Maude
Libro: Proceedings Fifth International Workshop on Rule-Based Programming. Proceedings
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 124(1)
Páginas: 3-23
Editorial: Elsevier

Autores: M. Palomino, J. Meseguer y N. Martí-Oliet
Título: A categorical approach to simulations
Libro: First International Conference, CALCO 2005, Swansea, UK, September 2005. Proceedings
Serie: Lecture Notes in Computer Science
Volumen: 3629
Páginas: 313-330
Editorial: Springer

Autores: R. Peña y C. Segura
Título: Non-determinism analyses in a parallel-functional language
Revista: Journal of Functional Programming
Volumen: 15(1)
Páginas: 67-100
Editorial: Cambridge University Press

Autores: I. Pita y M. Palomino
Título: Proving modal properties of rewrite theories using Maude's metalevel
Libro: IV Jornadas sobre Programaci\'on y Lenguajes, PROLE 2004
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 137
Páginas: 133-150
Editorial: Elsevier

Autores: F. Rosa Velardo, D. de Frutos-Escrig, C. Segura Díaz
Título: Tagged systems: a framework for the specification of history-dependent properties
Libro: Proc. Fourth Spanish Conference on Programming and Computer Languages (PROLE 2004)
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 137(1)
Páginas: 151-174
Editorial: Elsevier

Autores: V. Silva, R. Choren, y C. Lucena.
Título: Using the UML 2.0 Activity Diagram to Model Agent Plans and Actions
Libro: Proceeding of the fourth International Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2005)
Páginas: 594-600
Editorial: ACM Press

Autores: A. Verdejo, N. Martí-Oliet, T. Robles, J. Salvachúa, L. Llana y M. Bradley
Título: Transforming information in RDF to rewriting logic
Libro: Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Serie: Lecture Notes in Computer Science
Volumen: 3535
Páginas: 227-242
Editorial: Springer

Autores: A. Verdejo y N. Martí-Oliet
Título: Two case studies of semantics execution in Maude: CCS and LOTOS
Revista: Formal Methods in System Design
Volumen: 27
Páginas: 113-172
Editorial: Kluwer (Springer)

2004


Autores: D. Basin, M. Clavel y J. Meseguer
Título: Reflective metalogical frameworks
Revista: ACM Transactions on Computational Logic
Volumen: 5(3)
Editorial: ACM Press

Autores: M. Clavel, N. Martí-Oliet y M. Palomino
Título: Formalizing and proving semantic relations between specifications by reflection
Libro: Algebraic Methods and Software Technology, AMAST 2004, Stirling, UK
Serie: Lecture Notes in Computer Science
Volumen: 3116
Páginas: 72–86
Editorial: Springer

Autores: F. Chalub y C. Braga
Título: A Modular Rewriting Semantics for CML
Libro: Proceedings of 8o. Simpósio Brasileiro de Linguagens de Programação, SBLP 2004
Serie: Journal of Universal Computer Science
Volumen: 10(7)
Páginas: 789-807
Editorial: Springer

Autores: A. Garcia, C. Sant'anna, C. Chavez, V. Silva, A. Staa y C. Lucena.
Título: Separation of Concerns in Multi-Agent Systems: An Empirical Study
Libro: Software Engineering for Multi-Agent Systems II
Serie: Lecture Notes in Computer Science
Volumen: 2940
Páginas: 49-72
Editorial: Springer

Autores: N. Martí-Oliet, J. Meseguer y M. Palomino
Título: Theoroidal maps as algebraic simulations
Libro: Recent Trends in Algebraic Development Techniques, WADT'04, Barcelona, Spain
Serie: Lecture Notes in Computer Science
Volumen: 3423
Páginas: 126-143
Editorial: Springer

Autores: R. Martínez y R. Peña
Título: Building an interface between Eden and Maple: Towards a way of parallelizing computer algebra algorithms
Libro: Implementation of Functional Languages, IFL 2003
Serie: Lecture Notes in Computer Science
Editorial: Springer

Autores: J. Meseguer y C. Braga
Título: Modular Rewriting Semantics of Programming Languages
Libro: Proceedings of the 10th International Conference of Algebraic Methodology and Software Technology, AMAST 2004
Serie: Lecture Notes in Computer Science
Volumen: 3116
Páginas: 364-378
Editorial: Springer

Autores: C. Segura y R. Peña
Título: Correctness of non-determininsm analyses in a parallel functional language
Libro: Implementation of Functional Languages, IFL 2003
Serie: Lecture Notes in Computer Science
Editorial: Springer

Autores: V. Silva, R. Choren y C. Lucena.
Título: Using the MAS-ML to Model a Multi-Agent System
Libro: Software Engineering for Multi-Agent Systems II
Serie: Lecture Notes in Computer Science
Volumen: 2940
Páginas: 129-148
Editorial: Springer

Autores: V. Silva, R. Choren y C. Lucena.
Título: A UML Based Approach for Modeling and Implementing Multi-Agent Systems
Libro: Proceeding of the Third International Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2004)
Páginas: 914-921
Editorial: IEEE Computer Society

Autores: V. Silva y C. Lucena.
Título: From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
Revista: Journal of Autonomous Agents and Multi-Agent Systems
Volumen: 9 (1-2)
Páginas: 145-189
Editorial: Kluwer Academic Publishers

2003


Autores: C. Braga, E. Hermann Haeusler, J. Meseguer y P. D. Mosses
Título: Modular SOS to Rewriting Logic
Libro: Proceedings of 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002
Serie: Lecture Notes in Computer Science
Volumen: 2664
Páginas: 262-277
Editorial: Springer

Autores: M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer y C. Talcott
Título: The Maude 2.0 system
Libro: Rewriting Techniques and Applications, RTA 2003
Serie: Lecture Notes in Computer Science
Volumen: 2706
Páginas: 76–87
Editorial: Springer

Autores: A. de la Encina y R. Peña
Título: Formally Deriving an STG Machine
Libro: Principles and Practice of Declarative Programming, PPDP'03
Páginas: 102–112
Editorial: ACM Press

Autores: D. de Frutos Escrig y O. Marroquín Alonso
Título: Ambient Petri Nets
Libro: Foundations of Global Computing
Serie: Electronic Notes in Theoretical Computer Science
Volumen: 85.1
Páginas: 27 páginas
Editorial: Elsevier

Autores: D. de Frutos Escrig y O. Marroquín Alonso
Título: Replicated Ambient Petri Nets
Libro: Computational Science – ICCS 2003, Part II
Serie: Lecture Notes in Computer Science
Volumen: 2658
Páginas: 774–783
Editorial: Springer

Autores: M. Hidalgo-Herrero y Y. Ortega-Mallén
Título: Continuation semantics for parallel Haskell dialects
Libro: Programming Languages and Systems, APLAS 2003
Serie: Lecture Notes in Computer Science
Volumen: 2895
Páginas: 303–321
Editorial: Springer

Autores: H,-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G. J. Michaelson, R. Peña, A. J. Rebón Portillo, S. Priebe, P. Trinder
Título: Comparing Parallel Functional Languages: Programming and Performance
Revista: Higher-Order and Symbolic Computation
Volumen: 16(3)
Páginas: 203¬–251
Editorial: Kluwer

Autores: J. Meseguer, M. Palomino y N. Martí-Oliet
Título: Equational abstractions
Libro: Automated Deduction - CADE-19
Serie: Lecture Notes in Computer Science
Volumen: 2741
Páginas: 2–16
Editorial: Springer

Autores: V. Silva, A. Garcia, A. Brandao, C. Chavez, C. Lucena y P. Alencar.
Título: Taming Agents and Objects in Software Engineering
Libro: Software Engineering for Multi-Agent Systems
Serie: Lecture Notes in Computer Science
Volumen: 2603
Páginas: 1-26
Editorial: Springer

Autores: A. Verdejo, I. Pita y N. Martí-Oliet
Título: Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
Revista: Formal Aspects of Computing
Volumen: 14(3)
Páginas: 228–246
Editorial: Springer