Author of the publication

Synthesis of asynchronous controllers using integer linear programming.

, , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (9): 1637-1651 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Jutge.org: Characteristics and Experiences., , , , , , , , , and 2 other author(s). IEEE Trans. Learn. Technol., 11 (3): 321-333 (2018)Improving Process Model Precision by Loop Unrolling., , , and . SIMPDA, volume 1757 of CEUR Workshop Proceedings, page 89-99. CEUR-WS.org, (2016)Flexible Process Model Mapping using Relaxation Labeling., , and . Fundam. Informaticae, 175 (1-4): 123-141 (2020)Preface., , and . Fundam. Informaticae, (2022)Anti-Alignments - Measuring The Precision of Process Models and Event Logs., , and . CoRR, (2019)The Model Judge - A Tool for Supporting Novices in Learning Process Modeling., , , and . BPM (Dissertation/Demos/Industry), volume 2196 of CEUR Workshop Proceedings, page 91-95. CEUR-WS.org, (2018)Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality., , , and . CAiSE, volume 10253 of Lecture Notes in Computer Science, page 94-109. Springer, (2017)Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models., , , and . OTM Conferences, volume 8841 of Lecture Notes in Computer Science, page 3-20. Springer, (2014)Alignment-based Quality Metrics in Conformance Checking (Summary)., , and . EMISA, volume 1701 of CEUR Workshop Proceedings, page 87-90. CEUR-WS.org, (2016)Improving the Extraction of Process Annotations from Text with Inter-sentence Analysis., , and . ICPM Workshops, volume 406 of Lecture Notes in Business Information Processing, page 149-161. Springer, (2020)