Herbert Wiklicky

zbMath Openwiklicky.herbertMaRDI QIDQ557886

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
Probabilistic data flow analysis: a linear equational approach	2021-06-09	Paper
Unfolding for CHR programs	2017-11-09	Paper
Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression	2016-03-23	Paper
Probabilistic analysis of programs: a weak limit approach	2016-01-07	Paper
Semantics of probabilistic programs: a weak limit approach	2015-01-12	Paper
Relational Analysis and Precision via Probabilistic Abstract Interpretation	2014-05-13	Paper
Semantic abstraction and quantum computation	2014-01-17	Paper
On probabilistic techniques for data flow analysis	2014-01-17	Paper
Operator algebras and the operational semantics of probabilistic languages	2013-12-04	Paper
On reversible combinatory logic	2013-10-02	Paper
\(\lambda\)-calculus and quantitative program analysis (extended abstract)	2013-09-20	Paper
Linear Structures for Concurrency in Probabilistic Programming Languages	2013-06-06	Paper
Probabilistic confinement in a declarative framework	2013-05-24	Paper
Probabilistic semantics and program analysis	2010-07-06	Paper
Quantitative relations and approximate process equivalences.	2010-03-30	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
A Systematic Approach to Probabilistic Pointer Analysis	2008-05-15	Paper
Abstract Interpretation for Worst and Average Case Analysis	2007-09-24	Paper
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages	2007-09-11	Paper
Tempus fugit: How to plug it	2007-08-10	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Reversible combinatory logic	2006-08-28	Paper
Logic Programming	2006-06-27	Paper
Coordination Models and Languages	2006-01-10	Paper
Quantitative static analysis of distributed systems	2005-10-11	Paper
Probabilistic  -calculus and Quantitative Program Analysis	2005-07-13	Paper
Measuring the confinement of probabilistic systems	2005-06-30	Paper
scientific article; zbMATH DE number 2090713 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 1973222 (Why is no real title available?)	2003-09-01	Paper
scientific article; zbMATH DE number 1948404 (Why is no real title available?)	2003-07-13	Paper
scientific article; zbMATH DE number 1444329 (Why is no real title available?)	2001-01-21	Paper
scientific article; zbMATH DE number 1420826 (Why is no real title available?)	2000-12-05	Paper
Transitivity and ergodicity of quantum systems.	2000-02-02	Paper
scientific article; zbMATH DE number 1189115 (Why is no real title available?)	1998-10-08	Paper

Research outcomes over time

This page was built for person: Herbert Wiklicky