Sfoglia per Autore
Characteristic Formulae for Relations with Nested Fixed Points
2012-01-01 Aceto, L; Ingólfsdóttir, A
On the specification of modal systems: A comparison of three frameworks
2013-01-01 Aceto, L; Fábregas, I; de Frutos-Escrig, D; Ingólfsdóttir, A; Palomino, M
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders
2013-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
2013-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
2013-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
Compositional Reasoning for Multi-modal Logics
2013-01-01 Aceto, L; Ingólfsdóttir, A; Prisacariu, C; Sack, J
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
2013-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Meta SOS - A Maude Based SOS Meta-Theory Framework
2013-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011
2013-01-01 Aceto, L; Henzinger, M; Sgall, J
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012
2013-01-01 Aceto, L; Birkedal, L
Axiomatizing weak simulation semantics over BCCSP
2014-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
SOS rule formats for idempotent terms and idempotent unary operators
2014-01-01 Aceto, L; Ingólfsdóttir, A; Goriac, E
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
2014-01-01 Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders
2014-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco,
Decision Support for Mobile Cloud Computing Applications via Model Checking
2015-01-01 Aceto, L; Morichetta, A; Tiezzi,
When Are Prime Formulae Characteristic?
2015-01-01 Aceto, L; Della Monica, D; Fábregas, I; Ingólfsdóttir, A
A ground-complete axiomatization of stateless bisimilarity over Linda
2015-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A
On Verifying Hennessy-Milner Logic with Recursion at Runtime
2015-01-01 Francalanza, A; Aceto, L; Ingólfsdóttir, A
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2015-01-01 Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F
26th International Conference on Concurrency Theory (CONCUR 2015)
2015-01-01 Aceto, L; de Frutos-Escrig, D
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile