From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “phase mapping” 84

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

14

citations
Correct and Sustainable Development Using Model-based Engineering and Formal Methods
2022 IEEE/AIAA Digital Avionics Systems Conference (DASC) conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

6

citations
Pruning Federated Models Through Loss Landscape Analysis and Client Agreement Scoring
2026 IEEE Internet of Things Journal article Computer Science Privacy-Preserving Technologies in Data Open access

Christian Internò, Elena Raponi, Markus Olhofer, Thomas Bäck, Yaochu Jin, Barbara Hammer

2

citations
ZEUS: Numerical methods to detect quasi-particles describing excitable media
2025 Chaos An Interdisciplinary Journal of Nonlinear Science article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Aaron Gobeyn, Desmond Kabus, Elena G. Tolkacheva, Hans Dierckx

1

citations
Sharing experimental data and facilities in EPOS: Updates on services for the analogue modelling community in the TCS Multi-scale Laboratories
2021 conference-abstract Computer Science Research Data Management Practices Open access

Ernst Willingshofer, Francesca Funiciello, Matthias Rosenau, Guido Schreurs, Frank Zwaan, Susanne Buiter, +9 more

1

citations
Moodle2EventLog: A Tool for Pedagogically-Driven Log Enrichment and Analysis
2025 International Conference on Computer Supported Education conference-paper Computer Science Online Learning and Analytics Open access

Noura Joudieh, Wil M. P. van der Aalst, Ronan Champagnat, Mourad Rabah, Samuel Nowakowski

1

citations
Hierarchy of Rényi Coherent Information in Stabilizer Codes
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Akash Vijay, Luis Colmenárez, Jong Yeon Lee

0

citations
Generalized LIMDDs: Succinctness and Canonicity for Decision Diagrams Modulo a Group
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Arend-Jan Quist, Alexis de Colnet, Thomas Reps, Alfons Laarman

0

citations
pytroll/satpy: Version 0.60.0 (2026/03/04)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Martin Raspaud, David Hoese, Gerrit Holl, Simon Proud, Stephan Finkensieper, Andrea Meraner, +21 more

0

citations