default search action

combined dblp search
author search
venue search
publication search

ask others

20. WADT 2010: Etelsen, Germany

> Home > Conferences and Workshops > WADT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/2010
Till Mossakowski, Hans-Jörg Kreowski:
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Lecture Notes in Computer Science 7137, Springer 2012, ISBN 978-3-642-28411-3

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BauerHW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BauerHW10
Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Building a Modal Interface Theory for Concurrency and Data. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Ehrich10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Ehrich10
Hans-Dieter Ehrich:
My ADT Shrine. 13-24
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/KofronP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/KofronP10
Jan Kofron, Frantisek Plásil:
Evolving SOA in the Q-ImPrESS Project. 25-26

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BaldanB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BaldanB10
Paolo Baldan, Clara Bertolissi:
Sharing in the Graph Rewriting Calculus. 27-41
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BruniKLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BruniKLS10
Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo:
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. 42-60
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CastroM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CastroM10
Pablo F. Castro, T. S. E. Maibaum:
Towards a First-Order Deontic Action Logic. 61-75
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/ChoppyR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/ChoppyR10
Christine Choppy, Gianna Reggio:
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. 76-97
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Codescu10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Codescu10
Mihai Codescu:
Lambda Expressions in Casl Architectural Specifications. 98-117
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CodescuHKMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CodescuHKMR10
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding. 118-138
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CodescuHKMRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CodescuHKMRS10
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. 139-159
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CorradiniGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CorradiniGR10
Andrea Corradini, Fabio Gadducci, Leila Ribeiro:
An Institution for Graph Transformation. 160-174
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BourkeDLLLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BourkeDLLLNW10
Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. 175-192
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/KreowskiKT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/KreowskiKT10
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
Combining Graph Transformation and Algebraic Specification into Model Transformation. 193-208
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/MaldonadoMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/MaldonadoMR10
Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach:
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. 209-225
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Marczynski10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Marczynski10
Grzegorz Marczynski:
Algebraic Signatures Enriched by Dependency Structure. 226-250
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/OReillyMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/OReillyMR10
Liam O'Reilly, Till Mossakowski, Markus Roggenbach:
Compositional Modelling and Reasoning in an Institution for Processes and Data. 251-269
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/SeidelV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/SeidelV10
Daniel Seidel, Janis Voigtländer:
Proving Properties about Functions on Lists Involving Element Tests. 270-286
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Riesco10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Riesco10
Adrián Riesco:
Test-Case Generation for Maude Functional Modules. 287-301

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.