![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Francesco Pagliarecci
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
- [j3]Francesco Pagliarecci, Luca Spalazzi
, Francesco Spegni
:
Model checking grid security. Future Gener. Comput. Syst. 29(3): 811-827 (2013) - [c21]Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari:
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. Description Logics 2013: 885-897 - 2012
- [j2]Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
:
Model Checking Semantically Annotated Services. IEEE Trans. Software Eng. 38(3): 592-608 (2012) - [c20]Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari:
Application of SWSAL in Semantic Annotation of RESTful Web Services. INVIT 2012: 11-18 - 2011
- [c19]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 - [c18]Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
:
Business process design framework for B2B collaboration. CTS 2011: 633-635 - [c17]Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi:
From Service Identification to Service Selection: an Interleaved Perspective. SEBD 2011: 421-428 - 2010
- [c16]Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
:
Semantic model checking security requirements for web services. HPCS 2010: 283-290 - [c15]Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi:
Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD 2010: 190-197 - [p1]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
- 2009
- [j1]Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi:
An IPS for Web Applications. J. Comput. 4(5): 387-394 (2009) - [c14]Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli:
JEAP - JAVA environment for Agent platform. IADIS AC (1) 2009: 149-156 - [c13]C. Cioffi, Francesco Pagliarecci, Luca Spalazzi
:
An anomaly-based system for parental control. HPCS 2009: 193-199 - [c12]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
- [c11]Francesco Pagliarecci, Luca Spalazzi
, Mark-Oliver Stehr, Carolyn L. Talcott:
Formal specification of agent-object oriented programs. CTS 2008: 127-134 - [c10]Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Semantic Annotation for Web Service Processes. SEBD 2008: 69-80 - [c9]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 - 2007
- [c8]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 - [c7]Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232 - 2006
- [c6]Gianluca Capuzzi, Luca Spalazzi
, Francesco Pagliarecci:
IRSS: Incident Response Support System. CTS 2006: 81-88 - [c5]Francesco Pagliarecci, Luca Spalazzi
, Gianluca Capuzzi:
Formal Definition of an Agent-Object Programming Language. CTS 2006: 298-305 - [c4]Francesco Pagliarecci:
Semantics of Alan. STAIRS 2006: 14-25 - 2005
- [c3]Maurizio Panti, Luca Spalazzi
, Simone Tacconi, Francesco Pagliarecci:
Model checking the security of multi-protocol systems. CTS 2005: 92-99 - [c2]Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
:
An agent-based supply-chain management. CTS 2005: 181-186 - [c1]Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi:
An Agent-Based Supply-Chain Management. SEBD 2005: 117-124
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint