The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WADT"( http://dblp.L3S.de/Venues/WADT )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wadt

Publication years (Num. hits)
1997 (25) 1998 (21) 1999 (27) 2000-2001 (18) 2002 (26) 2003-2004 (17) 2006-2008 (32) 2009-2010 (19) 2012 (17) 2013-2016 (25) 2017 (1)
Publication types (Num. hits)
inproceedings(216) proceedings(12)
Venues (Conferences, Journals, ...)
WADT(228)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 16 keywords

Results
Found 228 publication records. Showing 228 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Phillip 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 WADT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessio Lomuscio Advances in Verification of Multi-agent Systems. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Till Mossakowski The Distributed Ontology, Model and Specification Language - DOL. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Till Mossakowski, Florian Rabe, Mihai Codescu Canonical Selection of Colimits. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patrick Schultz, David I. Spivak, Ryan Wisnesky Algebraic Model Management: A Survey. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kenneth Johnson, John V. Tucker, Victoria Wang Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Rosemary Monahan, James F. Power An Institution for Event-B. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan A. Bergstra, Alban Ponse Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf A Calculus of Virtually Timed Ambients. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins Asymmetric Combination of Logics is Functorial: A Survey. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christoph Rauch, Sergey Goncharov 0001, Lutz Schröder Generic Hoare Logic for Order-Enriched Effects with Exceptions. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Csaba Ölveczky Formalizing and Validating the P-Store Replicated Data Store in Maude. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hubert Garavel On the Most Suitable Axiomatization of Signed Integers. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rolf Hennicker, Alexandre Madeira Observational Semantics for Dynamic Logic with Binders. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ivaylo Hristakiev, Detlef Plump Towards Critical Pair Analysis for the Graph Programming Language GP 2. Search on Bibsonomy WADT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mihai 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 WADT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Till Mossakowski, Ulf Krumnack, Tom Maibaum What Is a Derived Signature Morphism? Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis Use Case Analysis Based on Formal Methods: An Empirical Study. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marie Fortin, Marcello M. Bonsangue, Jan Rutten Coalgebraic Semantics of Heavy-Weighted Automata. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Claudia Elena Chirita, Traian-Florin Serbanuta An Institutional Foundation for the K Semantic Framework. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro A Full Operational Semantics for Asynchronous Relational Networks. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Gâinâ Foundations of Logic Programming in Hybridised Logics. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Bruno Woltzenlogel Paleo On Logic Embeddings and Gödel's God. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu A Theoretical Foundation for Programming Languages Aggregation. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ning Yu, Martin Wirsing A SOC-Based Formal Specification and Verification of Hybrid Systems. Search on Bibsonomy WADT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Narciso 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 WADT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Romero-Hernández, David de Frutos-Escrig Distances between Processes: A Pure Algebraic Approach. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabio Gadducci, Giacoma Valentina Monreale Barbed Semantics for Open Reactive Systems. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francisco Durán, Fernando Orejas, Steffen Zschaler Behaviour Protection in Modular Rule-Based System Specifications. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlos 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 WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Axel Legay Quantitative Modal Transition Systems. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin Adaptable Transition Systems. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrea Corradini, Reiko Heckel, Frank Hermann 0001, Susann Gottmann, Nico Nachtigall Transformation Systems with Incremental Negative Application Conditions. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lucian Bentea, Peter Csaba Ölveczky A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing Statistical Model Checking for Composite Actor Systems. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae A Generic Program Slicing Technique Based on Language Definitions. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Till Mossakowski, Oliver Kutz, Christoph Lange 0002 Semantics of the Distributed Ontology Language: Institutes and Institutions. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Isabel Pita, María-Inés Fernández-Camacho Formal Specification of the Kademlia and the Kad Routing Tables in Maude. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Irina 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 WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe Compiling Logics. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Till 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 WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chiara Bodei, Linda Brodo, Roberto Bruni Open Multiparty Interaction. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mihai Codescu Lambda Expressions in Casl Architectural Specifications. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Grzegorz Marczynski Algebraic Signatures Enriched by Dependency Structure. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Kofron, Frantisek Plasil Evolving SOA in the Q-ImPrESS Project. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski New Results on Timed Specifications. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Liam O'Reilly, Till Mossakowski, Markus Roggenbach Compositional Modelling and Reasoning in an Institution for Processes and Data. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hans-Dieter Ehrich My ADT Shrine. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Seidel, Janis Voigtländer Proving Properties about Functions on Lists Involving Element Tests. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth Combining Graph Transformation and Algebraic Specification into Model Transformation. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adrián Riesco Test-Case Generation for Maude Functional Modules. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe A Proof Theoretic Interpretation of Model Theoretic Hiding. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing Building a Modal Interface Theory for Concurrency and Data. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova Towards Logical Frameworks in the Heterogeneous Tool Set Hets. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Clara Bertolissi Sharing in the Graph Rewriting Calculus. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pablo F. Castro, T. S. E. Maibaum Towards a First-Order Deontic Action Logic. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christine Choppy, Gianna Reggio Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrea Corradini, Fabio Gadducci, Leila Ribeiro An Institution for Graph Transformation. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrea Corradini, 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 WADT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pietro Di Gianantonio, Furio Honsell, Marina Lenisa Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrea Corradini, Luciana Foss, Leila Ribeiro Graph Transformation with Dependencies for the Specification of Interactive Systems. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrei Popescu 0001, Grigore Rosu Term-Generic Logic. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Karl Gmeiner, Bernhard Gramlich Transformations of Conditional Rewrite Systems Revisited. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Till Mossakowski, Andrzej Tarlecki Heterogeneous Logical Environments for Distributed Specifications. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet Declarative Debugging of Rewriting Logic Specifications. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Markus Roggenbach Property Preserving Refinement for Csp-Casl. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001 C-semiring Frameworks for Minimum Spanning Tree Problems. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kristina Sojakova, Florian Rabe Translating a Dependently-Typed Logic to First-Order Logic. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu A Rewriting Logic Approach to Type Inference. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli Molecules as Automata. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fabio Gadducci A Term-Graph Syntax for Algebras over Multisets. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Farhad Arbab, Roberto Bruni, Dave Clarke 0001, Ivan Lanese, Ugo Montanari Tiles for Reo. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mihai Codescu Generalized Theoroidal Institution Comorphisms. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mark Hills 0001, Grigore Rosu Towards a Module System for K. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF K, modularity, rewriting logic, language semantics
1Christian Koehler 0001, Farhad Arbab, Erik P. de Vink Reconfiguring Distributed Reo Connectors. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luís Monteiro A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing What Is a Multi-modeling Language? Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Barbara Kordy A Rewrite Approach for Pattern Containment. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Allan Clark, Stephen Gilmore, Mirco Tribastone Service-Level Agreements for Service-Oriented Computing. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Altenhofen, Egon Börger Concurrent Abstract State Machines and +CAL Programs. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1José Luiz Fiadeiro, Pierre-Yves Schobbens (eds.) Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers Search on Bibsonomy WADT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sara Van Langenhove, Albert Hoogewijs SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi Algebraic Semantics of Service Component Modules. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lutz Schröder, Till Mossakowski Coalgebraic Modal Logic in CoCasl. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tom Mens, Ragnhild Van Der Straeten Incremental Resolution of Model Inconsistencies. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Uwe Wolter A (Co)Algebraic Analysis of Synchronization in CSP. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hans-Jörg Kreowski, Sabine Kuske Autonomous Units and Their Semantics - The Parallel Case. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlos Caleiro, Ricardo Gonçalves 0001 On the Algebraization of Many-Sorted Logics. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Andrea Corradini, Barbara König 0001, Alberto Lluch-Lafuente A Temporal Graph Logic for Verification of Graph Transformation Systems. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Klaus Lüttich, Till Mossakowski Reasoning Support for Caslwith Automated Theorem Proving Systems. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Till Mossakowski, Markus Roggenbach Structured CSP - A Process Algebra as an Institution. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Arnd Poetzsch-Heffter, Nicole Rauch Application and Formal Specification of Sorted Term-Position Algebras. Search on Bibsonomy WADT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christoph Lüth, Markus Roggenbach, Lutz Schröder CCC - The Casl Consistency Checker. Search on Bibsonomy WADT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Reiko Heckel, Sebastian Thöne Behavior-Preserving Refinement Relations between Dynamic Software Architectures. Search on Bibsonomy WADT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff Towards a Formal Specification of an Electronic Payment System in CSP-CASL. Search on Bibsonomy WADT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello Modelling Mobility with Petri Hypernets. Search on Bibsonomy WADT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Antónia Lopes, José Luiz Fiadeiro Algebraic Semantics of Design Abstractions for Context-Awareness. Search on Bibsonomy WADT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 228 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license