Nico Nachtigall und Reiko Heckel - Info zur Person

(1 - 17 von 17

)

LNCS Recent Trends in Algebraic IFIP

ifip.hal.science

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall, Statistical Model Checking for Composite Actor Systems › IFIP-LNCS...

Search results for "WADT" – FacetedDBLP

dblp.l3s.de

1, Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall · Transformation Systems with Incremental Negative Application ...

dblp: Reiko Heckel

dblp.dagstuhl.de

List of computer science publications by Reiko Heckel

Claudia Ermel - Google Scholar Citations

scholar.google.lu

... Orejas,; Nico Nachtigall,; Reiko Heckel,; Arend Rensink,; Sonja Maier,; Albert Zündorf,; Falk Hüffner,; Rolf Niedermeier,; Barbara König,; Frank Hermann ...

Frank Hermann - Citações do Google Acadêmico

scholar.google.com.br

... Andrea Corradini,; Yingfei Xiong,; Krzysztof Czarnecki,; Susann Gottmann,; Barbara König,; Benjamin Braatz,; Nico Nachtigall,; Reiko Heckel,; Tobias Heindel, ...

Claudia Ermel - Citações do Google Acadêmico

scholar.google.com.br

... Sonja Schimmler,; Fernando Orejas,; Albert Zündorf,; Susann Gottmann,; Rolf Niedermeier,; Nico Nachtigall,; Barbara König,; Reiko Heckel,; Ehrig Hartmut ...

Proceedings of the 12th International Workshop on Graph …

www.bing.com

Webwith Reiko Heckel, Frank Hermann, Susann Gottmann and Nico Nachtigall. Es-sentially, we show that if the NACs are sufﬁciently simple (incremental) then the concurrent …

LNCS Recent Trends in Algebraic DUMAS

dumas.ccsd.cnrs.fr

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall, Statistical Model Checking for Composite Actor Systems › IFIP-L...

Claudia Ermel - Citações do Google Académico

scholar.google.com.br

... Ribeiro,; Fernando Orejas,; Nico Nachtigall,; Reiko Heckel,; Arend Rensink,; Sonja Maier,; Albert Zündorf,; Falk Hüffner,; Rolf Niedermeier,; Barbara König ...

Frank Hermann - ציטוטים ביבליוגרפיים של Google Scholar

scholar.google.co.il

... Susann Gottmann,; Andrea Corradini,; Yingfei Xiong,; Krzysztof Czarnecki,; Barbara König,; Nico Nachtigall,; Benjamin Braatz,; Reiko Heckel,; Tobias Heindel, ...

References - cgi .cse. unsw. edu.a u

cgi.cse.unsw.edu.au

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann & Nico Nachtigall (2012): Transformation systems with incremental negative application ... › ~eptcs

Invited Talk: On the Concurrent Semantics of Transformation Systems...

www.semanticscholar.org

The talk will summarize some recent results which are the outcome of joint works with Reiko Heckel, Frank Hermann, Susann Gottmann and Nico Nachtigall. Es- sentially, we show that if the NACs are sufficiently simple (incremental) then the concurrent semantics lifts smoothly to systems with NACs, but the general case re-.