default search action

combined dblp search
author search
venue search
publication search

ask others

Luca Spalazzi

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/PepaSCC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/PepaSCC24
Lucia Pepa, Luca Spalazzi, Maria Gabriella Ceravolo, Marianna Capecci:
Supervised learning for automatic emotion recognition in Parkinson's disease through smartwatch signals. Expert Syst. Appl. 249: 123474 (2024)
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/frai/RaikovGPSG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/frai/RaikovGPSG24
Aleksandr Raikov, Alberto Giretti, Massimiliano Pirani, Luca Spalazzi, Meng Guo:
Accelerating human-computer interaction through convergent conditions for LLM explanation. Frontiers Artif. Intell. 7 (2024)
2023
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/SpalazziSCN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/SpalazziSCN23
Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia:
Blockchain based choreographies: The construction industry case study. Concurr. Comput. Pract. Exp. 35(16) (2023)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/taffco/PepaSCC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taffco/PepaSCC23
Lucia Pepa, Luca Spalazzi, Marianna Capecci, Maria Gabriella Ceravolo:
Automatic Emotion Recognition in Clinical Scenario: A Systematic Review of Methods. IEEE Trans. Affect. Comput. 14(2): 1675-1695 (2023)
[c76]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aixas/AntonielloSVPSA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aixas/AntonielloSVPSA23
Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Silvia Vada, Marianna Capecci, Michele Tinazzi, Gianmatteo Farabolini, Marialuisa Gandolfi, Giulia Bonardi, Maria Gabriella Ceravolo, Nicolò Baldini:
Acceptability and clinical usefulness of a telemonitoring and telerehabilitation system in people with Parkinson's Disease in different disease stages: preliminary findings from the RAPIDO study. AIxAS@AI*IA 2023: 5-17
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/csr2/PrincipiBCS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr2/PrincipiBCS23
Lorenzo Principi, Marco Baldi, Alessandro Cucchiarelli, Luca Spalazzi:
Efficiency of Malware Detection Based on DNS Packet Analysis Over Real Network Traffic. CSR 2023: 42-47
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ewsn/PiraniCCS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewsn/PiraniCCS23
Massimiliano Pirani, Alessio Cacopardo, Alessandro Cucchiarelli, Luca Spalazzi:
A Soulbound Token-based Reputation System in Sustainable Supply Chains. EWSN 2023: 363-368
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icce-berlin/AntonielloSVBPSACTFGBC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icce-berlin/AntonielloSVBPSACTFGBC23
Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Caterina Belbusti, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Michele Tinazzi, Gianmatteo Farabolini, Marialuisa Gandolfi, Giulia Bonardi, Maria Gabriella Ceravolo:
Consumer Devices for Health Parameter Collection and Analysis in Parkinson's Disease Telerehabilitation. ICCE-Berlin 2023: 204-209
[c72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ism2/PiraniCS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ism2/PiraniCS23
Massimiliano Pirani, Alessandro Cucchiarelli, Luca Spalazzi:
Paradigms for database-centric application interfaces. ISM 2023: 835-845
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/percom/SpegniFPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/percom/SpegniFPS23
Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi:
ChoEn: A Smart Contract Based Choreography Enforcer. PerCom Workshops 2023: 86-91
2022
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/mta/SpalazziPF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mta/SpalazziPF22
Luca Spalazzi, Marina Paolanti, Emanuele Frontoni:
An offline parallel architecture for forensic multimedia classification. Multim. Tools Appl. 81(16): 22715-22730 (2022)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/SpegniSMPSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/SpegniSMPSV22
Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame:
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 409-426
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icce-berlin/AntonielloSVTPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icce-berlin/AntonielloSVTPS22
Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo:
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture. ICCE-Berlin 2022: 1-2
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icce-berlin/SabatelliVATPSA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icce-berlin/SabatelliVATPSA22
Antonio Sabatelli, Simone Valenti, Antonia Antoniello, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo:
Parkinson's disease telemonitoring and telerehabilitation based on commercial wearable sensor data analysis: a pilot study. ICCE-Berlin 2022: 1-6
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MorbidoniSTC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MorbidoniSTC22
Christian Morbidoni, Luca Spalazzi, Antonio Teti, Alessandro Cucchiarelli:
Leveraging n-gram neural embeddings to improve deep learning DGA detection. SAC 2022: 995-1004
2021
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/CucchiarelliMSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/CucchiarelliMSB21
Alessandro Cucchiarelli, Christian Morbidoni, Luca Spalazzi, Marco Baldi:
Algorithmically generated malicious domain names detection based on n-grams features. Expert Syst. Appl. 170: 114551 (2021)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LivaKPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LivaKPSS21
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi:
Automatic Repair of Timestamp Comparisons. IEEE Trans. Software Eng. 47(11): 2369-2381 (2021)
2020
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/PepaCACSC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/PepaCACSC20
Lucia Pepa, Marianna Capecci, Elisa Andrenelli, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo:
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease. Expert Syst. Appl. 147: 113197 (2020)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sqj/SpegniSLPB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/SpegniSLPB20
Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin:
Verifying temporal specifications of Java programs. Softw. Qual. J. 28(2): 695-744 (2020)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/SpalazziS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SpalazziS20
Luca Spalazzi, Francesco Spegni:
Parameterized model checking of networks of timed automata with Boolean guards. Theor. Comput. Sci. 813: 248-269 (2020)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/foritaal/PepaPBLCEAHGACS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foritaal/PepaPBLCEAHGACS20
Lucia Pepa, Martina Pigliapoco, Paola Bisoglio, Alice Lambertucci, Michela Coccia, Lauredana Ercolani, Michela Aringolo, Margherita Hibel, Anna Gastaldi, Elisa Andrenelli, Rossella Cima, Luca Spalazzi, Maria Gabriella Ceravolo, Marianna Capecci:
Therapeutic Exercise Protocols for People Recovering After Covid-19: A Tele-Health Approach. ForItAAL 2020: 355-362
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/itasec/BaldiCKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/BaldiCKS20
Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi:
Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials. DLT@ITASEC 2020
[e1]
- view
- export record
  dblp key:
  - conf/itasec/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/2020
Michele Loreti, Luca Spalazzi:
Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020. CEUR Workshop Proceedings 2597, CEUR-WS.org 2020 [contents]

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/jaihc/CiabattoniFMPPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/CiabattoniFMPPS19
Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Lucia Pepa, Daniele Proietti Pagnotta, Luca Spalazzi, Federica Verdini:
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons. J. Ambient Intell. Humaniz. Comput. 10(1): 1-12 (2019)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/SpalazziS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/SpalazziS19
Luca Spalazzi, Francesco Spegni:
High-Performance Computing for Formal Security Assessment. HPCS 2019: 923-930
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/SpalazziS19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/SpalazziS19a
Luca Spalazzi, Francesco Spegni:
Verification-as-a-Service for Parameter Assessment. HPCS 2019: 1043-1044
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-04622
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-04622
Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi:
Security analysis of a blockchain-based protocol for the certification of academic credentials. CoRR abs/1910.04622 (2019)
2018
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/LimetMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/LimetMS18
Sébastien Limet, Alessio Merlo, Luca Spalazzi:
HPC & Co strike back: Where are distributed paradigms heading toward? Concurr. Comput. Pract. Exp. 30(9) (2018)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/iccel/CiabattoniFMPRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccel/CiabattoniFMPRS18
Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Daniele Proietti Pagnotta, Luca Romeo, Luca Spalazzi, A. De Cesare:
Complex activity recognition system based on cascade classifiers and wearable device data. ICCE 2018: 1-2
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LivaKSSB018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LivaKSSB018
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger:
Modeling time in Java programs for automatic error detection. FormaliSE@ICSE 2018: 50-59
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/SpalazziSL018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/SpalazziSL018
Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger:
Towards Model Checking Security of Real Time Java Software. HPCS 2018: 642-649
2017
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icce-berlin/PepaCCSC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icce-berlin/PepaCCSC17
Lucia Pepa, Marianna Capecci, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo:
A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone. ICCE-Berlin 2017: 130-131
[c58]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ictcs/SpalazziS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/SpalazziS17
Luca Spalazzi, Francesco Spegni:
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. ICTCS/CILC 2017: 174-185
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/BaldiCSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/BaldiCSSS17
Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach. ISCC 2017: 1021-1028
[c56]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/itasec/BaldiCFGSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/BaldiCFGSS17
Marco Baldi, Franco Chiaraluce, Emanuele Frontoni, Giuseppe Gottardi, Daniele Sciarroni, Luca Spalazzi:
Certificate Validation Through Public Ledgers and Blockchains. ITASEC 2017: 156-165
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BaldiBCCSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BaldiBCCSSS17
Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. QEST 2017: 123-139
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KonnovWSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KonnovWSS17
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi:
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. VMCAI 2017: 347-366
2016
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/iccel/PepaMNCVSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccel/PepaMNCVSL16
Lucia Pepa, Giacomo Marangoni, Matteo Di Nicola, Lucio Ciabattoni, Federica Verdini, Luca Spalazzi, Sauro Longhi:
Real time step length estimation on smartphone. ICCE 2016: 315-316
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/BaldiCSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/BaldiCSSS16
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms. HPCS 2016: 476-483
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BaldiCSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaldiCSSS16
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version). CoRR abs/1605.05930 (2016)
2015
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/LimetSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/LimetSS15
Sébastien Limet, Waleed W. Smari, Luca Spalazzi:
High-performance computing: to boldly go where no human has gone before. Concurr. Comput. Pract. Exp. 27(13): 3145-3165 (2015)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/MannoSST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/MannoSST15
Giuliano Manno, Waleed W. Smari, Luca Spalazzi, Gilberto Taccari:
A semantic-based federated cloud system for emergency response. Concurr. Comput. Pract. Exp. 27(13): 3316-3344 (2015)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/SpalazziV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/SpalazziV15
Luca Spalazzi, Luca Viganò:
Special issue on security and high performance computing systems. J. Comput. Secur. 23(5): 539-540 (2015)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/PepaVS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/PepaVS15
Lucia Pepa, Federica Verdini, Luca Spalazzi:
Experimental evaluation of a smartphone based Step Length estimation. EMBC 2015: 7647-7650
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/wf-iot/PepaCVCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wf-iot/PepaCVCS15
Lucia Pepa, Marianna Capecci, Federica Verdini, M. Gabriella Ceravolo, Luca Spalazzi:
An architecture to manage motor disorders in Parkinson's disease. WF-IoT 2015: 615-620
2014
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/SpalazziTB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/SpalazziTB14
Luca Spalazzi, Gilberto Taccari, Andrea Bernardini:
An Internet of Things ontology for earthquake emergency evaluation and response. CTS 2014: 528-534
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/TaccariS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/TaccariS14
Gilberto Taccari, Luca Spalazzi:
A federated cloud of things for emergency management. CTS 2014: 647-651
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iot360/TaccariBSDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iot360/TaccariBSDS14
Gilberto Taccari, Gabriele Bernardini, Luca Spalazzi, Marco D'Orazio, Waleed W. Smari:
Earthquake Emergencies Management by Means of Semantic-Based Internet of Things. IoT360 (2) 2014: 318-327
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/mbida/PepaRSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbida/PepaRSV14
Lucia Pepa, Marco Rossini, Luca Spalazzi, Federica Verdini:
Step Length Estimation for Freezing of Gait Monitoring in Parkinsonian Patients. mBiDA 2014: 313-323
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SpalazziS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SpalazziS14
Luca Spalazzi, Francesco Spegni:
Parameterized Model-Checking of Timed Systems with Conjunctive Guards. VSTTE 2014: 235-251
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SpalazziS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SpalazziS14
Luca Spalazzi, Francesco Spegni:
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version). CoRR abs/1407.7305 (2014)
2013
[j19]
- view
  - electronic edition @ ifets.info (archived)
  - details & citations
