| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König 0001 |
Stochastic Decision Petri Nets.  |
CoRR  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Machowczyk, Reiko Heckel |
Graph Rewriting for Graph Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König 0001 |
Stochastic Decision Petri Nets. |
Petri Nets |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Issam Al-Azzoni, Reiko Heckel |
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. |
ASEW |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Machowczyk, Reiko Heckel |
Graph Rewriting for Graph Neural Networks. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Feixiang Zhou, Xinyu Yang, Fang Chen, Long Chen 0019, Zheheng Jiang, Hui Zhu, Reiko Heckel, Haikuan Wang, Minrui Fei, Huiyu Zhou 0001 |
Cross-Skeleton Interaction Graph Aggregation Network for Representation Learning of Mouse Social Behaviour. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Christopher M. Poskitt (eds.) |
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul |
Visual Smart Contracts for DAML. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Andrea Corradini 0001, Fabio Gadducci |
Graph Rewriting Components. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel |
Stochastic Graph Transformation For Social Network Modeling. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Baraa Zieni, Reiko Heckel |
TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement. |
RE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Baraa Zieni, Dayana Spagnuelo, Reiko Heckel |
Transparency by Default: GDPR Patterns for Agile Development. |
EGOVIS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König 0001 |
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel |
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Maryam Ghaffari Saadat, Reiko Heckel |
Encoding Incremental NACs in Safe Graph Grammars using Complementation. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Gabriele Taentzer |
Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering |
|
2020 |
DOI RDF |
|
| 1 | Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König 0001 |
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. |
FSTTCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas |
Unfolding Symbolic Attributed Graph Grammars. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat |
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer |
Inferring Visual Contracts from Java Programs. |
SE/SWM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bello Shehu Bello, Isa Inuwa-Dutse, Reiko Heckel |
Social Media Campaign Strategies: Analysis of the 2019 Nigerian Elections. |
SNAMS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bello Shehu Bello, Reiko Heckel |
Analyzing the Behaviour of Twitter Bots in Post Brexit Politics. |
SNAMS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Maryam Ghaffari Saadat, Reiko Heckel |
Unfolding Graph Grammars with Negative Application Conditions. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer |
Inferring visual contracts from Java programs. |
Autom. Softw. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König 0001 |
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Reiko Heckel, Gabriele Taentzer (eds.) |
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig |
Graph Transformation, Specifications, and Nets |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah Alqahtani 0001, Reiko Heckel |
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars. |
STAF Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bello Shehu Bello, Reiko Heckel, Leandro L. Minku |
Reverse Engineering the Behaviour of Twitter Bots. |
SNAMS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König 0001 |
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Alexander Kurz 0001, Edmund Chattoe-Brown |
Features of Agent-based Models. |
GaM@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwan Radwan, Reiko Heckel |
Prediction of the domain name system (DNS) quality attributes. |
SAC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel |
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. |
ICMT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Andrea Corradini 0001, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg |
Hartmut Ehrig (1944-2016). |
Bull. EATCS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer |
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. |
ASE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Machado, Leila Ribeiro 0001, Reiko Heckel |
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwan Radwan, Reiko Heckel |
Detecting and Refactoring Operational Smells within the Domain Name System. |
GaM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah M. Alshanqiti, Reiko Heckel |
Extracting Visual Contracts from Java Programs (T). |
ASE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Machado, Leila Ribeiro 0001, Reiko Heckel |
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini |
Domain-specific discrete event modelling and simulation using graph transformation. |
Softw. Syst. Model. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel |
Combining termination proofs in model transformation systems. |
Math. Struct. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah M. Alshanqiti, Reiko Heckel |
Towards Dynamic Reverse Engineering Visual Contracts from Java. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski 0001 |
Modelling Adaptive Networks: The Case of the Petrified Voters. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Reiko Heckel |
Canonical Derivations with Negative Application Conditions. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Reiko Heckel, Pawel Sobocinski 0001 |
Transformation and Refinement of Rigid Structures. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Runge, Tamim Ahmed Khan, Reiko Heckel |
Test Case Generation Using Visual Contracts. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah M. Alshanqiti, Reiko Heckel, Tamim Ahmed Khan |
Learning Minimal and Maximal Rules from Observations of Graph Transformations. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Stefan Milius (eds.) |
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Bapodra, Reiko Heckel |
Abstraction and Training of Stochastic Graph Transformation Systems. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamim Ahmed Khan, Olga Runge, Reiko Heckel |
Visual Contracts as Test Oracle in AGG 2.0. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Niaz Arijo, Reiko Heckel |
View-based Modelling and State-Space Generation for Graph Transformation Systems. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
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 | Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel |
Towards refactoring of rule-based, in-place model transformation systems. |
AMT@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel |
DPO Transformation with Open Maps. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann 0001 |
Parallelism and Concurrency of Stochastic Graph Transformations. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamim Ahmed Khan, Olga Runge, Reiko Heckel |
Testing against Visual Contracts: Model-Based Coverage. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore |
Modular performance modelling for mobile applications (abstracts only). |
SIGMETRICS Perform. Evaluation Rev. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adwoa Donyina, Reiko Heckel |
Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado |
Towards Test Coverage Criteria for Visual Contracts. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adwoa Donyina, Reiko Heckel |
Flexible Behaviour of Human Actors in Distributed Workflows. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fawad Qayum, Reiko Heckel |
Search-Based Refactoring using Unfolding of Graph Transformation Systems. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró |
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos M. P. Matos, Reiko Heckel |
Legacy Transformations for Extracting Service Components. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (eds.) |
2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). |
SpringSim (TMS-DEVS) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore |
Modular performance modelling for mobile applications. |
ICPE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajab Khan, Reiko Heckel |
Evaluating Super Node Selection and Load Balancing in P2P VoIP Networks Using Stochastic Graph Transformation. |
ICETE (Selected Papers) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajab Khan, Reiko Heckel |
Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation. |
DCNET/OPTICS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Naeem 0002, Reiko Heckel |
Towards matching of service feature models based on linear logic. |
SPLC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamim Ahmed Khan, Reiko Heckel |
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann |
Stochastic Graph Transformation with Regions. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Bapodra, Reiko Heckel |
From Graph Transformations to Differential Equations. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Paolo Torrini |
Stochastic Modelling and Simulation of Mobile Systems. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth |
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. |
ASMTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel |
Combining Termination Criteria by Isolating Deletion. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini |
Graph Transformation for Domain-Specific Discrete Event Time Simulation. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torrini, Reiko Heckel, István Ráth |
Stochastic Simulation of Graph Transformation Systems. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Naeem 0002, Reiko Heckel, Fernando Orejas, Frank Hermann 0001 |
Incremental Service Composition Based on Partial Matching of Visual Contracts. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, Reiko Heckel |
Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Machado, Reiko Heckel, Leila Ribeiro 0001 |
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torrini, Reiko Heckel |
Resource-Bound Quantification for Graph Transformation |
LINEARITY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torrini, Reiko Heckel |
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic |
ICE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristóbal Costa Soria, Reiko Heckel |
Modelling the Asynchronous Dynamic Evolution of Architectural Types. |
SOAR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Naeem 0002, Reiko Heckel, Fernando Orejas |
Semi-automated service composition using visual contracts. |
FIT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fawad Qayum, Reiko Heckel |
Analysing refactoring dependencies using unfolding of graph transformation systems. |
FIT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, Reiko Heckel, José Meseguer 0001 |
Rewriting Logic Semantics and Verification of Model Transformations. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude |
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositionality of Model Transformations. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos M. P. Matos, Reiko Heckel |
Migrating Legacy Systems to Service-Oriented Architectures. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajab Khan, Paolo Torrini, Reiko Heckel |
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Verification of Architectural Refactorings: Rule Extraction and Tool Support. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Ermel, Juan de Lara, Reiko Heckel |
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Reiko Heckel, Barbara König 0001 |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Reiko Heckel, Barbara König 0001 |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. |
Log. Methods Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luís Andrade 0001 |
Architectural Transformations: From Legacy to Three-Tier and Services. |
Software Evolution |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001, Arend Rensink, Reiko Heckel (eds.) |
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007 |
GT-VC@CONCUR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositional Verification of Architectural Refactorings. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation |
| 1 | Reiko Heckel |
Tutorial Introduction to Graph Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (eds.) |
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Verification of Architectural Refactorings by Rule Extraction. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation |
| 1 | Marlon Dumas, Reiko Heckel (eds.) |
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Alexey Cherchago |
Structural and behavioural compatibility of graphical service specifications. |
J. Log. Algebraic Methods Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001, Arend Rensink, Reiko Heckel |
Preface. |
GT-VC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license