Oliver Rüthing

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mathematical Foundations of Advanced Informatics	2018-05-28	Paper
Sparse code motion Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
Foundations of higher computer science. Inductive approach eXamen.press	2013-11-15	Paper
Quality engineering: leveraging heterogeneous information (invited talk) Lecture Notes in Computer Science	2011-02-15	Paper
ViDoC - Visual Design of Optimizing Compilers Program Analysis and Compilation, Theory and Practice	2007-09-24	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2005-12-06	Paper
scientific article; zbMATH DE number 1692940 (Why is no real title available?)	2002-01-21	Paper
Code motion in the presence of critical edges without bidirectional data flow analysis Science of Computer Programming	2001-02-11	Paper
scientific article; zbMATH DE number 1487856 (Why is no real title available?)	2000-08-10	Paper
scientific article; zbMATH DE number 177796 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Oliver Rüthing