Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alexandre Madeira, Manuel A. Martins 0001 (eds.) |
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-031-43344-3 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach |
A Computability Perspective on (Verified) Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 63-80, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | José Nuno Oliveira |
Why Adjunctions Matter - A Functional Programmer Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 25-59, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001 |
Shades of Iteration: From Elgot to Kleene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 100-120, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Building Correct-by-Construction Systems with Formal Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 3-24, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Davide Trotta |
A Presheaf Semantics for Quantified Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 81-99, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Tutu |
SpeX: A Rewriting-Based Formal Specification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 163-178, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lion, Farhad Arbab, Carolyn L. Talcott |
Runtime Composition of Systems of Interacting Cyber-Physical Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 141-162, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp |
Automated QoS-Aware Service Selection Based on Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 121-140, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Markus Roggenbach (eds.) |
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-030-73784-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Klumpp, Philip Lenzen |
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 98-119, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Boy de la Tour |
Monographs, a Category of Graph Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 54-74, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
Towards General Axiomatizations for Bisimilarity and Trace Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 31-53, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach |
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 120-141, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Boy de la Tour, Rachid Echahed |
Parallel Coherent Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 75-97, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra, John V. Tucker |
The Wheel of Rational Numbers as an Abstract Data Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 13-30, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Navid Roux, Florian Rabe 0001 |
Structure-Preserving Diagram Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 142-163, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol, Laure Petrucci |
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 3-10, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Ionut Tutu (eds.) |
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-030-23219-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Parameterized Strategies Specification in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 27-44, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker |
Role-Based Development of Dynamically Evolving Esembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 3-24, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Liang-Ting Chen 0001, Markus Roggenbach, John V. Tucker |
An Algebraic Theory for Data Linkage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 47-66, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl, Yuhang Zhao |
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 103-118, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Knapp, María Victoria Cengarle |
Term Charters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 119-138, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florian Rabe 0001, Dennis Müller 0001 |
Structuring Theories with Implicit Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 154-173, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Glauer, Till Mossakowski |
Institutions for SQL Database Schemas and Datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 67-86, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Finite Limits and Anti-unification in Substitution Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 87-102, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer |
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, pp. 139-153, 2018, Springer, 978-3-030-23219-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Phillip James, Markus Roggenbach (eds.) |
Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-319-72043-2 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski |
The Distributed Ontology, Model and Specification Language - DOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 5-10, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Csaba Ölveczky |
Formalizing and Validating the P-Store Replicated Data Store in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 189-207, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Florian Rabe 0001, Mihai Codescu |
Canonical Selection of Colimits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 170-188, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Johnson, John V. Tucker, Victoria Wang |
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 13-35, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra, Alban Ponse |
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 73-87, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marie Farrell, Rosemary Monahan, James F. Power |
An Institution for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 104-119, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins 0001 |
Asymmetric Combination of Logics is Functorial: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 39-55, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ivaylo Hristakiev, Detlef Plump |
Towards Critical Pair Analysis for the Graph Programming Language GP 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 153-169, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Alexandre Madeira |
Observational Semantics for Dynamic Logic with Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 135-152, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Lomuscio |
Advances in Verification of Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 3-4, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Schultz, David I. Spivak, Ryan Wisnesky |
Algebraic Model Management: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 56-69, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Rauch, Sergey Goncharov 0001, Lutz Schröder |
Generic Hoare Logic for Order-Enriched Effects with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 208-222, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel |
On the Most Suitable Axiomatization of Signed Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 120-134, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf |
A Calculus of Virtually Timed Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, pp. 88-103, 2016, Springer, 978-3-319-72043-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu, Razvan Diaconescu, Ionut Tutu (eds.) |
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-319-28113-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ning Yu 0003, Martin Wirsing |
A SOC-Based Formal Specification and Verification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 151-169, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Ulf Krumnack, Tom Maibaum |
What Is a Derived Signature Morphism? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 90-109, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Oliveira Jr., Leila Ribeiro 0001, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis |
Use Case Analysis Based on Formal Methods: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 110-130, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu |
A Theoretical Foundation for Programming Languages Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 30-47, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marie Fortin, Marcello M. Bonsangue, Jan Rutten |
Coalgebraic Semantics of Heavy-Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 48-68, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Elena Chirita, Traian-Florin Serbanuta |
An Institutional Foundation for the K Semantic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 9-29, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro |
A Full Operational Semantics for Asynchronous Relational Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 131-150, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Bruno Woltzenlogel Paleo |
On Logic Embeddings and Gödel's God. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 3-6, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gâinâ |
Foundations of Logic Programming in Hybridised Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 69-89, 2014, Springer, 978-3-319-28113-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Narciso Martí-Oliet, Miguel Palomino (eds.) |
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-642-37634-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Pita, María-Inés Fernández-Camacho |
Formal Specification of the Kademlia and the Kad Routing Tables in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 231-247, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe 0001 |
Compiling Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 111-126, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Linda Brodo, Roberto Bruni |
Open Multiparty Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 1-23, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001, Martin Wirsing |
Statistical Model Checking for Composite Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 143-160, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Axel Legay |
Quantitative Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 50-58, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Romero-Hernández, David de Frutos-Escrig |
Distances between Processes: A Pure Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 265-282, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Reiko Heckel, Frank Hermann 0001, Susann Gottmann, Nico Nachtigall |
Transformation Systems with Incremental Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 127-142, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach |
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 178-194, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Bentea, Peter Csaba Ölveczky |
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 77-94, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Irina Mariuca Asavoae, Mihail Asavoae |
A Generic Program Slicing Technique Based on Language Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 248-264, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Oliver Kutz, Christoph Lange 0002 |
Semantics of the Distributed Ontology Language: Institutes and Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 212-230, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Adaptable Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 95-110, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Giacoma Valentina Monreale |
Barbed Semantics for Open Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 161-177, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 195-211, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Hans-Jörg Kreowski (eds.) |
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-642-28411-3 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot |
Bounded Model Checking of Recursive Programs with Pointers in K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 59-76, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Fernando Orejas, Steffen Zschaler |
Behaviour Protection in Modular Rule-Based System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 24-49, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, T. S. E. Maibaum |
Towards a First-Order Deontic Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 61-75, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo |
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 42-60, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Liam O'Reilly, Till Mossakowski, Markus Roggenbach |
Compositional Modelling and Reasoning in an Institution for Processes and Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 251-269, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe 0001 |
A Proof Theoretic Interpretation of Model Theoretic Hiding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 118-138, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich |
My ADT Shrine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 13-24, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu |
Lambda Expressions in Casl Architectural Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 98-117, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Seidel, Janis Voigtländer |
Proving Properties about Functions on Lists Involving Element Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 270-286, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Fabio Gadducci, Leila Ribeiro 0001 |
An Institution for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 160-174, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kofron, Frantisek Plásil |
Evolving SOA in the Q-ImPrESS Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 25-26, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christine Choppy, Gianna Reggio |
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 76-97, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001 |
Test-Case Generation for Maude Functional Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 287-301, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Marczynski |
Algebraic Signatures Enriched by Dependency Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 226-250, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski |
New Results on Timed Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 175-192, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Clara Bertolissi |
Sharing in the Graph Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 27-41, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing |
Building a Modal Interface Theory for Concurrency and Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 1-12, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach |
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 209-225, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe 0001, Kristina Sojakova |
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 139-159, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth |
Combining Graph Transformation and Algebraic Specification into Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 193-208, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Ugo Montanari (eds.) |
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![Springer, 978-3-642-03428-2 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Sojakova, Florian Rabe 0001 |
Translating a Dependently-Typed Logic to First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 326-341, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Popescu 0001, Grigore Rosu |
Term-Generic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 290-307, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Temesghen Kahsai, Markus Roggenbach |
Property Preserving Refinement for Csp-Casl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 206-220, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Francesco Santini 0001 |
C-semiring Frameworks for Minimum Spanning Tree Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 56-70, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu |
Generalized Theoroidal Institution Comorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 88-101, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luís Monteiro |
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 251-265, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci |
A Term-Graph Syntax for Algebras over Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 152-165, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karl Gmeiner, Bernhard Gramlich |
Transformations of Conditional Rewrite Systems Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 166-186, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Luciana Foss, Leila Ribeiro 0001 |
Graph Transformation with Dependencies for the Specification of Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 102-118, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu |
A Rewriting Logic Approach to Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 135-151, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|