Sfoglia
Choreographies for Program Understanding
2025-01-01 Genovese, Gabriele; Lanese, Ivan; Di Giusto, Cinzia; Tuosto, Emilio; Vidal, Germán
Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services
2025-01-01 Lopez Pombo, Carlos G.; Melgratti, Hernán; Martinez-Suñé, Agustín E.; Senarruzza Anabia, Diego; Tuosto, Emilio
Measuring shape rectangularities
2011-01-01 Martinez-Ortiz, Carlos; Zunic, Dragisa; Zunic, Jovisa
Classical computation with negation
2012-01-01 Zunic, Dragisa; Lescanne, Pierre
Classical Proofs' Essence and Diagrammatic Computation
2011-01-01 Lescanne, Pierre; Zunic, Dragisa
A Congruence Relation for Restructuring Classical Terms
2018-01-01 Lescanne, Pierre; Zunic, Dragisa
Migrating from Monoliths to Microservices: Enforcing Correct Coordination
2023-01-01 Autili, Marco; Filippone, Gianluca; Tivoli, Massimo
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules
2009-01-01 Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization
2023-01-01 Filippone, G.; Qaisar Mehmood, N.; Autili, M.; Rossi, F.; Tivoli, M.
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization
2021-01-01 Filippone, Gianluca; G., And Autili; M., And Rossi; F., And Tivoli
Towards the synthesis of context-aware choreographies
2020-01-01 Filippone, Gianluca; Gianluca And, Autili; Marco And, Tivoli; Massimo,
Formalization of Automated Trading Systems in a Concurrent Linear Framework
2019-01-01 Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Zunic, Dragisa
Enhancing direct data-driven model-reference controllers from open loop data: a closed-loop estimation approach
2025-01-01 Masti, Daniele; Fabiani, Filippo; Breschi, Valentina
Certified Inductive Synthesis for Online Mixed-Integer Optimization
2025-01-01 Zamponi, Marco; Incerto, Emilio; Masti, Daniele; Tribastone, Mirco
Learning approximate semi-explicit hybrid MPC with an application to microgrids
2020-01-01 Masti, D.; Pippia, T.; Bemporad, A.; De Schutter, B.
Learning Nonlinear State-Space Models Using Deep Autoencoders
2018-01-01 Masti, Daniele; Bemporad, Alberto
Development of an innovative and sustainable sail-drone
2017-01-01 Benedetto, A.; Luca, P.; Marco, M.; Corrieri, A.; Masti, D.; Vanni, L.
Learning explicit binary warm starts for mixed-integer programming
2019-01-01 Masti, D.; Bemporad, A.
NAW-NET: Neural anti-windup control for saturated nonlinear systems
2020-01-01 Breschi, V.; Masti, D.; Formentin, S.; Bemporad, A.
Learning virtual sensors for estimating the scheduling signal of parameter-varying systems
2019-01-01 Masti, Daniele; D., Bernardini; A., Bemporad
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Choreographies for Program Understanding | 1-gen-2025 | Genovese, Gabriele; Lanese, Ivan; Di Giusto, Cinzia; Tuosto, Emilio; Vidal, Germán | |
| Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services | 1-gen-2025 | Lopez Pombo, Carlos G.; Melgratti, Hernán; Martinez-Suñé, Agustín E.; Senarruzza Anabia, Diego; Tuosto, Emilio | |
| Measuring shape rectangularities | 1-gen-2011 | Martinez-Ortiz, Carlos; Zunic, Dragisa; Zunic, Jovisa | |
| Classical computation with negation | 1-gen-2012 | Zunic, Dragisa; Lescanne, Pierre | |
| Classical Proofs' Essence and Diagrammatic Computation | 1-gen-2011 | Lescanne, Pierre; Zunic, Dragisa | |
| A Congruence Relation for Restructuring Classical Terms | 1-gen-2018 | Lescanne, Pierre; Zunic, Dragisa | |
| Migrating from Monoliths to Microservices: Enforcing Correct Coordination | 1-gen-2023 | Autili, Marco; Filippone, Gianluca; Tivoli, Massimo | |
| Intuitionistic Sequent-Style Calculus with Explicit Structural Rules | 1-gen-2009 | Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa | |
| From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization | 1-gen-2023 | Filippone, G.; Qaisar Mehmood, N.; Autili, M.; Rossi, F.; Tivoli, M. | |
| Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization | 1-gen-2021 | Filippone, Gianluca; G., And Autili; M., And Rossi; F., And Tivoli | |
| Towards the synthesis of context-aware choreographies | 1-gen-2020 | Filippone, Gianluca; Gianluca And, Autili; Marco And, Tivoli; Massimo, | |
| Formalization of Automated Trading Systems in a Concurrent Linear Framework | 1-gen-2019 | Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Zunic, Dragisa | |
| Enhancing direct data-driven model-reference controllers from open loop data: a closed-loop estimation approach | 1-gen-2025 | Masti, Daniele; Fabiani, Filippo; Breschi, Valentina | |
| Certified Inductive Synthesis for Online Mixed-Integer Optimization | 1-gen-2025 | Zamponi, Marco; Incerto, Emilio; Masti, Daniele; Tribastone, Mirco | |
| Learning approximate semi-explicit hybrid MPC with an application to microgrids | 1-gen-2020 | Masti, D.; Pippia, T.; Bemporad, A.; De Schutter, B. | |
| Learning Nonlinear State-Space Models Using Deep Autoencoders | 1-gen-2018 | Masti, Daniele; Bemporad, Alberto | |
| Development of an innovative and sustainable sail-drone | 1-gen-2017 | Benedetto, A.; Luca, P.; Marco, M.; Corrieri, A.; Masti, D.; Vanni, L. | |
| Learning explicit binary warm starts for mixed-integer programming | 1-gen-2019 | Masti, D.; Bemporad, A. | |
| NAW-NET: Neural anti-windup control for saturated nonlinear systems | 1-gen-2020 | Breschi, V.; Masti, D.; Formentin, S.; Bemporad, A. | |
| Learning virtual sensors for estimating the scheduling signal of parameter-varying systems | 1-gen-2019 | Masti, Daniele; D., Bernardini; A., Bemporad |
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