Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
AGILE: Software architecture for mobility
2002-01-01 Andrade, L. F.; Baldan, P.; Baumeister, H.; Bruni, Roberto; Corradini, Andrea; De Nicola, R.; Fiadeiro, J. L.; Gadducci, Fabio; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, UGO GIOVANNI ERASMO; Oliveira, C.; Pugliese, R.; Tarlecki, A.; Wermelinger, M.; Wirsing, M.; Zawlocki, A.
An algorithm for simulating human selective attention
2018-01-01 Broccia, Giovanna; Milazzo, Paolo; Ölveczky, Peter Csaba
Application of a new wearable augmented reality video see-through display to aid percutaneous procedures in spine surgery
2016-01-01 Cutolo, Fabrizio; Carbone, Marina; Parchi, PAOLO DOMENICO; Ferrari, Vincenzo; Lisanti, Michele; Ferrari, Mauro
Attributed probabilistic P systems and their application to the modelling of social interactions in primates
2015-01-01 Barbuti, Roberto; Bompadre, Alessandro; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
A behavioural congruence for web services
2007-01-01 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Bicriteria Data Compression: Efficient and Usable
2014-01-01 Farruggia, Andrea; Ferragina, Paolo; Venturini, Rossano
Characterizing Social Bots Spreading Financial Disinformation
2020-01-01 Tardelli, S; Avvenuti, M; Tesconi, M; Cresci, S
Compressed Cache-Oblivious String B-tree
2013-01-01 Ferragina, Paolo; Venturini, Rossano
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods
2014-01-01 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
Computing preimages and ancestors in reaction systems
2018-01-01 Barbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo
Constructing specific SOS semantics for concurrency via abstract interpretation
1998-01-01 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
Data-driven job dispatching in HPC systems
2018-01-01 Galleguillos, Cristian; Sirbu, Alina; Kiziltan, Zeynep; Babaoglu, Ozalp; Borghesi, Andrea; Bridi, Thomas
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers
2023-01-01 Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
An efficient verifier of truly concurrent properties
1995-01-01 Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado
Enhanced Operational Semantics in Systems Biology
2003-01-01 Degano, Pierpaolo; Priami, Corrado
Experimenting with a Context-Aware Language
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Extending soft arc consistency algorithms to non-invertible semirings
2010-01-01 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco
Feedbacks and oscillations in the virtual cell VICE
2006-01-01 D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
2019-01-01 ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
AGILE: Software architecture for mobility | 1-gen-2002 | Andrade, L. F.; Baldan, P.; Baumeister, H.; Bruni, Roberto; Corradini, Andrea; De Nicola, R.; Fiadeiro, J. L.; Gadducci, Fabio; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, UGO GIOVANNI ERASMO; Oliveira, C.; Pugliese, R.; Tarlecki, A.; Wermelinger, M.; Wirsing, M.; Zawlocki, A. | |
An algorithm for simulating human selective attention | 1-gen-2018 | Broccia, Giovanna; Milazzo, Paolo; Ölveczky, Peter Csaba | |
Application of a new wearable augmented reality video see-through display to aid percutaneous procedures in spine surgery | 1-gen-2016 | Cutolo, Fabrizio; Carbone, Marina; Parchi, PAOLO DOMENICO; Ferrari, Vincenzo; Lisanti, Michele; Ferrari, Mauro | |
Attributed probabilistic P systems and their application to the modelling of social interactions in primates | 1-gen-2015 | Barbuti, Roberto; Bompadre, Alessandro; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni | |
A behavioural congruence for web services | 1-gen-2007 | Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio | |
Bicriteria Data Compression: Efficient and Usable | 1-gen-2014 | Farruggia, Andrea; Ferragina, Paolo; Venturini, Rossano | |
Characterizing Social Bots Spreading Financial Disinformation | 1-gen-2020 | Tardelli, S; Avvenuti, M; Tesconi, M; Cresci, S | |
Compressed Cache-Oblivious String B-tree | 1-gen-2013 | Ferragina, Paolo; Venturini, Rossano | |
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods | 1-gen-2014 | Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni | |
Computing preimages and ancestors in reaction systems | 1-gen-2018 | Barbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo | |
Constructing specific SOS semantics for concurrency via abstract interpretation | 1-gen-1998 | Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado | |
Data-driven job dispatching in HPC systems | 1-gen-2018 | Galleguillos, Cristian; Sirbu, Alina; Kiziltan, Zeynep; Babaoglu, Ozalp; Borghesi, Andrea; Bridi, Thomas | |
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers | 1-gen-2023 | Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S. | |
An efficient verifier of truly concurrent properties | 1-gen-1995 | Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado | |
Enhanced Operational Semantics in Systems Biology | 1-gen-2003 | Degano, Pierpaolo; Priami, Corrado | |
Experimenting with a Context-Aware Language | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
Extending soft arc consistency algorithms to non-invertible semirings | 1-gen-2010 | Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco | |
Feedbacks and oscillations in the virtual cell VICE | 1-gen-2006 | D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto | |
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday | 1-gen-2019 | ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura |
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