BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × France
1 × Germany
1 × Japan
1 × Poland
2 × Italy
2 × United Kingdom
3 × USA
Collaborated with:
A.S.Murawski R.Grigore C.L.Ong S.J.Ramsay D.Distefano R.L.Petersen
Talks about:
game (6) semant (5) automata (4) regist (4) refer (4) general (3) nomin (3) full (3) algorithm (2) abstract (2)

Person: Nikos Tzevelekos

DBLP DBLP: Tzevelekos:Nikos

Contributed to:

LICS 20152015
FoSSaCS 20142014
POPL 20142014
FOSSACS 20132013
TACAS 20132013
ICALP (2) 20122012
ESOP 20112011
LICS 20112011
POPL 20112011
FOSSACS 20102010
FOSSACS 20092009
LICS 20092009
LICS 20072007

Wrote 14 papers:

LICS-2015-MurawskiRT #automaton #similarity
Bisimilarity in Fresh-Register Automata (ASM, SJR, NT), pp. 156–167.
FoSSaCS-2014-MurawskiT #exception #game studies #semantics
Game Semantics for Nominal Exceptions (ASM, NT), pp. 164–179.
POPL-2014-MurawskiT #game studies #interface #java #semantics
Game semantics for interface middleweight Java (ASM, NT), pp. 517–528.
FoSSaCS-2013-MurawskiT #game studies #semantics
Deconstructing General References via Game Semantics (ASM, NT), pp. 241–256.
FoSSaCS-2013-TzevelekosG #automaton
History-Register Automata (NT, RG), pp. 17–33.
TACAS-2013-GrigoreDPT #automaton #runtime #verification
Runtime Verification Based on Register Automata (RG, DD, RLP, NT), pp. 260–276.
ICALP-v2-2012-MurawskiT #algorithm #game studies
Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.
ESOP-2011-MurawskiT #algorithm #game studies #semantics
Algorithmic Nominal Game Semantics (ASM, NT), pp. 419–438.
LICS-2011-MurawskiT #game studies #semantics
Game Semantics for Good General References (ASM, NT), pp. 75–84.
POPL-2011-Tzevelekos #automaton
Fresh-register automata (NT), pp. 295–306.
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience (ASM, NT), pp. 33–47.
FoSSaCS-2009-MurawskiT #abstraction #ml
Full Abstraction for Reduced ML (ASM, NT), pp. 32–47.
LICS-2009-OngT #functional #reachability
Functional Reachability (CHLO, NT), pp. 286–295.
LICS-2007-Tzevelekos #abstraction
Full abstraction for nominal general references (NT), pp. 399–410.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.