Jochen Eisinger

From MaRDI portal
Person:1028729

Available identifiers

zbMath Open eisinger.jochenMaRDI QIDQ1028729

List of research outcomes





PublicationDate of PublicationType
Don't care words with an application to the automata-based approach for real addition2009-07-06Paper
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)2008-11-20Paper
Mechanizing the Powerset Construction for Restricted Classes of ω-Automata2008-07-03Paper
Don’t Care Words with an Application to the Automata-Based Approach for Real Addition2007-09-05Paper

Research outcomes over time

This page was built for person: Jochen Eisinger

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1028729&oldid=5849154"
Powered by MediaWiki