Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023
2023-01-01 Etessami, Kousha; Feige, Uriel; Puppis, Gabriele
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024
2024-01-01 Bringmann, Karl; Grohe, Martin; Puppis, Gabriele; Svensson, Ola
Closure hyperdoctrines
2021-01-01 Castelnovo, D.; Miculan, M.
Complexity of qualitative timeline-based planning
2020-01-01 Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A.
Dynamic data structures for timed automata acceptance
2021-01-01 Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C.
The ∆-framework
2018-01-01 Honsell, F.; Liquori, L.; Stolze, C.; Scagnetto, I.
Fuzzy Algebraic Theories
2022-01-01 Castelnovo, D.; Miculan, M.
A game-theoretic approach to timeline-based planning with uncertainty
2018-01-01 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark
Innocent game semantics via intersection type assignment systems
2013-01-01 DI GIANANTONIO, Pietro; Lenisa, Marina
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa
2023-01-01 Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A.
The many facets of string transducers
2019-01-01 Muscholl, A.; Puppis, G.
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
2015-01-01 Molinari, Alberto; Montanari, Angelo; Adriano, Peron
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification
2022-01-01 Pagliarini, G.; Scaboro, S.; Serra, G.; Sciavicco, G.; Stan, I. E.
On a temporal logic of prefixes and infixes
2020-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
On Cascades of Reset Automata
2025-01-01 Borelli, R.; Geatti, L.; Montali, M.; Montanari, A.
On Quantitative Algebraic Higher-Order Theories
2022-01-01 Lago, U. D.; Honsell, F.; Lenisa, M.; Pistone, P.
On the decomposition of finite-valued streaming string transducers
2017-01-01 Gallot, P.; Muscholl, A.; Puppis, G.; Salvati, S.
Past matters: Supporting LTL+past in the BLACK satisfiability Checker
2021-01-01 Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G.
Principal Types as Lambda Nets
2022-01-01 DI GIANANTONIO, Pietro; Lenisa, Marina
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2021-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 | 1-gen-2023 | Etessami, Kousha; Feige, Uriel; Puppis, Gabriele | |
| 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 | 1-gen-2024 | Bringmann, Karl; Grohe, Martin; Puppis, Gabriele; Svensson, Ola | |
| Closure hyperdoctrines | 1-gen-2021 | Castelnovo, D.; Miculan, M. | |
| Complexity of qualitative timeline-based planning | 1-gen-2020 | Della Monica, D.; Gigante, N.; la Torre, S.; Montanari, A. | |
| Dynamic data structures for timed automata acceptance | 1-gen-2021 | Grez, A.; Mazowiecki, F.; Pilipczuk, M.; Puppis, G.; Riveros, C. | |
| The ∆-framework | 1-gen-2018 | Honsell, F.; Liquori, L.; Stolze, C.; Scagnetto, I. | |
| Fuzzy Algebraic Theories | 1-gen-2022 | Castelnovo, D.; Miculan, M. | |
| A game-theoretic approach to timeline-based planning with uncertainty | 1-gen-2018 | Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark | |
| Innocent game semantics via intersection type assignment systems | 1-gen-2013 | DI GIANANTONIO, Pietro; Lenisa, Marina | |
| LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa | 1-gen-2023 | Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A. | |
| The many facets of string transducers | 1-gen-2019 | Muscholl, A.; Puppis, G. | |
| A Model Checking Procedure for Interval Temporal Logics based on Track Representatives | 1-gen-2015 | Molinari, Alberto; Montanari, Angelo; Adriano, Peron | |
| Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification | 1-gen-2022 | Pagliarini, G.; Scaboro, S.; Serra, G.; Sciavicco, G.; Stan, I. E. | |
| On a temporal logic of prefixes and infixes | 1-gen-2020 | Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P. | |
| On Cascades of Reset Automata | 1-gen-2025 | Borelli, R.; Geatti, L.; Montali, M.; Montanari, A. | |
| On Quantitative Algebraic Higher-Order Theories | 1-gen-2022 | Lago, U. D.; Honsell, F.; Lenisa, M.; Pistone, P. | |
| On the decomposition of finite-valued streaming string transducers | 1-gen-2017 | Gallot, P.; Muscholl, A.; Puppis, G.; Salvati, S. | |
| Past matters: Supporting LTL+past in the BLACK satisfiability Checker | 1-gen-2021 | Geatti, L.; Gigante, N.; Montanari, A.; Venturato, G. | |
| Principal Types as Lambda Nets | 1-gen-2022 | DI GIANANTONIO, Pietro; Lenisa, Marina | |
| Pspace-completeness of the temporal logic of sub-intervals and suffixes | 1-gen-2021 | Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P. |
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