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
https://portal.mardi4nfdi.de/entity/Q2863887	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2851703	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2849843	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
CONCUR 2003 - Concurrency Theory	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Herbert Wiklicky