| 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  |
WADT  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach |
A Computability Perspective on (Verified) Machine Learning. |
WADT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira |
Why Adjunctions Matter - A Functional Programmer Perspective. |
WADT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov 0001 |
Shades of Iteration: From Elgot to Kleene. |
WADT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Building Correct-by-Construction Systems with Formal Patterns. |
WADT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Davide Trotta |
A Presheaf Semantics for Quantified Temporal Logics. |
WADT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ionut Tutu |
SpeX: A Rewriting-Based Formal Specification Environment. |
WADT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Lion, Farhad Arbab, Carolyn L. Talcott |
Runtime Composition of Systems of Interacting Cyber-Physical Components. |
WADT |
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. |
WADT |
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 |
WADT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Klumpp, Philip Lenzen |
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Boy de la Tour |
Monographs, a Category of Graph Structures. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo 0001 |
Towards General Axiomatizations for Bisimilarity and Trace Semantics. |
WADT |
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. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Boy de la Tour, Rachid Echahed |
Parallel Coherent Graph Transformations. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, John V. Tucker |
The Wheel of Rational Numbers as an Abstract Data Type. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Navid Roux, Florian Rabe 0001 |
Structure-Preserving Diagram Operators. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Laure Petrucci |
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). |
WADT |
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 |
WADT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Parameterized Strategies Specification in Maude. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker |
Role-Based Development of Dynamically Evolving Esembles. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang-Ting Chen 0001, Markus Roggenbach, John V. Tucker |
An Algebraic Theory for Data Linkage. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Kahl, Yuhang Zhao |
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Knapp, María Victoria Cengarle |
Term Charters. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe 0001, Dennis Müller 0001 |
Structuring Theories with Implicit Morphisms. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Glauer, Till Mossakowski |
Institutions for SQL Database Schemas and Datasets. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Kahl |
Finite Limits and Anti-unification in Substitution Categories. |
WADT |
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. |
WADT |
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 |
WADT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski |
The Distributed Ontology, Model and Specification Language - DOL. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Formalizing and Validating the P-Store Replicated Data Store in Maude. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Florian Rabe 0001, Mihai Codescu |
Canonical Selection of Colimits. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Johnson, John V. Tucker, Victoria Wang |
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Farrell, Rosemary Monahan, James F. Power |
An Institution for Event-B. |
WADT |
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. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivaylo Hristakiev, Detlef Plump |
Towards Critical Pair Analysis for the Graph Programming Language GP 2. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker, Alexandre Madeira |
Observational Semantics for Dynamic Logic with Binders. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio |
Advances in Verification of Multi-agent Systems. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Schultz, David I. Spivak, Ryan Wisnesky |
Algebraic Model Management: A Survey. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Rauch, Sergey Goncharov 0001, Lutz Schröder |
Generic Hoare Logic for Order-Enriched Effects with Exceptions. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel |
On the Most Suitable Axiomatization of Signed Integers. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf |
A Calculus of Virtually Timed Ambients. |
WADT |
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 |
WADT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ning Yu 0003, Martin Wirsing |
A SOC-Based Formal Specification and Verification of Hybrid Systems. |
WADT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Ulf Krumnack, Tom Maibaum |
What Is a Derived Signature Morphism? |
WADT |
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. |
WADT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu |
A Theoretical Foundation for Programming Languages Aggregation. |
WADT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Fortin, Marcello M. Bonsangue, Jan Rutten |
Coalgebraic Semantics of Heavy-Weighted Automata. |
WADT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Elena Chirita, Traian-Florin Serbanuta |
An Institutional Foundation for the K Semantic Framework. |
WADT |
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. |
WADT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Bruno Woltzenlogel Paleo |
On Logic Embeddings and Gödel's God. |
WADT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gâinâ |
Foundations of Logic Programming in Hybridised Logics. |
WADT |
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 |
WADT |
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. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe 0001 |
Compiling Logics. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Linda Brodo, Roberto Bruni |
Open Multiparty Interaction. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001, Martin Wirsing |
Statistical Model Checking for Composite Actor Systems. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Axel Legay |
Quantitative Modal Transition Systems. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Romero-Hernández, David de Frutos-Escrig |
Distances between Processes: A Pure Algebraic Approach. |
WADT |
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. |
WADT |
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. |
WADT |
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. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001, Irina Mariuca Asavoae, Mihail Asavoae |
A Generic Program Slicing Technique Based on Language Definitions. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Oliver Kutz, Christoph Lange 0002 |
Semantics of the Distributed Ontology Language: Institutes and Institutions. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Adaptable Transition Systems. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Giacoma Valentina Monreale |
Barbed Semantics for Open Reactive Systems. |
WADT |
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. |
WADT |
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 |
WADT |
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. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Fernando Orejas, Steffen Zschaler |
Behaviour Protection in Modular Rule-Based System Specifications. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Towards a First-Order Deontic Action Logic. |
WADT |
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. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam O'Reilly, Till Mossakowski, Markus Roggenbach |
Compositional Modelling and Reasoning in an Institution for Processes and Data. |
WADT |
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. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich |
My ADT Shrine. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu |
Lambda Expressions in Casl Architectural Specifications. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Seidel, Janis Voigtländer |
Proving Properties about Functions on Lists Involving Element Tests. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Fabio Gadducci, Leila Ribeiro 0001 |
An Institution for Graph Transformation. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Frantisek Plásil |
Evolving SOA in the Q-ImPrESS Project. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Gianna Reggio |
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001 |
Test-Case Generation for Maude Functional Modules. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Marczynski |
Algebraic Signatures Enriched by Dependency Structure. |
WADT |
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. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Clara Bertolissi |
Sharing in the Graph Rewriting Calculus. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing |
Building a Modal Interface Theory for Concurrency and Data. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach |
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. |
WADT |
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. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth |
Combining Graph Transformation and Algebraic Specification into Model Transformation. |
WADT |
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 |
WADT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Sojakova, Florian Rabe 0001 |
Translating a Dependently-Typed Logic to First-Order Logic. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu 0001, Grigore Rosu |
Term-Generic Logic. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Temesghen Kahsai, Markus Roggenbach |
Property Preserving Refinement for Csp-Casl. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
C-semiring Frameworks for Minimum Spanning Tree Problems. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu |
Generalized Theoroidal Institution Comorphisms. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro |
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci |
A Term-Graph Syntax for Algebras over Multisets. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Gmeiner, Bernhard Gramlich |
Transformations of Conditional Rewrite Systems Revisited. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Luciana Foss, Leila Ribeiro 0001 |
Graph Transformation with Dependencies for the Specification of Interactive Systems. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu |
A Rewriting Logic Approach to Type Inference. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license