UB Paderborn / Katalog / Suche / in CDI

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Acta informatica, 2016-04, Vol.53 (3), p.207-246

2016

Volltextzugriff (PDF)

A decision procedure for propositional projection temporal logic with infinite models

Acta informatica, 2008-02, Vol.45 (1), p.43-78

2008

Volltextzugriff (PDF)

On weighted first-order logics with discounting

Acta informatica, 2014-03, Vol.51 (2), p.61-106

2014

Volltextzugriff (PDF)

Instruction sequence processing operators

Acta informatica, 2012-05, Vol.49 (3), p.139-172

2012

Volltextzugriff (PDF)

First-order logics: some characterizations and closure properties

Acta informatica, 2012-06, Vol.49 (4), p.225-248

2012

Volltextzugriff (PDF)

Head and state hierarchies for unary multi-head finite automata

Acta informatica, 2014-11, Vol.51 (8), p.553-569

2014

Volltextzugriff (PDF)

Stochastic game logic

Acta informatica, 2012-06, Vol.49 (4), p.203-224

2012

Volltextzugriff (PDF)

A distributed resource allocation algorithm for many processes

Acta informatica, 2013-09, Vol.50 (5-6), p.297-329

Hesselink, Wim H.

2013

Volltextzugriff (PDF)

Recursive Petri nets : Theory and application to discrete event systems

Acta informatica, 2007-12, Vol.44 (7-8), p.463-508

2007

Volltextzugriff (PDF)

Judgmental subtyping systems with intersection types and modal types

Acta informatica, 2013-12, Vol.50 (7-8), p.359-380

2013

Volltextzugriff (PDF)

On the hierarchy of distribution-sensitive properties for data structures

Acta informatica, 2013-06, Vol.50 (4), p.289-295

2013

Volltextzugriff (PDF)

Nonatomic dual bakery algorithm with bounded tokens

Acta informatica, 2011-04, Vol.48 (2), p.67-96

2011

Volltextzugriff (PDF)

On regular temporal logics with past

Acta informatica, 2010-06, Vol.47 (4), p.251-277

2010

Volltextzugriff (PDF)

On timed alternating simulation for concurrent timed games

Acta informatica, 2012-06, Vol.49 (4), p.249-279

2012

Volltextzugriff (PDF)

On decidability of LTL model checking for process rewrite systems

Acta informatica, 2009-02, Vol.46 (1), p.1-28

2009

Volltextzugriff (PDF)

On the observational theory of the CPS-calculus

Acta informatica, 2010-03, Vol.47 (2), p.111-132

Merro, Massimo

2010

Volltextzugriff (PDF)

The Boolean closure of linear context-free languages

Acta informatica, 2008-05, Vol.45 (3), p.177-191

2008

Volltextzugriff (PDF)

A word on 7 letters which is non-repetitive up to mod 5

Acta informatica, 2003-06, Vol.39 (6-7), p.451-468

2003

Volltextzugriff (PDF)

Words, univalent factors, and boxes

Acta informatica, 2002-04, Vol.38 (6), p.409-436

2002

Volltextzugriff (PDF)

Checking interval properties of computations

Acta informatica, 2016-10, Vol.53 (6-8), p.587-619

2016

Volltextzugriff (PDF)

A general account of coinduction up-to

Acta informatica, 2017-03, Vol.54 (2), p.127-190

2017

Volltextzugriff (PDF)

Verification of population protocols

Acta informatica, 2017-03, Vol.54 (2), p.191-215

2017

Volltextzugriff (PDF)

Reachability analysis of linear systems

Acta informatica, 2024-09, Vol.61 (3), p.231-260

2024

Volltextzugriff (PDF)

Reversible sessions with flexible choices

Acta informatica, 2019-11, Vol.56 (7-8), p.553-583

2019

Volltextzugriff (PDF)

Strategy synthesis for multi-dimensional quantitative objectives

Acta informatica, 2014-06, Vol.51 (3-4), p.129-163

2014

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

A decision procedure for propositional projection temporal logic with infinite models

On weighted first-order logics with discounting

Instruction sequence processing operators

First-order logics: some characterizations and closure properties

Head and state hierarchies for unary multi-head finite automata

Stochastic game logic

A distributed resource allocation algorithm for many processes

Recursive Petri nets : Theory and application to discrete event systems

Judgmental subtyping systems with intersection types and modal types

On the hierarchy of distribution-sensitive properties for data structures

Nonatomic dual bakery algorithm with bounded tokens

On regular temporal logics with past

On timed alternating simulation for concurrent timed games

On decidability of LTL model checking for process rewrite systems

On the observational theory of the CPS-calculus

The Boolean closure of linear context-free languages

A word on 7 letters which is non-repetitive up to mod 5

Words, univalent factors, and boxes

Checking interval properties of computations

A general account of coinduction up-to

Verification of population protocols

Reachability analysis of linear systems

Reversible sessions with flexible choices

Strategy synthesis for multi-dimensional quantitative objectives

Aktive Filter

Suchergebnisse filtern