Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Vlad Rusu |
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings, pp. 135-150, 2010, Springer, 978-3-642-13976-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mark Hills 0001, Grigore Rosu |
A Rewriting Logic Semantics Approach to Modular Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 151-160, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 |
Approximating Non-interference and Erasure in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 124-132, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
Completeness of Unfolding for Rewriting Logic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 116-123, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky (eds.) |
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![Springer, 978-3-642-16309-8 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Federico Morra |
A flexible framework for hardware, software design space exploration using rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Francisco Durán 0001, José Meseguer 0001 |
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 86-103, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Natarajan Shankar |
Rewriting, Inference, and Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 1-14, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Rosa-Velardo |
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 191-207, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mu Sun, José Meseguer 0001, Lui Sha |
A Formal Pattern Architecture for Safe Medical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 157-173, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Beatriz Alarcón, Salvador Lucas, José Meseguer 0001 |
A Dependency Pair Framework for A OR C-Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 35-51, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Raúl Gutiérrez, Salvador Lucas |
Proving Termination in the Context-Sensitive Dependency Pair Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 18-34, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Michael Katelman, Sean Keller, José Meseguer 0001 |
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 140-156, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Irina Mariuca Asavoae, Mihail Asavoae |
Collecting Semantics under Predicate Abstraction in the K Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 123-139, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Kyungmin Bae, José Meseguer 0001 |
The Linear Temporal Logic of Rewriting Maude Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 208-225, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | José Eduardo Rivera, Francisco Durán 0001, Antonio Vallecillo |
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 174-190, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser |
The Third Rewrite Engines Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 243-261, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
Enhancing the Debugging of Maude Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 226-242, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Escobar 0001, Ralf Sasse, José Meseguer 0001 |
Folding Variant Narrowing and Optimal Variant Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 52-68, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, José Meseguer 0001 |
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 69-85, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Traian-Florin Serbanuta, Grigore Rosu |
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 104-122, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mustapha Bourahla |
Verification of Complex Real-Time Systems using Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Technol. ![In: J. Comput. Inf. Technol. 17(3), pp. 265-284, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Dowek, César A. Muñoz, Camilo Rocha |
Rewriting Logic Semantics of a Plan Execution Language ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 77-91, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Dorel Lucanu |
Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 20(3), pp. 395-410, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer 0001 |
A rewriting logic approach to operational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 207(2), pp. 305-340, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 |
Abstract Certification of Global Non-interference in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, pp. 105-124, 2009, Springer, 978-3-642-17070-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Grigore Rosu (eds.) |
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
Defining Datalog in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers, pp. 188-204, 2009, Springer, 978-3-642-12591-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen |
Validating Behavioral Component Interfaces in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 82(4), pp. 341-359, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Mark Hills 0001, Feng Chen 0006, Grigore Rosu |
A Rewriting Logic Approach to Static Checking of Units of Measurement in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 51-67, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Francisco J. Lucas, José Ambrosio Toval Álvarez |
Model Transformations powered by Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum ![In: Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, pp. 41-44, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Carlos Morra, João Bispo, João M. P. Cardoso, Jürgen Becker 0001 |
Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2008, 14-15 April 2008, Stanford, Palo Alto, California, USA, pp. 320-321, 2008, IEEE Computer Society, 978-0-7695-3307-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser |
The Second Rewrite Engines Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 281-291, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse |
Variant Narrowing and Equational Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 103-119, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Salvador Lucas, José Meseguer 0001 |
Operational Termination of Membership Equational Programs: the Order-Sorted Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 207-225, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo |
A Declarative Debugger for Maude Functional Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 63-81, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Bjarne Holen, Einar Broch Johnsen, Arild Waaler |
Proof Search for the First-Order Connection Calculus in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 173-188, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Peter Csaba Ölveczky |
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 83-102, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Dilia E. Rodríguez |
Combining Techniques to Reduce State Space and Prove Strong Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 267-280, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Matthias M. Hölzl, Max Meier, Martin Wirsing |
Which Soft Constraints do you Prefer? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 189-205, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
A Rewriting Semantics for Maude Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 227-247, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Adrián Riesco 0001, Alberto Verdejo |
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 249-266, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Lars Helge Haß, Thomas Noll 0001 |
Equational Abstractions for Reducing the State Space of Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 139-154, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Oana Andrei, Dorel Lucanu |
Strategy-Based Proof Calculus for Membrane Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 23-43, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras |
Patterns for Maude Metalanguage Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 121-138, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Hierarchical Design Rewriting with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 45-62, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Grigore Rosu |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 1-3, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Traian-Florin Serbanuta, Grigore Rosu, José Meseguer 0001 |
A Rewriting Logic Approach to Operational Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@LICS/ICALP ![In: Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007, pp. 125-141, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Grigore Rosu |
The rewriting logic semantics project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 373(3), pp. 213-237, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Oana Andrei, Gabriel Ciobanu, Dorel Lucanu |
A rewriting logic framework for operational semantics of membrane systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 373(3), pp. 163-181, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott (eds.) |
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![Springer, 978-3-540-71940-3 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Kyrre M. Begnum, Mark Burgess |
Understanding Promise Theory Using Rewriting Logic. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMS ![In: Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings, pp. 204-207, 2007, Springer, 978-3-540-72985-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Grit Denker, Carolyn L. Talcott (eds.) |
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Farid Mokhati, Patrice Gagnon, Mourad Badri |
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 356-362, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Core Maude Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 751-756, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Functional Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 61-118, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo |
Some Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 667-693, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Object-Oriented Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 599-642, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Object-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 339-372, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Complete List of Maude Commands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 737-749, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Full Maude: Extending Core Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 559-597, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
A Hierarchy of Data Types: From Trees to Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 119-129, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Predefined Data Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 231-305, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Debugging and Troubleshooting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 697-736, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 385-418, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Syntax and Basic Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 39-59, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
User Interfaces and Metalanguage Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 523-555, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 1-28, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Model Checking Invariants Through Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 373-384, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Module Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 185-230, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo |
Specifying Parameterized Data Structures in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 307-338, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Adrián Riesco 0001, Alberto Verdejo |
Mobile Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 485-522, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati |
Narrowing and Rewriting Logic: from Foundations to Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 5-33, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Rosa-Velardo |
Coding Mobile Synchronizing Petri Nets into Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 83-98, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | José Miguel Cleva, Isabel Pita |
Verification of CRWL Programs with Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 12(11), pp. 1594-1617, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Morra, M. Sackmann, Jürgen Becker 0001, Reiner W. Hartenstein |
Using Rewriting Logic to Generate Different Implementations of Polynomial Approximations in Coarse-Grained Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: Proceedings of the 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2006, Montpellier, France, July 2006, pp. 46-51, 2006, Univ. Montpellier II, 2-9517461-2-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz |
Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), March 8-11, Dubai/Sharjah, UAE, pp. 936-943, 2006, IEEE Computer Society, 1-4244-0211-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Mark Hills 0001, Traian Serbanuta, Grigore Rosu |
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 215-231, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Martin R. Neuhäußer, Thomas Noll 0001 |
Abstraction and Model Checking of Core Erlang Programs in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 147-163, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Dilia E. Rodríguez |
On Modelling Sensor Networks in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 199-213, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Michael Katelman, José Meseguer 0001 |
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 47-60, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Reilles |
Canonical Abstract Syntax Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 165-179, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Azadeh Farzan, José Meseguer 0001 |
Partial Order Reduction for Rewriting Semantics of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 61-78, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Gustavo Santos-García, Miguel Palomino |
Solving Sudoku Puzzles with Rewriting Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 79-93, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Horatiu Cirstea, Clément Houtmann, Benjamin Wack |
Distributive rho-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 95-111, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Adrián Riesco 0001, Alberto Verdejo |
A Distributed Implementation of Mobile Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 113-131, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ralf Sasse, José Meseguer 0001 |
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 29-46, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky, José Meseguer 0001 |
Abstraction and Completeness for Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 5-27, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Grit Denker, Carolyn L. Talcott |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 1-3, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Fabricio Chalub, Christiano Braga |
Maude MSOS Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006, pp. 133-146, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen |
Validating Behavioral Component Interfaces in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005, pp. 187-204, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Oana Andrei, Dorel Lucanu, Gabriel Ciobanu |
Operational Semantics and Rewriting Logic in Membrane Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 57-78, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Marc Aiguier, Diane Bahrami, Delphine Longuet |
An Abstract Way to Define Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005, pp. 205-226, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Grigore Rosu |
The Rewriting Logic Semantics Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 27-56, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Bow-Yaw Wang |
Specification of an Infinite-State Local Model Checker in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005, pp. 442-447, 2005, 1-891706-16-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Carlos Morra, Jürgen Becker 0001, Mauricio Ayala-Rincón, Reiner W. Hartenstein |
FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005, pp. 25-30, 2005, IEEE, 0-7803-9362-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Narciso Martí-Oliet (eds.) |
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Fabio Gadducci, Ugo Montanari (eds.) |
Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Constraint Functional Logic Programming Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004, pp. 5-50, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Grit Denker, Carolyn L. Talcott |
Formal Checklists for Remote Agent Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004, pp. 229-248, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |