Carsten Otto

From MaRDI portal
Person:2362490

Available identifiers

zbMath Open otto.carstenMaRDI QIDQ2362490

List of research outcomes





PublicationDate of PublicationType
Analyzing program termination and complexity automatically with \textsf{AProVE}2017-07-10Paper
Proving Termination of Programs Automatically with AProVE2014-09-26Paper
Automated termination analysis of Java bytecode by term rewriting2012-04-25Paper
Modular termination proofs of recursive Java bytecode programs by term rewriting2012-04-24Paper
Termination graphs for Java bytecode2010-11-22Paper
Search Techniques for Rational Polynomial Orders2009-01-27Paper

Research outcomes over time

This page was built for person: Carsten Otto

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