PsALM: Specification of dependable robotic missions
2019-01-01 Menghi, C.; Tsigkanos, C.; Berger, T.; Pelliccione, P.
Taming uncertainty in the assurance process of self-adaptive systems: A goal-oriented approach
2019-01-01 Felix Solano, G.; Diniz Caldas, R.; Nunes Rodrigues, G.; Vogel, T.; Pelliccione, P.
MAPmAKER: Performing multi-robot LTL planning under uncertainty
2019-01-01 Garcia, S.; Menghi, C.; Pelliccione, P.
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
2019-01-01 Mallozzi, P.; Castellano, E.; Pelliccione, P.; Schneider, G.; Tei, K.
High-level mission specification for multiple robots
2019-01-01 Garcia, S.; Pelliccione, P.; Menghi, C.; Berger, T.; Bures, T.
Hey, my data are mine! Active data to empower the user
2020-01-01 Scoccia, GIAN LUCA; Autili, Marco; Pelliccione, Patrizio; Inverardi, Paola; Fiore, MATTEO MARIA; Russo, Alejandro
Noise propagation in chemical reaction networks: Analysis of a molecular subtractor module
2019-01-01 Cosentino, C.; Manes, C.; Palombo, G.; Palumbo, P.
Multi-agent system engineering for emphatic human-robot interaction
2019-01-01 Costantini, S.; De Gasperis, G.; Migliarini, P.
Building international doctoral schools in computer science in italy, de nicola’s way
2019-01-01 Aceto, L.; D'Angelo, G.; Flammini, M.; Inverso, O.; Iovino, L.; Trubiani, C.
Exploiting Capture Diversity in Distributed Passive RFID Systems
2020-01-01 Valentini, R.; Di Marco, P.; Santucci, F.; Alesii, R.
A survey on Inverse mean curvature flow in ROSSes
2017-01-01 Pipoli, G.
EMERGE - Commercial Vehicles & Emerging Technologies for everyday and emergency operations: advanced navigation, advanced communication, advanced security
2019-01-01 Neri, A.; Rispoli, F.; Salvitti, M.; Chiocchio, S.; Persia, A.; Pratesi, M.; Santucci, F.; Guidotti, G.; Di Claudio, V.; Brancati, M.; Beco, S.; Melchiorri, R.; Plaia, G. P.; Arista, G.; Nicolai, G.
Work in Progress: Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control
2019-01-01 Alrish, Amal; Lun, Y. Z.; D'Innocenzo, A.; Santucci, F.
Second Order Statistics of Mixed RF-FSO Relay Systems and Its Application to Vehicular Networks
2019-01-01 Stefanovic, C.; Pratesi, M.; Santucci, F.
Cross-Layer Analysis of RFID Systems with Correlated Shadowing and Random Radiation Efficiency
2019-01-01 Valentini, R; Alesii, R; Levorato, M; Santucci, F
Asynchronous rendezvous with different maps
2019-01-01 Cicerone, S.; Di Stefano, G.; Gasieniec, L.; Navarra, A.
Gathering synchronous robots in graphs: from general properties to dense and symmetric topologies
2019-01-01 Cicerone, S.; Di Stefano, G.; Navarra, A.
On Gathering of Semi-synchronous Robots in Graphs
2019-01-01 Cicerone, S.; Di Stefano, G.; Navarra, A.
Fair Hitting Sequence Problem: Scheduling Activities with Varied Frequency Requirements
2019-01-01 Cicerone, S.; Di Stefano, G.; Gasieniec, L.; Jurdzinski, T.; Navarra, A.; Radzik, T.; Stachowiak, G.
Inverted brayton cycle as an option for waste energy recovery in turbocharged diesel engine
2019-01-01 Di Battista, D.; Carapellucci, R.; Cipollone, R.
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 ...12633
Data di pubblicazione
- In corso di stampa24
- 2020 - 20261900
- 2010 - 20193887
- 2000 - 20093841
- 1990 - 19992229
- 1980 - 1989711
- 1974 - 197941
Editore
- Institute of Electrical and Elect...670
- IEEE517
- Springer212
- IEEE Computer Society161
- Springer Verlag118
- Springer Science and Business Med...97
- CEUR-WS87
- Monduzzi Editore67
- ACM59
- Springer-Verlag56
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE182
- JOURNAL OF PHYSICS. CONFERENCE SE...62
- POS PROCEEDINGS OF SCIENCE37
- LECTURE NOTES IN COMPUTER SCIENCE28
- CEUR WORKSHOP PROCEEDINGS27
- AIP CONFERENCE PROCEEDINGS21
- ENERGY PROCEDIA18
- CONFERENCE PROCEEDINGS OF THE SOC...17
- PROCEDIA ENGINEERING17
- SAE TECHNICAL PAPER17
Serie
- LECTURE NOTES IN COMPUTER SCIENCE101
- CEUR WORKSHOP PROCEEDINGS85
- LECTURE NOTES IN ARTIFICIAL INTEL...56
- LEIBNIZ INTERNATIONAL PROCEEDINGS...30
- IFAC-PAPERSONLINE28
- LECTURE NOTES IN CIVIL ENGINEERING28
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- LECTURE NOTES IN NETWORKS AND SYS...19
- CONFERENCE PROCEEDINGS OF THE SOC...16
- PROCEEDINGS IEEE INTERNATIONAL CO...16
Keyword
- Electrical and Electronic Enginee...128
- Computer Networks and Communications65
- Control and Systems Engineering65
- Software60
- Computer Science (all)58
- Hardware and Architecture38
- Computer Science Applications1707...35
- Instrumentation32
- Artificial Intelligence31
- Theoretical Computer Science29
Lingua
- eng8025
- ita2462
- fre28
- spa26
- ger15
- und7
- lat6
- grc4
- ara1
- inh1
Accesso al fulltext
- no fulltext11263
- open669
- restricted499
- reserved194
- partially open5
- embargoed3