Sfoglia per Serie OPEN ACCESS SERIES IN INFORMATICS
Mostrati risultati da 1 a 9 di 9
A Fast Heuristic Algorithm for the Train Unit Assignment Problem
2012 V. Cacchiani; A. Caprara; P. Toth
Abstract Interpretation, Symbolic Execution and Constraints
2020 Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey
A Formal Analysis of the Bitcoin Protocol
2020 Adele Veschetti, Cosimo Laneve
Joint Post-proceedings of the First and Second International Conference on Microservices (Microservices 2017/2019)
2020 Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Preface of the volume for the 19th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2019)
2019 Cacchiani V.; Marchetti-Spaccamela A.
A proposal for a two-way journey on validating locations in unstructured and structured data
2019 Keles I.; Qawasmeh O.; Tietz T.; Marinucci L.; Reda R.; van Erp M.
RUST-Encoded Stream Ciphers on a RISC-V Parallel Ultra-Low-Power Processor
2023 Barchi F.; Pasini G.; Parisi E.; Tagliavini G.; Bartolini A.; Acquaviva A.
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service
2020 Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation
2020 Simone Martini
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Fast Heuristic Algorithm for the Train Unit Assignment Problem | V. Cacchiani; A. Caprara; P. Toth | 2012-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 4.01 Contributo in Atti di convegno | - |
| Abstract Interpretation, Symbolic Execution and Constraints | Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | OASIcs-Gabbrielli-7.pdf |
| A Formal Analysis of the Bitcoin Protocol |
Adele Veschetti, Cosimo Laneve |
2020-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum fur Informatik | 4.01 Contributo in Atti di convegno | laneve-veschetti.pdf |
| Joint Post-proceedings of the First and Second International Conference on Microservices (Microservices 2017/2019) |
Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher..., Sabine Sachweh |
2020-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 3.02 Curatela | oasics-vol078-microservices2017-2019-complete.pdf |
| Preface of the volume for the 19th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2019) | Cacchiani V.; Marchetti-Spaccamela A. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 2.02 Prefazione | OASIcs-ATMOS-2019-0.pdf |
| A proposal for a two-way journey on validating locations in unstructured and structured data | Keles I.; Qawasmeh O.; Tietz T.; Marinucci L.; Reda R.; van Erp M. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| RUST-Encoded Stream Ciphers on a RISC-V Parallel Ultra-Low-Power Processor | Barchi F.; Pasini G.; Parisi E.; Tagliavini G.; Bartolini A.; Acquaviva A. | 2023-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service |
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro |
2020-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik | 4.01 Contributo in Atti di convegno | dip2020.pdf |
| The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation | Simone Martini | 2020-01-01 | - | Schloss Dagstuhl-Leibniz-Zentrum für Informatik | 4.01 Contributo in Atti di convegno | 2020-OASIcs-Gabbrielli-8.pdf |
Mostrati risultati da 1 a 9 di 9
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