A Model-Based Synthesis Process for Choreography Realizability Enforcement
2013-01-01 Autili, Marco; Davide Di Ruscio, ; DI SALLE, Amleto; Inverardi, P; Tivoli, Massimo
Software performance model-driven architecture
2006-01-01 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola
Technical architectures for automotive systems
2020-01-01 Bucaioni, A.; Pelliccione, P.
Robotics software engineering: A perspective from the service robotics domain
2020-01-01 García, Sergio; Strüber, Daniel; Brugali, Davide; Berger, Thorsten; Pelliccione, Patrizio
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes
2022-01-01 Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio; Daniel Oyetoyan, Tosin; Michael Kristensen, Lars
Self-adaptive Testing in the Field: Are We There Yet?
2022-01-01 Silva, Samira; Bertolino, Antonia; Pelliccione, Patrizio
Mastering Reference Architectures with Modeling Assistants
2023-01-01 Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo
jjodel – A Reflective Cloud-Based Modeling Framework
2023-01-01 Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Di Vincenzo, Damiano; Pierantonio, Alfonso; Tinella, Giordano
User-centric android flexible permissions
2017-01-01 Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
Synthesis of Resource-Aware Controllers Against Rational Agents
2023-01-01 Condurache, Rodica; Dima, Catalin; Oualhadj, Youssouf; Troquard, Nicolas
Making Axiom Weakening Work in SROIQ
2023-01-01 Bernard, Roland; Kutz, Oliver; Troquard, Nicolas
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
Non-Normal Modal Description Logics
2023-01-01 Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas
An Ontological Modelling of Prototype Theories
2023-01-01 Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver
Succinctness and Complexity of ALC with Counting Perceptrons
2023-01-01 Galliani, Pietro; Kutz, Oliver; Troquard, Nicolas
A logic of propositional control for truthful implementations
2009-01-01 Troquard, N; van der Hoek, W; Wooldridge, M
A Logic of Games and Propositional Control
2009-01-01 Troquard, N; van der Hoek, W; Wooldridge, M
Knowledge and control
2011-01-01 Van Der Hoek, W; Troquard, N; Wooldridge, M
A dynamic logic of normative systems
2011-01-01 Herzig, A; Lorini, E; Moisan, F; Troquard, N
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Model-Based Synthesis Process for Choreography Realizability Enforcement | 1-gen-2013 | Autili, Marco; Davide Di Ruscio, ; DI SALLE, Amleto; Inverardi, P; Tivoli, Massimo | |
| Software performance model-driven architecture | 1-gen-2006 | Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola | |
| Technical architectures for automotive systems | 1-gen-2020 | Bucaioni, A.; Pelliccione, P. | |
| Robotics software engineering: A perspective from the service robotics domain | 1-gen-2020 | García, Sergio; Strüber, Daniel; Brugali, Davide; Berger, Thorsten; Pelliccione, Patrizio | |
| Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes | 1-gen-2022 | Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio; Daniel Oyetoyan, Tosin; Michael Kristensen, Lars | |
| Self-adaptive Testing in the Field: Are We There Yet? | 1-gen-2022 | Silva, Samira; Bertolino, Antonia; Pelliccione, Patrizio | |
| Mastering Reference Architectures with Modeling Assistants | 1-gen-2023 | Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo | |
| jjodel – A Reflective Cloud-Based Modeling Framework | 1-gen-2023 | Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Di Vincenzo, Damiano; Pierantonio, Alfonso; Tinella, Giordano | |
| User-centric android flexible permissions | 1-gen-2017 | Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| Synthesis of Resource-Aware Controllers Against Rational Agents | 1-gen-2023 | Condurache, Rodica; Dima, Catalin; Oualhadj, Youssouf; Troquard, Nicolas | |
| Making Axiom Weakening Work in SROIQ | 1-gen-2023 | Bernard, Roland; Kutz, Oliver; Troquard, Nicolas | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| Non-Normal Modal Description Logics | 1-gen-2023 | Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas | |
| An Ontological Modelling of Prototype Theories | 1-gen-2023 | Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver | |
| Succinctness and Complexity of ALC with Counting Perceptrons | 1-gen-2023 | Galliani, Pietro; Kutz, Oliver; Troquard, Nicolas | |
| A logic of propositional control for truthful implementations | 1-gen-2009 | Troquard, N; van der Hoek, W; Wooldridge, M | |
| A Logic of Games and Propositional Control | 1-gen-2009 | Troquard, N; van der Hoek, W; Wooldridge, M | |
| Knowledge and control | 1-gen-2011 | Van Der Hoek, W; Troquard, N; Wooldridge, M | |
| A dynamic logic of normative systems | 1-gen-2011 | Herzig, A; Lorini, E; Moisan, F; Troquard, N |
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 ...1084
Data di pubblicazione
- 2020 - 2024235
- 2010 - 2019590
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...7
- 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 ARTIFICIAL INTEL...26
- LECTURE NOTES IN COMPUTER SCIENCE17
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng650
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext922
- reserved96
- open63
- partially open3