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 × Austria
1 × Cyprus
1 × Czech Republic
1 × Denmark
1 × Finland
1 × Germany
1 × Portugal
1 × Spain
2 × Italy
2 × USA
Collaborated with:
F.Mogavero S.L.Torre A.Bianco M.Faella A.Ferrante M.Benerecetti L.Sauro B.Aminof O.Kupferman D.Carotenuto A.Peron M.Napoli P.Cermák A.Lomuscio P.A.Bonatti C.Lutz M.Y.Vardi N.Fijalkow B.Maubert S.Rubin
Talks about:
logic (6) strategi (3) automata (3) model (3) tree (3) time (3) game (3) quantifi (2) calculi (2) tempor (2)

Person: Aniello Murano

DBLP DBLP: Murano:Aniello

Contributed to:

CAV 20142014
LICS 20132013
CSL 20102010
QAPL 20102010
VMCAI 20102010
DLT 20092009
LICS 20092009
DLT 20072007
FoSSaCS 20072007
ICALP (2) 20062006
LICS 20022002
VMCAI 20022002
CSL 20182018

Wrote 15 papers:

CAV-2014-CermakLMM #logic #model checking #named #specification #verification
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (PC, AL, FM, AM), pp. 525–532.
LICS-2013-BenerecettiMM #logic
Substructure Temporal Logic (MB, FM, AM), pp. 368–377.
LICS-2013-MogaveroMS #behaviour #bound #on the
On the Boundary of Behavioral Strategies (FM, AM, LS), pp. 263–272.
CSL-2010-BiancoMM #logic
Graded Computation Tree Logic with Binary Coding (AB, FM, AM), pp. 125–139.
QAPL-2010-BiancoFMM #game studies
Quantitative Fairness Games (AB, MF, FM, AM), pp. 48–63.
VMCAI-2010-AminofKM #model checking
Improved Model Checking of Hierarchical Systems (BA, OK, AM), pp. 61–77.
DLT-2009-MogaveroM #logic #quantifier
Branching-Time Temporal Logics with Minimal Model Quantifiers (FM, AM), pp. 396–409.
LICS-2009-BiancoMM #logic
Graded Computation Tree Logic (AB, FM, AM), pp. 342–351.
DLT-2007-CarotenutoMP #automaton
2-Visibly Pushdown Automata (DC, AM, AP), pp. 132–144.
FoSSaCS-2007-FerranteM #calculus #μ-calculus
Enriched μ-Calculi Module Checking (AF, AM), pp. 183–197.
ICALP-v2-2006-BonattiLMV #calculus #complexity #μ-calculus
The Complexity of Enriched μ-Calculi (PAB, CL, AM, MYV), pp. 540–551.
LICS-2002-FaellaTM #game studies #realtime
Dense Real-Time Games (MF, SLT, AM), pp. 167–176.
VMCAI-2002-FaellaTM #game studies
Automata-Theoretic Decision of Timed Games (MF, SLT, AM), pp. 94–108.
VMCAI-2002-TorreMN #automaton
Weak Muller Acceptance Conditions for Tree Automata (SLT, AM, MN), pp. 240–254.
CSL-2018-FijalkowMMR #bound #logic
Quantifying Bounds in Strategy Logic (NF, BM, AM, SR), p. 23.

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.