- export record
  dblp key:
  - journals/ets/GhislandiILS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ets/GhislandiILS13
Patrizia Ghislandi, Maria Grazia Ierardi, Tommaso Leo, Luca Spalazzi:
Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning. J. Educ. Technol. Soc. 16(1): 1-3 (2013)
[j18]
- view
  - electronic edition @ ifets.info (archived)
  - details & citations
- export record
  dblp key:
  - journals/ets/ManganelloFSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ets/ManganelloFSL13
Flavio Manganello, Carla Falsetti, Luca Spalazzi, Tommaso Leo:
PKS: An Ontology-based Learning Construct for Lifelong Learners. J. Educ. Technol. Soc. 16(1): 104-117 (2013)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/SmariSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/SmariSZ13
Waleed W. Smari, Luca Spalazzi, Yacine Zemali:
Recent developments in high performance computing and security: An editorial. Future Gener. Comput. Syst. 29(3): 782-787 (2013)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/PagliarecciSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/PagliarecciSS13
Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni:
Model checking grid security. Future Gener. Comput. Syst. 29(3): 811-827 (2013)
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/PagliarecciST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/PagliarecciST13
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari:
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. Description Logics 2013: 885-897
2012
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/PietroPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/PietroPS12
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi:
Model Checking Semantically Annotated Services. IEEE Trans. Software Eng. 38(3): 592-608 (2012)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CampanaPSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CampanaPSS12
Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni:
A modular environment for software development and re-engineering. TOPI@ICSE 2012: 90-91
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/MannoSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/MannoSS12
Giuliano Manno, Waleed W. Smari, Luca Spalazzi:
FCFA: A semantic-based federated cloud framework architecture. HPCS 2012: 42-52
[c41]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/invit/PagliarecciST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/invit/PagliarecciST12
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari:
Application of SWSAL in Semantic Annotation of RESTful Web Services. INVIT 2012: 11-18
2011
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BianchiniPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BianchiniPS11
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi:
From Service Identification to Service Selection: An Interleaved Perspective. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 223-240
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/BoaroGPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/BoaroGPS11
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi:
Business process design framework for B2B collaboration. CTS 2011: 633-635
[c38]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/BianchiniPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/BianchiniPS11
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi:
From Service Identification to Service Selection: an Interleaved Perspective. SEBD 2011: 421-428
2010
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/CampanaSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/CampanaSS10
Salvatore Campana, Luca Spalazzi, Francesco Spegni:
Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. CTS 2010: 113-122
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/BoaroGPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/BoaroGPS10
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi:
Semantic model checking security requirements for web services. HPCS 2010: 283-290
[c35]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/BoaroGPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/BoaroGPS10
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi:
Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD 2010: 190-197
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/ccn/PietroPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ccn/PietroPS10
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi:
Semantic Annotation for Web Service Processes in Pervasive Computing. Pervasive Computing, Innovations in Intelligent Multimedia and Applications 2010: 289-311

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jcp/SpalazziG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcp/SpalazziG09
Luca Spalazzi, Ratan Guha:
Editorial. J. Comput. 4(5): 355-356 (2009)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jcp/BiscottiCCPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcp/BiscottiCCPS09
Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi:
An IPS for Web Applications. J. Comput. 4(5): 387-394 (2009)
[c34]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iadis/PagliarecciSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iadis/PagliarecciSS09
Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli:
JEAP - JAVA environment for Agent platform. IADIS AC (1) 2009: 149-156
[c33]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iadis/RossettiS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iadis/RossettiS09
Andrea Rossetti, Luca Spalazzi:
Performance indicator in collaborative systems for business process management. IADIS AC (2) 2009: 212-216
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/CioffiPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/CioffiPS09
C. Cioffi, Francesco Pagliarecci, Luca Spalazzi:
An anomaly-based system for parental control. HPCS 2009: 193-199
[c31]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/PietroMPPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/PietroMPPS09
Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi:
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD 2009: 177-184
2008
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/PagliarecciSST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/PagliarecciSST08
Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott:
Formal specification of agent-object oriented programs. CTS 2008: 127-134
[c29]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/PietroPPST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/PietroPPST08
Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Semantic Annotation for Web Service Processes. SEBD 2008: 69-80
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/webi/PietroPSMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webi/PietroPSMP08
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore:
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence 2008: 605-611
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/webi/CampanaSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webi/CampanaSS08
Salvatore Campana, Luca Spalazzi, Francesco Spegni:
XAL: A Web Oriented Programming Language Based on Timed-Automata. Web Intelligence 2008: 862-868
2007
[j12]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/wias/PenseriniKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wias/PenseriniKS07
Loris Penserini, Manuel Kolp, Luca Spalazzi:
Social-oriented engineering of intelligent software. Web Intell. Agent Syst. 5(1): 69-87 (2007)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/PagliarecciPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/PagliarecciPS07
Francesco Pagliarecci, Loris Penserini, Luca Spalazzi:
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan. OTM Workshops (1) 2007: 105-114
[c25]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/PagliarecciPST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/PagliarecciPST07
Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232
2006
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/CapuzziSP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/CapuzziSP06
Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci:
IRSS: Incident Response Support System. CTS 2006: 81-88
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/PagliarecciSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/PagliarecciSC06
Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi:
Formal Definition of an Agent-Object Programming Language. CTS 2006: 298-305
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esws/PistoreST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/PistoreST06
Marco Pistore, Luca Spalazzi, Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634
[c21]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/PistoreST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/PistoreST06
Marco Pistore, Luca Spalazzi, Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216
2005
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mima/Spalazzi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mima/Spalazzi05
Luca Spalazzi:
Book Reviews. Minds Mach. 15(3-4): 453-458 (2005)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/PantiSTP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/PantiSTP05
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci:
Model checking the security of multi-protocol systems. CTS 2005: 92-99
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/PantiPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/PantiPS05
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi:
An agent-based supply-chain management. CTS 2005: 181-186
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/PantiPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/PantiPS05
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi:
An Agent-Based Supply-Chain Management. SEBD 2005: 117-124
2004
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/PenseriniKSP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/PenseriniKSP04
Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti:
Socially-Based Design Meets Agent Capabilities. IAT 2004: 72-78
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/PenseriniSP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/PenseriniSP04
Loris Penserini, Luca Spalazzi, Maurizio Panti:
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. ICEIS (4) 2004: 316-321
2003
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/mima/Spalazzi03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mima/Spalazzi03
Luca Spalazzi:
M. J. Wooldridge, Reasoning about Rational Agents, Intelligent Robots and Autonomous Agents Series, Cambridge, MA: The MIT Press, 2000, xv+227 pp., $35.00 (hardcover), ISBN 0-262-23213-8. Minds Mach. 13(3): 429-435 (2003)
[j9]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/wias/PenseriniLMPS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wias/PenseriniLMPS03
Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi:
Cooperation strategies for agent-based P2P systems. Web Intell. Agent Syst. 1(1): 3-21 (2003)
2002
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ap2pc/PenseriniLMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ap2pc/PenseriniLMS02
Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi:
Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC 2002: 87-99
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/PenseriniPS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/PenseriniPS02
Loris Penserini, Maurizio Panti, Luca Spalazzi:
Agent-based transactions into decentralised P2P. AAMAS 2002: 1288-1289
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/BenerecettiPST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/BenerecettiPST02
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi:
Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002: 311-327
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/PantiSTV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/PantiSTV02
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti:
Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS 2002: 968-974
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BenerecettiPST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BenerecettiPST02
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi:
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. SAFECOMP 2002: 126-138
2001
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/air/Spalzzi01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/air/Spalzzi01
Luca Spalazzi:
A Survey on Case-Based Planning. Artif. Intell. Rev. 16(1): 3-36 (2001)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/coopis/PantiSP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coopis/PantiSP01
Maurizio Panti, Luca Spalazzi, Loris Penserini:
Cooperation Strategies for Information Integration. CoopIS 2001: 123-134
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ijcai/PantiSP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/PantiSP01
Maurizio Panti, Luca Spalazzi, Loris Penserini:
A Distributed Case-Based Query Rewriting. IJCAI 2001: 1005-1010
2000
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/acisj/PantiPSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acisj/PantiPSV00
Maurizio Panti, Loris Penserini, Luca Spalazzi, Salvatore Valenti:
A FIPA compliant agent platform for federated information systems. ACIS Int. J. Comput. Inf. Sci. 1(3): 145-156 (2000)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/SpalazziT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/SpalazziT00
Luca Spalazzi, Paolo Traverso:
A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10(6): 787-821 (2000)
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BenerecettiGPS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BenerecettiGPS00
Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/PantiST00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/PantiST00
Maurizio Panti, Luca Spalazzi, Simone Tacconi:
Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000: 167-180
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/PantiPS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/PantiPS00
Maurizio Panti, Loris Penserini, Luca Spalazzi:
A critical discussion about an agent platform based on FIPA specification. SEBD 2000: 345-356
[c5]
- view
  - electronic edition @ vldb.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/vldb/PantiSG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vldb/PantiSG00
