Torben Amtoft

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
Correctly slicing extended finite state machines From Lambda Calculus to Cybersecurity Through Program Analysis	2020-07-20	Paper
An alternative characterization of weak order dependence Information Processing Letters	2017-11-03	Paper
A logic for information flow in object-oriented programs Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-08-21	Paper
A theory of slicing for probabilistic control flow graphs Lecture Notes in Computer Science	2016-06-10	Paper
A certificate infrastructure for machine-checked proofs of conditional information flow Lecture Notes in Computer Science	2012-06-29	Paper
Precise and automated contract-based reasoning for verification and certification of information flow properties of programs with arrays Programming Languages and Systems	2010-05-04	Paper
Slicing for modern program structures: a theory for eliminating irrelevant loops Information Processing Letters	2010-04-19	Paper
Flow-sensitive type systems and the ambient calculus Higher-Order and Symbolic Computation	2009-07-13	Paper
A logic for information flow analysis with an application to forward slicing of simple imperative programs Science of Computer Programming	2007-01-22	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-09-13	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 2163048 (Why is no real title available?)	2005-04-29	Paper
scientific article; zbMATH DE number 1953284 (Why is no real title available?)	2003-07-27	Paper
Orderly communication in the ambient calculus. Computer Languages, Systems & Structures	2003-05-04	Paper
scientific article; zbMATH DE number 1692941 (Why is no real title available?)	2002-01-21	Paper
scientific article; zbMATH DE number 1538021 (Why is no real title available?)	2001-02-05	Paper
Behavior analysis for validating communication patterns International Journal on Software Tools for Technology Transfer. STTT	1998-01-01	Paper
Type and behaviour reconstruction for higher-order concurrent programs Journal of Functional Programming	1997-09-29	Paper
Partial memoization for obtaining linear time behavior of a 2DPDA Theoretical Computer Science	1992-09-27	Paper

Research outcomes over time

This page was built for person: Torben Amtoft