Herbert Wiklicky

Available identifiers

zbMath Open wiklicky.herbertMaRDI QIDQ557886

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4992513	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
https://portal.mardi4nfdi.de/entity/Q4813208	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4421876	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411968	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4953364	2001-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4944894	2000-12-05	Paper
Transitivity and ergodicity of quantum systems.	2000-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q3838827	1998-10-08	Paper

Research outcomes over time

This page was built for person: Herbert Wiklicky