Maurizio Panti, Luca Spalazzi, Alberto Giretti:
A Case-Based Approach to Information Integration. VLDB 2000: 557-565

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiunchigliaS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiunchigliaS99
Fausto Giunchiglia, Luca Spalazzi:
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artif. Intell. 111(1-2): 329-338 (1999)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jetai/Spalazzi99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetai/Spalazzi99
Luca Spalazzi:
A planning language for embedded systems. J. Exp. Theor. Artif. Intell. 11(2): 219-238 (1999)
1998
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/Spalazzi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/Spalazzi98
Luca Spalazzi:
An Architecture for Planning in Embedded Systems. Appl. Intell. 8(2): 157-172 (1998)
1996
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/BenerecettiS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/BenerecettiS96
Massimo Benerecetti, Luca Spalazzi:
METAFOL: Program tactics and logic tactics plus reflection. Future Gener. Comput. Syst. 12(2-3): 139-156 (1996)
1995
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/TraversoSG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/TraversoSG95
Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia:
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. ATAL 1995: 65-78
[c3]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/TraversoS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/TraversoS95
Paolo Traverso, Luca Spalazzi:
A Logic for Acting, Sensing and Planning. IJCAI 1995: 1941-1949
1994
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/aai/TraversoCSAG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aai/TraversoCSAG94
Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia:
MRG: Building planers for real-world complex applications. Appl. Artif. Intell. 8(3): 333-357 (1994)
[c2]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/GiunchigliaST94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GiunchigliaST94
Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso:
Planning with Failure. AIPS 1994: 74-79
1992
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/TraversoCS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/TraversoCS92
Paolo Traverso, Alessandro Cimatti, Luca Spalazzi:
Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.