WADT 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (45)

B Thierry Boy de La TourBoy de La Tour, Thierry CNRS and University Grenoble AlpesFrance Session Chair of WADT Session 2 (part of WADT) Categories of Algebraic Rewrite Rules
C Lorenzo CeragioliCeragioli, Lorenzo IMT School for Advanced StudiesItaly Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers
Radu Ioan CiobanuCiobanu, Radu Ioan National University of Science and Technology Politehnica BucharestRomania Practical Source Code Weaving for Distributed Workflow Abstractions
Mihai CodescuCodescu, Mihai Romania Committee Member in Programme Committee for WADT 2024
Andrea CorradiniCorradini, Andrea University of PisaItaly Committee Member in Programme Committee for WADT 2024 Committee Member in Steering Committee for WADT 2024
D Ciprian DobreDobre, Ciprian National University of Science and Technology Politehnica BucharestRomania Practical Source Code Weaving for Distributed Workflow Abstractions
F José FiadeiroFiadeiro, José University of DundeeUnited Kingdom Committee Member in Steering Committee for WADT 2024
Alfredo R. FreireFreire, Alfredo R. University of Brası́liaBrazil Formal Specification with Many-Logics Modal Logic
G Fabio GadducciGadducci, Fabio University of PisaItaly Committee Member in Programme Committee for WADT 2024
Asterios GkantzounisGkantzounis, Asterios National Technical University of AthensGreece Topological Inquiry in Abstract Model Theory
H Rolf HennickerHennicker, Rolf Ludwig Maximilians University MunichGermany Committee Member in Programme Committee for WADT 2024 Committee Member in Steering Committee for WADT 2024
J Sebastiaan JoostenJoosten, Sebastiaan University of Minnesota Twin CitiesUnited States Separating Code and Semantics for Maintainability
K Alex KavvosKavvos, Alex University of BristolUnited Kingdom Committee Member in Programme Committee for WADT 2024
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, Linz Session Chair of MeSS Keynote Session (part of STAF Keynotes)
Alexander KnappKnapp, Alexander University of AugsburgGermany Committee Member in Programme Committee for WADT 2024 Committee Member in Steering Committee for WADT 2024
Jens KosiolKosiol, Jens Universität KasselGermany Session Chair of ICGT Keynote Session (part of STAF Keynotes) Session Chair of ICGT Keynote Session (part of STAF Keynotes)
Hans-Jörg KreowskiKreowski, Hans-Jörg University of BremenGermany Committee Member in Steering Committee for WADT 2024
Harald KönigKönig, Harald FHDW University of Applied SciencesGermany Bialgebraic Representation of Controlled Coordination of Interacting System Components
L Leen LambersLambers, Leen Brandenburgische Technische Universität Cottbus-SenftenbergGermany Committee Member in Programme Committee for WADT 2024
Giuseppe LomurnoLomurno, Giuseppe University of PisaItaly Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers
M Alexandre MadeiraMadeira, Alexandre University of AveiroPortugal Committee Member in Programme Committee for WADT 2024 Session Chair of WADT Session 1 (part of WADT)
Alexandre MadeiraMadeira, Alexandre University of AveiroPortugal On the Algebra of Reactive Graphs
Alexandre MadeiraMadeira, Alexandre University of AveiroPortugal Formal Specification with Many-Logics Modal Logic
Manuel A. MartinsMartins, Manuel A. University of AveiroPortugal Committee Member in Programme Committee for WADT 2024 On the Algebra of Reactive Graphs Formal Specification with Many-Logics Modal Logic
Narciso Martí-OlietMartí-Oliet, Narciso Universidad Complutense de MadridSpain Committee Member in Programme Committee for WADT 2024
Dominique MeryMery, Dominique Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, FranceFrance Committee Member in Programme Committee for WADT 2024
Till MossakowskiMossakowski, Till Otto-von-Guericke University MagdeburgGermany Committee Member in Programme Committee for WADT 2024 Committee Member in Steering Committee for WADT 2024
N Renato NevesNeves, Renato University of Minho & INESC TECPortugal Committee Member in Programme Committee for WADT 2024
O Fernando OrejasOrejas, Fernando Universitat Politècnica de CatalunyaSpain Committee Member in Programme Committee for WADT 2024 Committee Member in Steering Committee for WADT 2024
P Silviu-George PantelimonPantelimon, Silviu-George National University of Science and Technology Politehnica BucharestRomania Practical Source Code Weaving for Distributed Workflow Abstractions
Stefaneas PetrosPetros, Stefaneas National Technical University of AthensGreece Topological Inquiry in Abstract Model Theory
José ProençaProença, José CISTER & Faculty of Sciences, University of PortoPortugal On the Algebra of Reactive Graphs
R Florian RabeRabe, Florian FAU Erlangen-NürnbergGermany Committee Member in Programme Committee for WADT 2024
Rodrigo RayaRaya, Rodrigo Max-Planck Institute for Software SystemsGermany The Algebraic Structure of Parametric Array Theories
Leila RibeiroRibeiro, Leila Universidade Federal do Rio Grande do Sul (UFRGS)Brazil Committee Member in Steering Committee for WADT 2024
Adrian RiescoRiesco, Adrian Universidad Complutense de MadridSpain Committee Member in Programme Committee for WADT 2024
Markus RoggenbachRoggenbach, Markus Swansea University, SwanseaUnited Kingdom Committee Member in Programme Committee for WADT 2024 Committee Member in Steering Committee for WADT 2024
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Steering Committee for WADT 2024
S Pierre Yves SchobbensSchobbens, Pierre Yves University of NamurBelgium Committee Member in Programme Committee for WADT 2024
T Gabriele TedeschiTedeschi, Gabriele University of PisaItaly Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers
David TinocoTinoco, David University of AveiroPortugal On the Algebra of Reactive Graphs
Ionut TutuTutu, Ionut Simion Stoilow Institute of Mathematics of the Romanian AcademyRomania Chair in Programme Committee for WADT 2024
V Tom van Dijkvan Dijk, Tom University of TwenteNetherlands Local Chair in Programme Committee for WADT 2024 Session Chair of WADT Keynote Session 1 (part of STAF Keynotes)
W Uwe WolterWolter, Uwe University of BergenNorway Committee Member in Programme Committee for WADT 2024 Session Chair of WADT Keynote Session 2 (part of STAF Keynotes) Bialgebraic Representation of Controlled Coordination of Interacting System Components
Ö Peter ÖlveczkyÖlveczky, Peter University of OsloNorway Committee Member in Programme Committee for WADT 2024

WADT 2024 Contributors

Results (45)

Tracks

STAF 2024