Redesigning business processes: a methodology based on simulation and process mining techniques
Knowledge and Information Systems
Petri-net integration - An approach to support multi-agent process mining
Expert Systems with Applications: An International Journal
Toward objective software process information: experiences from a case study
Software Quality Control
Hi-index | 0.00 |
The MathLang project aims at computerizing mathematical texts according to various degrees of formalisations, and without any prior commitment to a particular logical framework (e.g., having to choose either set theory or category theory or type theory, ...