Chris Hankin

Available identifiers

zbMath Open hankin.chris-lWikidataQ88088892 ScholiaQ88088892MaRDI QIDQ488869

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4994701	2021-06-21	Paper
Game Theory and Industrial Control Systems	2016-03-23	Paper
Fast multi-scale detection of overlapping communities using local criteria	2015-01-26	Paper
On Probabilistic Techniques for Data Flow Analysis	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2851703	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2849843	2013-09-20	Paper
Payoffs, Intensionality and Abstraction in Games	2013-05-28	Paper
Probabilistic Confinement in a Declarative Framework	2013-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4912863	2013-03-27	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
A framework for security analysis of mobile wireless networks	2007-01-09	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Reversible combinatory logic	2006-08-28	Paper
Coordination Models and Languages	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5714284	2005-12-29	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/Q4671219	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4414728	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4411968	2003-07-13	Paper
Information flow for Algol-like languages	2003-05-04	Paper
Program analysis tools	2003-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q2722050	2001-07-11	Paper
Fixed points and frontiers: a new perspective	2000-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4255591	1999-08-18	Paper
Coordination languages for parallel programming	1999-01-12	Paper
Refining multiset transformers	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4870820	1996-03-26	Paper
Erratum to: Approximate fixed points in abstrat interpretation	1995-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4843179	1995-08-10	Paper
Approximate fixed points in abstract interpretation	1995-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4281609	1994-03-10	Paper
An operational semantics for paragon: A design notation for parallel architectures	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3495633	1990-01-01	Paper
A safe approach to parallel combinator reduction	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026317	1987-01-01	Paper
Strictness analysis for higher-order functions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713568	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3729991	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795183	1984-01-01	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: Chris Hankin