ICGT 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (77)

A Mohammad AbdulazizAbdulaziz, Mohammad Technische Universität MünchenGermany Formal Mathematics: Matching Algorithms as a Case Study
B Paolo BaldanBaldan, Paolo University of PadovaItaly A Monoidal View on Fixpoint Checks
Richard BanachBanach, Richard University of ManchesterUnited Kingdom Formalisation, Abstraction and Refinement of Bond Graphs
John BaughBaugh, John North Carolina State UniversityUnited States Formalisation, Abstraction and Refinement of Bond Graphs
Nicolas BehrBehr, Nicolas CNRS, Université Paris Cité, IRIFFrance Session Chair of ICGT Session 3: Theory (part of ICGT Research Papers) A living monograph for graph transformation Committee Member in Program Committee within the ICGT Research Papers-track Compositionality of Rewriting Rules with Conditions
Paolo BottoniBottoni, Paolo Sapienza University of RomeItaly Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track
C Graham CampbellCampbell, Graham Fast Rule-Based Graph Programs
Andrea CorradiniCorradini, Andrea Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
Brian CourtehouteCourtehoute, Brian Fast Rule-Based Graph Programs
D Juan de Larade Lara, Juan Autonomous University of MadridSpain Committee Member in Program Committee within the ICGT Research Papers-track
Dominique DuvalDuval, Dominique Université Grenoble AlpesFrance A Rule-Based Procedure for Graph Query Solving
E Rachid EchahedEchahed, Rachid University of Grenoble - CNRSFrance Session Chair of ICGT Session 8: Tools & Applications (part of ICGT Research Papers) A Rule-Based Procedure for Graph Query Solving Committee Member in Program Committee within the ICGT Research Papers-track
Richard EggertEggert, Richard University of Duisburg-EssenGermany A Monoidal View on Fixpoint Checks
Jörg EndrullisEndrullis, Jörg Vrije Universiteit AmsterdamNetherlands Termination of Graph Transformation Systems using Weighted Subgraph Counting Fuzzy Presheaves are Quasitoposes
Gregor EngelsEngels, Gregor Paderborn UniversityGermany Steering Committee Member in Steering Committee for ICGT 2023
F Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom ICGT Conference Opening ICGT Conference Closing PC Chair in Program Committee within the ICGT Research Papers-track PC Chair in Journal-First Committee within the ICGT Journal-First-track Session Chair of STAF Keynote / ICGT Session 1 (part of STAF Keynotes)
Lars FritscheFritsche, Lars TU Darmstadt, Germany Advanced Consistency Restoration with Higher-Order Short-Cut Rules
G Fabio GadducciGadducci, Fabio University of Pisa Specification and Verification of a Linear-time Temporal Logic for Graph Transformation
Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom Syntactic trinitarianism: terms, graphs, diagrams
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
Sandra GreinerGreiner, Sandra University of Bern, SwitzerlandSwitzerland Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
H Russ HarmerHarmer, Russ CNRSFrance Session Chair of ICGT Session 4: Graph Transformation Properties (part of ICGT Research Papers) A living monograph for graph transformation Committee Member in Program Committee within the ICGT Research Papers-track
Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom Steering Committee Chair in Steering Committee for ICGT 2023 ICGT Conference Closing Graph Rewriting for Graph Neural Networks Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track
J Dirk JanssensJanssens, Dirk University of Antwerp, Belgium Steering Committee Member in Steering Committee for ICGT 2023
K Wolfram KahlKahl, Wolfram McMaster UniversityCanada Committee Member in Program Committee within the ICGT Research Papers-track
Jens KosiolKosiol, Jens Universität KasselGermany Finding the Right Way to Rome: Effect-oriented Graph Transformation Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Hans-Jörg KreowskiKreowski, Hans-Jörg University of Bremen Steering Committee Member in Steering Committee for ICGT 2023 Moving a Derivation Along a Derivation Preserves the Spine
Jean KrivineKrivine, Jean CNRSFrance Compositionality of Rewriting Rules with Conditions
Tim KräuterKräuter, Tim Western Norway University of Applied SciencesNorway Formalization and analysis of BPMN using graph transformation systems
Sabine KuskeKuske, Sabine University of BremenGermany Moving a Derivation Along a Derivation Preserves the Spine
Barbara KönigKönig, Barbara University of Duisburg-Essen Steering Committee Member in Steering Committee for ICGT 2023 A Monoidal View on Fixpoint Checks Committee Member in Program Committee within the ICGT Research Papers-track
Harald KönigKönig, Harald University of Applied Sciences, FHDW Hannover and Western Norway University of Applied SciencesGermany Formalization and analysis of BPMN using graph transformation systems
L Leen LambersLambers, Leen BTU Cottbus SenftenbergGermany Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
Yngve LamoLamo, Yngve Western Norway University of Applied SciencesNorway Formalization and analysis of BPMN using graph transformation systems Committee Member in Program Committee within the ICGT Research Papers-track
Andrea LarettoLaretto, Andrea Tallinn University of TechnologyEstonia Specification and Verification of a Linear-time Temporal Logic for Graph Transformation
Kim LarsenLarsen, Kim Aalborg UniversityDenmark Symbolic, Statistical and Randomized Engines in UPPAAL
Aaron LyeLye, Aaron University of BremenGermany Moving a Derivation Along a Derivation Preserves the Spine
M Adam MachowczykMachowczyk, Adam University of LeicesterUnited Kingdom Graph Rewriting for Graph Neural Networks
Timo MattMatt, Timo University Duisburg-EssenGermany A Monoidal View on Fixpoint Checks
Ugo MontanariMontanari, Ugo University of Pisa Steering Committee Member in Steering Committee for ICGT 2023
Mohamed MosbahMosbah, Mohamed University of Bordeaux Steering Committee Member in Steering Committee for ICGT 2023
Adrian MöllerMöller, Adrian TU Darmstadt, Germany Advanced Consistency Restoration with Higher-Order Short-Cut Rules
N Manfred NaglNagl, Manfred RWTH Aachen UniversityGermany Steering Committee Member in Steering Committee for ICGT 2023
O Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track
Roy OverbeekOverbeek, Roy Vrije Universiteit AmsterdamNetherlands Termination of Graph Transformation Systems using Weighted Subgraph Counting Fuzzy Presheaves are Quasitoposes
P Tommaso PadoanPadoan, Tommaso University of Padova A Monoidal View on Fixpoint Checks
Francesco Parisi-PresicceParisi-Presicce, Francesco Sapienza University of RomeItaly Steering Committee Member in Steering Committee for ICGT 2023
John PfaltzPfaltz, John University of VirginiaUnited States Steering Committee Member in Steering Committee for ICGT 2023
Detlef PlumpPlump, Detlef University of YorkUnited Kingdom Steering Committee Member in Steering Committee for ICGT 2023 Session Chair of ICGT Session 5: Blue Skies & Journal-First (part of ICGT Research Papers) Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem Committee Member in Program Committee within the ICGT Research Papers-track Fast Rule-Based Graph Programs
Chris PoskittPoskitt, Chris Singapore Management UniversitySingapore Session Chair of ICGT Session 7: Keynote & Journal-First (part of ICGT Research Papers) ICGT Conference Opening ICGT Conference Closing PC Chair in Program Committee within the ICGT Research Papers-track PC Chair in Journal-First Committee within the ICGT Journal-First-track
Frederic ProstProst, Frederic Université Grenoble AlpesFrance A Rule-Based Procedure for Graph Query Solving
R Jannik RauRau, Jannik Ulm UniversityGermany Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands Steering Committee Member in Steering Committee for ICGT 2023 Session Chair of ICGT Session 2: Specification and Verification (part of ICGT Research Papers) Committee Member in Program Committee within the ICGT Research Papers-track Committee Member in Journal-First Committee within the ICGT Journal-First-track
Leila RibeiroRibeiro, Leila Universidade Federal do Rio Grande do Sul (UFRGS)Brazil Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
David RicherbyRicherby, David University of EssexUnited Kingdom Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Aloïs RossetRosset, Aloïs Vrije Universiteit AmsterdamNetherlands Fuzzy Presheaves are Quasitoposes
Grzegorz RozenbergRozenberg, Grzegorz University of Leiden Steering Committee Member in Steering Committee for ICGT 2023
Adrian RutleRutle, Adrian Western Norway University of Applied Sciences Formalization and analysis of BPMN using graph transformation systems
S Jin SanoSano, Jin Waseda UniversityJapan Implementing the λGT Language: A Functional Language with Graphs as First-Class Data
Ansgar ScherpScherp, Ansgar Ulm UniversityGermany Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Andy SchürrSchürr, Andy TU Darmstadt, GermanyGermany Steering Committee Member in Steering Committee for ICGT 2023 Advanced Consistency Restoration with Higher-Order Short-Cut Rules Committee Member in Program Committee within the ICGT Research Papers-track
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Session Chair of STAF Keynote / TAP Session 1 (part of STAF Keynotes)
Pawel SobocinskiSobocinski, Pawel Tallinn University of Technology Committee Member in Program Committee within the ICGT Research Papers-track
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Finding the Right Way to Rome: Effect-oriented Graph Transformation
Robert SöldnerSöldner, Robert University of YorkUnited Kingdom Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
T Gabriele TaentzerTaentzer, Gabriele Philipps-Universität MarburgGermany Steering Committee Member in Steering Committee for ICGT 2023 Finding the Right Way to Rome: Effect-oriented Graph Transformation Committee Member in Program Committee within the ICGT Research Papers-track
Y.C. TayTay, Y.C. National University of SingaporeSingapore Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Davide TrottaTrotta, Davide University of PisaItaly Specification and Verification of a Linear-time Temporal Logic for Graph Transformation
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Session Chair of ICGT Session 6: Applications (part of ICGT Research Papers) Implementing the λGT Language: A Functional Language with Graphs as First-Class Data Committee Member in Program Committee within the ICGT Research Papers-track
Mattias UlbrichUlbrich, Mattias KITGermany KeY: A Verification Platform For Java
W Jens WeberWeber, Jens University of Victoria Steering Committee Member in Steering Committee for ICGT 2023 Committee Member in Program Committee within the ICGT Research Papers-track
Bernhard WestfechtelWestfechtel, Bernhard University of Bayreuth Steering Committee Member in Steering Committee for ICGT 2023 Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Aljoscha WindhorstWindhorst, Aljoscha University of BremenGermany Moving a Derivation Along a Derivation Preserves the Spine
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark How I lost my faith (in language technology research)? There and back again.
X Li XiaXia, Li National University of SingaporeSingapore Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Y Kaiyuan YangYang, Kaiyuan University of ZurichSwitzerland Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Z Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Finding the Right Way to Rome: Effect-oriented Graph Transformation Session Chair of STAF Keynote / ECMFA Session 5 (part of STAF Keynotes)

ICGT 2023 Contributors

Results (77)

Tracks

STAF 2023