Oliver Rüthing

From MaRDI portal
Person:1595247

Available identifiers

zbMath Open ruthing.oliverMaRDI QIDQ1595247

List of research outcomes





PublicationDate of PublicationType
Mathematical Foundations of Advanced Informatics2018-05-28Paper
Sparse code motion2015-03-17Paper
Foundations of higher computer science. Inductive approach2013-11-15Paper
Quality engineering: leveraging heterogeneous information (invited talk)2011-02-15Paper
ViDoC - Visual Design of Optimizing Compilers2007-09-24Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper
https://portal.mardi4nfdi.de/entity/Q27636732002-01-21Paper
Code motion in the presence of critical edges without bidirectional data flow analysis2001-02-11Paper
https://portal.mardi4nfdi.de/entity/Q44943812000-08-10Paper
https://portal.mardi4nfdi.de/entity/Q40386741993-05-18Paper

Research outcomes over time

This page was built for person: Oliver Rüthing

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