Habermehl, Peter
- Ordered Navigation on Multi-attributed Data Words
2014/04/24 by Normann Decker, Decker, Normann, Peter Habermehl +5 · 1 citation
Computer Science · #F.1.1 #F.4.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services
- Data-driven Verification of Procedural Programs with Integer Arrays
2025/05/21 by Ahmed Bouajjani, Wael-Amine Boutglay, Bouajjani, Ahmed +3 · 1 citation
Computer Science · #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Data Classification #Programming Languages (cs.PL)
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
2024/03/27 by Peter Habermehl, Habermehl, Peter, Vojtěch Havlena +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Numerical Methods and Algorithms #Polynomial and algebraic computation