Author of the publication

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

Theorem Proving in Large Formal Mathematics as an Emerging AI Field., and . Automated Reasoning and Mathematics, volume 7788 of Lecture Notes in Computer Science, page 240-257. Springer, (2013)Automated Proof Compression by Invention of New Definitions., , and . LPAR (Dakar), volume 6355 of Lecture Notes in Computer Science, page 447-462. Springer, (2010)Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems., , , , , , , and . IEEE Trans Autom. Sci. Eng., 18 (1): 230-243 (2021)Infrastructure for spatiotemporal exploration of interregional and international interaction of epidemiological data (DEMO PAPER)., , , and . SIGSPATIAL/GIS, page 99:1-99:4. ACM, (2022)MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance., , , and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 441-456. Springer, (2008)Engineering Roles and Information Modeling for Industry 4.0 Production System Engineering., , , , , , and . ETFA, page 1669-1672. IEEE, (2019)Learning to Parse on Aligned Corpora (Rough Diamond)., , and . ITP, volume 9236 of Lecture Notes in Computer Science, page 227-233. Springer, (2015)System Description: Statistical Parsing of Informalized Mizar Formulas., , and . SYNASC, page 169-172. IEEE Computer Society, (2017)Solving Difficult Problems by Viewing them as Structured Dense Graphs., , and . IICAI, page 84-103. IICAI, (2007)PyMES: Distributed Manufacturing Execution System for Flexible Industry 4.0 Cyber-Physical Production Systems., , , and . SMC, page 235-241. IEEE, (2022)