Completing the Node-Averaged Complexity Landscape of LCLs on Trees
2024-01-01 Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis; Schmid, Gustav
Brief Announcement: Local Advice and Local Decompression
2024-01-01 Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Nowicki, Krzysztof; Olivetti, Dennis; Rotenberg, Eva; Suomela, Jukka
Advanced Virgo status
2020-01-01 Acernese, F.; Adams, T.; Agathos, M.; Agatsuma, K.; Aiello, L.; Allocca, A.; Arnaud, N.; Ascenzi, S.; Astone, P.; Bacon, P.; Bader, M. K. M.; Baldaccini, F.; Ballardin, G.; Barone, F.; Barsuglia, M.; Barta, D.; Basti, A.; Bavigadda, V.; Bazzan, M.; Bejger, M.; Bersanetti, D.; Bertolini, A.; Bitossi, M.; Bizouard, M. A.; Bloemen, S.; Boer, M.; Bogaert, G.; Bondu, F.; Bonnand, R.; Boom, B. A.; Boschi, V.; Bouffanais, Y.; Bozzi, A.; Bradaschia, C.; Branchesi, M.; Briant, T.; Brillet, A.; Brisson, V.; Bulik, T.; Bulten, H. J.; Buskulic, D.; Buy, C.; Cagnoli, G.; Calloni, E.; Capocasa, E.; Carbognani, F.; Casanueva Diaz, J.; Casentini, C.; Cavalier, F.; Cavalieri, R.; Cella, G.; Cerboni Baiardi, L.; Cerretani, G.; Cesarini, E.; Chassande-Mottin, E.; Chincarini, A.; Chiummo, A.; Chua, S.; Cleva, F.; Coccia, E.; Cohadon, P. -F.; Colla, A.; Conte, A.; Conti, L.; Cortese, S.; Coulon, J. -P.; Cuoco, E.; D(')Antonio, S.; Dattilo, V.; Davier, M.; Day, R.; Debreczeni, G.; Degallaix, J.; De Laurentis, M.; Del('e)glise, S.; De Rosa, R.; Di Fiore, L.; Di Giovanni, M.; Di Girolamo, T.; Di Lieto, A.; Di Pace, S.; Di Virgilio, A.; Dolique, V.; Ducrot, M.; Fafone, V.; Farinon, S.; Ferrante, I.; Ferrini, F.; Fidecaro, F.; Fiori, I.; Fiorucci, D.; Flaminio, R.; Fournier, J. -D.; Frasca, S.; Frasconi, F.; Frey, V.; Gammaitoni, L.; Garufi, F.; Gemme, G.; Genin, E.; Gennai, A.; Germain, V.; Ghosh, S.; Giazotto, A.; Gonzalez Castro, J. M.; Gosselin, M.; Gouaty, R.; Grado, A.; Granata, M.; Greco, G.; Groot, P.; Guidi, G. M.; Harms, J.; Heidmann, A.; Heitmann, H.; Hello, P.; Hemming, G.; Hoak, D.; Hofman, D.; Huet, D.; Isac, J. -M.; Jacqmin, T.; Jaranowski, P.; Jonker, R. J. G.; Kasprzack, M.; K('e)f('e)lian, F.; Khan, I.; Koley, S.; Kowalska, I.; Kr('o)lak, A.; Kutynia, A.; Lazzaro, C.; Leaci, P.; Lebigot, E. O.; Leonardi, M.; Leroy, N.; Letendre, N.; Lorenzini, M.; Loriette, V.; Losurdo, G.; Majorana, E.; Maksimovic, I.; Malvezzi, V.; Man, N.; Mantovani, M.; Marchesoni, F.; Marion, F.; Martelli, F.; Martellini, L.; Masserot, A.; Mastrogiovanni, S.; Meacher, D.; Meidam, J.; Merzougui, M.; Metzdorff, R.; Mezzani, F.; Michel, C.; Milano, L.; Miller, A.; Minenkov, Y.; Moggi, A.; Mohan, M.; Montani, M.; Mours, B.; Nardecchia, I.; Naticchioni, L.; Nelemans, G.; Neri, M.; Nissanke, S.; Nocera, F.; Palomba, C.; Paoletti, F.; Paoli, A.; Pasqualetti, A.; Passaquieti, R.; Passuello, D.; Patricelli, B.; Pedurand, R.; Piccinni, O. J.; Pichot, M.; Piergiovanni, F.; Pillant, G.; Pinard, L.; Poggiani, R.; Popolizio, P.; Prijatelj, M.; Prodi, G. A.; Punturo, M.; Puppo, P.; Rapagnani, P.; Razzano, M.; Re, V.; Regimbau, T.; Rei, L.; Ricci, F.; Robinet, F.; Rocchi, A.; Rolland, L.; Romano, R.; Rosinska, D.; Ruggi, P.; Salconi, L.; Sassolas, B.; Sentenac, D.; Sequino, V.; Setyawati, Y.; Siellez, K.; Sieniawska, M.; Singhal, A.; Sorrentino, F.; Straniero, N.; Stratta, G.; Swinkels, B. L.; Tacca, M.; Tiwari, S.; Tonelli, M.; Travasso, F.; Tringali, M. C.; Trozzo, L.; Turconi, M.; Van Bakel, N.; Van Beuzekom, M.; Van Den Brand, J. F. J.; Van Den Broeck, C.; Van Der Schaaf, L.; Van Heijningen, J. V.; Vardaro, M.; Vas('u)th, M.; Vedovato, G.; Verkindt, D.; Vetrano, F.; Vicer('e), A.; Vinet, J. -Y.; Vocca, H.; Wang, G.; Was, M.; Wei, L. -W.; Yvert, M.; Zadro Zny, A.; Zangrando, L.; Zendri, J. -P.
A customizable approach to assess software quality through Multi-Criteria Decision Making
2023-01-01 Basciani, Francesco; Di Pompeo, Daniele; Di Rocco, Juri; Pierantonio, Alfonso
On the Node-Averaged Complexity of Locally Checkable Problems on Trees
2023-01-01 Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis; Schmid, Gustav
The Front-end and DAQ system of the Terzina instrument onboard the NUSES space mission
2024-01-01 Pessoa Lima Junior, H.
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes
2024-01-01 Heeney, Michael; Androutsopoulos, Kelly; Raimondi, Franco
Dynamic Provisioning of REST APIs for Model Management
2024-01-01 Tuyishime, Adiel; Basciani, Francesco; Cánovas Izquierdo, Javier Luis; Iovino, Ludovico
Description and Performance of the COSINUS remoTES Design
2024-01-01 Zema, V.; Shera, K.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P. R.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zhu, Y.
A Vibration Decoupling System for TES Operation in the COSINUS Dry Dilution Refrigerator
2024-01-01 Kellermann, M.; Angloher, G.; Bharadawj, M. R.; Cababie, M.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M. J.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y.
COSINUS:TES-instrumented NaI Crystals for Direct Dark Matter Search
2024-01-01 Stahlberg, M.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Fuss, A.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Shera, K.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y.
Improving Fairness in Information Exposure by Adding Links
2023-01-01 Becker, Ruben; D'Angelo, Gianlorenzo; Ghobadi, Sajjad
Waste Management Through Digital Twins and Business Process Modeling
2024-01-01 Di Salle, Amleto; Fedeli, Arianna; Iovino, Ludovico; Mariani, Leonardo; Micucci, Daniela; Rebelo, Luciana; Rossi, Maria Teresa
Marine Data Observability using KPIS: An MDSE Approach
2023-01-01 Lima, Keila; Iovino, Ludovico; Rossi, Maria Teresa; Heldal, Rogardt; Oyetoyan, Tosin Daniel; De Sanctis, Martina
Keeping clients' models up-to-date with Edelta
2024-01-01 Bettini, Lorenzo; Di Ruscio, Davide; Di Salle, Amleto; Iovino, Ludovico; Pierantonio, Alfonso
Process Algebras and Flocks of Birds
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Modelling Flocks of Birds from the Bottom Up
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Accurate Static Data Race Detection for C
2025-01-01 Sales, Emerson; Inverso, Omar; Tuosto, Emilio
Modeling terms by graphs with structure constraints (two illustrations)
2019-01-01 Grabmayer, C.
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
2021-01-01 Grabmayer, C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Completing the Node-Averaged Complexity Landscape of LCLs on Trees | 1-gen-2024 | Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis; Schmid, Gustav | |
| Brief Announcement: Local Advice and Local Decompression | 1-gen-2024 | Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Nowicki, Krzysztof; Olivetti, Dennis; Rotenberg, Eva; Suomela, Jukka | |
| Advanced Virgo status | 1-gen-2020 | Acernese, F.; Adams, T.; Agathos, M.; Agatsuma, K.; Aiello, L.; Allocca, A.; Arnaud, N.; Ascenzi, S.; Astone, P.; Bacon, P.; Bader, M. K. M.; Baldaccini, F.; Ballardin, G.; Barone, F.; Barsuglia, M.; Barta, D.; Basti, A.; Bavigadda, V.; Bazzan, M.; Bejger, M.; Bersanetti, D.; Bertolini, A.; Bitossi, M.; Bizouard, M. A.; Bloemen, S.; Boer, M.; Bogaert, G.; Bondu, F.; Bonnand, R.; Boom, B. A.; Boschi, V.; Bouffanais, Y.; Bozzi, A.; Bradaschia, C.; Branchesi, M.; Briant, T.; Brillet, A.; Brisson, V.; Bulik, T.; Bulten, H. J.; Buskulic, D.; Buy, C.; Cagnoli, G.; Calloni, E.; Capocasa, E.; Carbognani, F.; Casanueva Diaz, J.; Casentini, C.; Cavalier, F.; Cavalieri, R.; Cella, G.; Cerboni Baiardi, L.; Cerretani, G.; Cesarini, E.; Chassande-Mottin, E.; Chincarini, A.; Chiummo, A.; Chua, S.; Cleva, F.; Coccia, E.; Cohadon, P. -F.; Colla, A.; Conte, A.; Conti, L.; Cortese, S.; Coulon, J. -P.; Cuoco, E.; D(')Antonio, S.; Dattilo, V.; Davier, M.; Day, R.; Debreczeni, G.; Degallaix, J.; De Laurentis, M.; Del('e)glise, S.; De Rosa, R.; Di Fiore, L.; Di Giovanni, M.; Di Girolamo, T.; Di Lieto, A.; Di Pace, S.; Di Virgilio, A.; Dolique, V.; Ducrot, M.; Fafone, V.; Farinon, S.; Ferrante, I.; Ferrini, F.; Fidecaro, F.; Fiori, I.; Fiorucci, D.; Flaminio, R.; Fournier, J. -D.; Frasca, S.; Frasconi, F.; Frey, V.; Gammaitoni, L.; Garufi, F.; Gemme, G.; Genin, E.; Gennai, A.; Germain, V.; Ghosh, S.; Giazotto, A.; Gonzalez Castro, J. M.; Gosselin, M.; Gouaty, R.; Grado, A.; Granata, M.; Greco, G.; Groot, P.; Guidi, G. M.; Harms, J.; Heidmann, A.; Heitmann, H.; Hello, P.; Hemming, G.; Hoak, D.; Hofman, D.; Huet, D.; Isac, J. -M.; Jacqmin, T.; Jaranowski, P.; Jonker, R. J. G.; Kasprzack, M.; K('e)f('e)lian, F.; Khan, I.; Koley, S.; Kowalska, I.; Kr('o)lak, A.; Kutynia, A.; Lazzaro, C.; Leaci, P.; Lebigot, E. O.; Leonardi, M.; Leroy, N.; Letendre, N.; Lorenzini, M.; Loriette, V.; Losurdo, G.; Majorana, E.; Maksimovic, I.; Malvezzi, V.; Man, N.; Mantovani, M.; Marchesoni, F.; Marion, F.; Martelli, F.; Martellini, L.; Masserot, A.; Mastrogiovanni, S.; Meacher, D.; Meidam, J.; Merzougui, M.; Metzdorff, R.; Mezzani, F.; Michel, C.; Milano, L.; Miller, A.; Minenkov, Y.; Moggi, A.; Mohan, M.; Montani, M.; Mours, B.; Nardecchia, I.; Naticchioni, L.; Nelemans, G.; Neri, M.; Nissanke, S.; Nocera, F.; Palomba, C.; Paoletti, F.; Paoli, A.; Pasqualetti, A.; Passaquieti, R.; Passuello, D.; Patricelli, B.; Pedurand, R.; Piccinni, O. J.; Pichot, M.; Piergiovanni, F.; Pillant, G.; Pinard, L.; Poggiani, R.; Popolizio, P.; Prijatelj, M.; Prodi, G. A.; Punturo, M.; Puppo, P.; Rapagnani, P.; Razzano, M.; Re, V.; Regimbau, T.; Rei, L.; Ricci, F.; Robinet, F.; Rocchi, A.; Rolland, L.; Romano, R.; Rosinska, D.; Ruggi, P.; Salconi, L.; Sassolas, B.; Sentenac, D.; Sequino, V.; Setyawati, Y.; Siellez, K.; Sieniawska, M.; Singhal, A.; Sorrentino, F.; Straniero, N.; Stratta, G.; Swinkels, B. L.; Tacca, M.; Tiwari, S.; Tonelli, M.; Travasso, F.; Tringali, M. C.; Trozzo, L.; Turconi, M.; Van Bakel, N.; Van Beuzekom, M.; Van Den Brand, J. F. J.; Van Den Broeck, C.; Van Der Schaaf, L.; Van Heijningen, J. V.; Vardaro, M.; Vas('u)th, M.; Vedovato, G.; Verkindt, D.; Vetrano, F.; Vicer('e), A.; Vinet, J. -Y.; Vocca, H.; Wang, G.; Was, M.; Wei, L. -W.; Yvert, M.; Zadro Zny, A.; Zangrando, L.; Zendri, J. -P. | |
| A customizable approach to assess software quality through Multi-Criteria Decision Making | 1-gen-2023 | Basciani, Francesco; Di Pompeo, Daniele; Di Rocco, Juri; Pierantonio, Alfonso | |
| On the Node-Averaged Complexity of Locally Checkable Problems on Trees | 1-gen-2023 | Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis; Schmid, Gustav | |
| The Front-end and DAQ system of the Terzina instrument onboard the NUSES space mission | 1-gen-2024 | Pessoa Lima Junior, H. | |
| Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes | 1-gen-2024 | Heeney, Michael; Androutsopoulos, Kelly; Raimondi, Franco | |
| Dynamic Provisioning of REST APIs for Model Management | 1-gen-2024 | Tuyishime, Adiel; Basciani, Francesco; Cánovas Izquierdo, Javier Luis; Iovino, Ludovico | |
| Description and Performance of the COSINUS remoTES Design | 1-gen-2024 | Zema, V.; Shera, K.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P. R.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zhu, Y. | |
| A Vibration Decoupling System for TES Operation in the COSINUS Dry Dilution Refrigerator | 1-gen-2024 | Kellermann, M.; Angloher, G.; Bharadawj, M. R.; Cababie, M.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M. J.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y. | |
| COSINUS:TES-instrumented NaI Crystals for Direct Dark Matter Search | 1-gen-2024 | Stahlberg, M.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Fuss, A.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Shera, K.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y. | |
| Improving Fairness in Information Exposure by Adding Links | 1-gen-2023 | Becker, Ruben; D'Angelo, Gianlorenzo; Ghobadi, Sajjad | |
| Waste Management Through Digital Twins and Business Process Modeling | 1-gen-2024 | Di Salle, Amleto; Fedeli, Arianna; Iovino, Ludovico; Mariani, Leonardo; Micucci, Daniela; Rebelo, Luciana; Rossi, Maria Teresa | |
| Marine Data Observability using KPIS: An MDSE Approach | 1-gen-2023 | Lima, Keila; Iovino, Ludovico; Rossi, Maria Teresa; Heldal, Rogardt; Oyetoyan, Tosin Daniel; De Sanctis, Martina | |
| Keeping clients' models up-to-date with Edelta | 1-gen-2024 | Bettini, Lorenzo; Di Ruscio, Davide; Di Salle, Amleto; Iovino, Ludovico; Pierantonio, Alfonso | |
| Process Algebras and Flocks of Birds | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Modelling Flocks of Birds from the Bottom Up | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Accurate Static Data Race Detection for C | 1-gen-2025 | Sales, Emerson; Inverso, Omar; Tuosto, Emilio | |
| Modeling terms by graphs with structure constraints (two illustrations) | 1-gen-2019 | Grabmayer, C. | |
| Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions | 1-gen-2021 | Grabmayer, C. |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE43
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS6
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10