| Q62040001 | A Fresh Look at Precision in Process Conformance |
| Q62039975 | A High-Level Strategy for C-net Discovery |
| Q62039923 | A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms |
| Q62039956 | A Recommender System for Process Discovery |
| Q62039925 | A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models |
| Q56892275 | A Symbolic Algorithm for the Synthesis of Bounded Petri Nets |
| Q62039928 | A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments |
| Q56892791 | A structural encoding technique for the synthesis of asynchronous circuits |
| Q62039908 | Aligning textual and model-based process descriptions |
| Q62039964 | Amending C-net discovery algorithms |
| Q62039977 | An SMT-Based Discovery Algorithm for C-Nets |
| Q56891946 | Analytical Performance Modeling of Hierarchical Interconnect Fabrics |
| Q62039932 | Anti-alignments in Conformance Checking – The Dark Side of Process Models |
| Q56891911 | Brownian Circuits |
| Q62039916 | Communication Requirements for Team Automata |
| Q62039966 | Compatibility in a multi-component environment |
| Q62039934 | Conditions for Compatibility of Components |
| Q62039911 | Conformance Checking |
| Q57004894 | Conformance Checking in the Large: Partitioning and Topology |
| Q56892140 | Divide-and-Conquer Strategies for Process Mining |
| Q56892077 | Elastic Circuits |
| Q56892262 | Encoding Large Asynchronous Controllers With ILP Techniques |
| Q62039994 | Enhancing precision in Process Conformance: Stability, confidence and severity |
| Q56892304 | Formal methods for the analysis and synthesis of nanometer-scale cellular arrays |
| Q62039937 | Fraud Detection in Energy Consumption: A Supervised Approach |
| Q56892407 | From molecular interactions to gates: a systematic approach |
| Q56892088 | Genet: A Tool for the Synthesis and Mining of Petri Nets |
| Q57004941 | Hierarchical Conformance Checking of Process Models Based on Event Logs |
| Q62039950 | Incorporating Negative Information in Process Discovery |
| Q62039979 | Incremental Process Discovery |
| Q56891959 | Integrating formal verification in an online judge for e-Learning logic circuit design |
| Q56891756 | Log-Based Simplification of Process Models |
| Q62040015 | Logic Synthesis of Handshake Components Using Structural Clustering Techniques |
| Q57004828 | Measuring precision of modeled behavior |
| Q62039939 | Mining Conditional Partial Order Graphs from Event Logs |
| Q56892020 | New Region-Based Algorithms for Deriving Bounded Petri Nets |
| Q62039983 | Online Techniques for Dealing with Concept Drift in Process Mining |
| Q56891847 | Process Discovery Algorithms Using Numerical Abstract Domains |
| Q57005093 | Process Mining Manifesto |
| Q56892058 | Process Mining Meets Abstract Interpretation |
| Q62040006 | Process Mining from a Basis of State Regions |
| Q62039943 | Process Model Comparison Based on Cophenetic Distance |
| Q62039987 | Projection approaches to process mining using region-based techniques |
| Q62040009 | Rbminer: A Tool for Discovering Petri Nets from Transition Systems |
| Q62039972 | Region-Based Foldings in Process Discovery |
| Q56892201 | Scheduling Synchronous Elastic Designs |
| Q62039947 | Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data |
| Q57004854 | Single-Entry Single-Exit decomposed conformance checking |
| Q56892492 | State encoding of large asynchronous controllers |
| Q115208515 | Supporting the Process of Learning and Teaching Process Models |
| Q56892515 | Synthesis of asynchronous controllers using integer linear programming |
| Q62039919 | The Alignment of Formal, Structured and Unstructured Process Descriptions |
| Q62039990 | The Label Splitting Problem |
| Q62039953 | Unfolding-Based Process Discovery |