Antonis Achilleos - Wissenschaftliche Veröffentlichungen

(1 - 7 von 7

)

dblp: Antonis Achilleos

dblp.uni-trier.de

List of computer science publications by Antonis Achilleos

Search results for "Antonis Achilleos" – FacetedDBLP

dblp.l3s.uni-hannover.de

Found 9 publication records. Showing 9 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Antonis Achilleos: On the

dblp: Michael Lampis

dblp.uni-trier.de

List of computer science publications by Michael Lampis

Antonis Achilleos - dblp

dblp.org

Antonis Achilleos : Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications. EUMAS 2014:

dblp: Valia Mitsou

dblp.uni-trier.de

List of computer science publications by Valia Mitsou

Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen: Adventures in monitorability: from branching to linear time and back again. PACMPL 3(POPL): 52:1-52:29 (2019) Petri Nets, CCS, and Nested Units. Entry points: Hubert Garavel: Nested-unit Petri nets. J. Log. Algebr. Meth. Program. 104: (2019) Dirk Taubner: Representing CCS …

dblp: Anna Ingólfsdóttir

dblp.org

List of computer science publications by Anna Ingólfsdóttir

Verwandte Suchanfragen zu Antonis Achilleos

Whoopie Pies

Personen
Vorname "Antonis" (268)
Name "Achilleos" (12)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Antonis Achilleos

dblp: Antonis Achilleos

Search results for "Antonis Achilleos" – FacetedDBLP

dblp: Michael Lampis

Antonis Achilleos - dblp

dblp: Valia Mitsou

Main Page

dblp: Anna Ingólfsdóttir