Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

22. WADT 2014: Sinaia, Romania

> 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/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/2014
Mihai Codescu, Razvan Diaconescu, Ionut Tutu:
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9463, Springer 2015, ISBN 978-3-319-28113-1

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BenzmullerP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BenzmullerP14
Christoph Benzmüller, Bruno Woltzenlogel Paleo:
On Logic Embeddings and Gödel's God. 3-6

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/ChiritaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/ChiritaS14
Claudia Elena Chirita, Traian-Florin Serbanuta:
An Institutional Foundation for the K Semantic Framework. 9-29
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CiobacaLRR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CiobacaLRR14
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Theoretical Foundation for Programming Languages Aggregation. 30-47
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/FortinBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/FortinBR14
Marie Fortin, Marcello M. Bonsangue, Jan Rutten:
Coalgebraic Semantics of Heavy-Weighted Automata. 48-68
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Gaina14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Gaina14
Daniel Gâinâ:
Foundations of Logic Programming in Hybridised Logics. 69-89
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/MossakowskiKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/MossakowskiKM14
Till Mossakowski, Ulf Krumnack, Tom Maibaum:
What Is a Derived Signature Morphism? 90-109
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/OliveiraRCDNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/OliveiraRCDNR14
Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes, Filipe Reis:
Use Case Analysis Based on Formal Methods: An Empirical Study. 110-130
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/VissaniPTF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/VissaniPTF14
Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro:
A Full Operational Semantics for Asynchronous Relational Networks. 131-150
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/YuW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/YuW14
Ning Yu, Martin Wirsing:
A SOC-Based Formal Specification and Verification of Hybrid Systems. 151-169

a service of

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.