default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRocco De Nicola
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j80]Manuel Pratelli
, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Online disinformation in the 2020 U.S. election: swing vs. safe states. EPJ Data Sci. 13(1): 25 (2024)- [i21]Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Online disinformation in the 2020 U.S. Election: swing vs. safe states. CoRR abs/2402.18664 (2024) - [i20]Simone Soderi, Rocco De Nicola:
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN. CoRR abs/2404.15858 (2024) - [i19]Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed. CoRR abs/2404.19418 (2024) - [i18]Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Detection of Energy Consumption Cyber Attacks on Smart Devices. CoRR abs/2404.19434 (2024) - [i17]Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Mitigating and Analysis of Memory Usage Attack in IoE System. CoRR abs/2404.19480 (2024) - [i16]Irene Amerini, Mauro Barni, Sebastiano Battiato, Paolo Bestagini, Giulia Boato, Tania Sari Bonaventura, Vittoria Bruni, Roberto Caldelli, Francesco G. B. De Natale, Rocco De Nicola, Luca Guarnera, Sara Mandelli, Gian Luca Marcialis, Marco Micheletto, Andrea Montibeller, Giulia Orrù, Alessandro Ortis, Pericle Perazzo, Giovanni Puglisi, Davide Salvi, Stefano Tubaro, Claudia Melis Tonti, Massimo Villari, Domenico Vitulano:
Deepfake Media Forensics: State of the Art and Challenges Ahead. CoRR abs/2408.00388 (2024) - 2023
- [j79]Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti:
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35(16) (2023) - [j78]Rocco De Nicola, Hernán C. Melgratti:
Multiparty testing preorders. Log. Methods Comput. Sci. 19(1) (2023) - [j77]Martin Wirsing, Stefan Jähnichen, Rocco De Nicola:
Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. 25(5): 617-624 (2023) - [j76]Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. 25(5): 675-691 (2023) - [c157]Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB 2023: 44-61 - [c156]Simone Soderi, Rocco De Nicola:
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN. EISA 2023: 164-183 - [c155]Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Detection of Energy Consumption Cyber Attacks on Smart Devices. FABULOUS 2023: 160-176 - [c154]Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? WWW (Companion Volume) 2023: 1395-1403 - [i15]Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? CoRR abs/2303.12474 (2023) - 2022
- [j75]Simone Soderi, Rocco De Nicola:
6G Networks Physical Layer Security Using RGB Visible Light Communications. IEEE Access 10: 5482-5496 (2022) - [j74]Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi:
Automated replication of tuple spaces via static analysis. Sci. Comput. Program. 223: 102863 (2022) - [j73]Luca Di Stefano, Rocco De Nicola, Omar Inverso:
Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. 31(3): 37:1-37:41 (2022) - [c153]Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 512-523 - [c152]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition. ISoLA (3) 2022: 3-12 - [c151]Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) 2022: 82-96 - 2021
- [j72]Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola:
Framework, Tools and Good Practices for Cybersecurity Curricula. IEEE Access 9: 94723-94747 (2021) - [j71]Rafael Brundo Uriarte, Huan Zhou, Kyriakos Kritikos, Zeshun Shi, Zhiming Zhao, Rocco De Nicola:
Distributed service-level agreement management with smart contracts and blockchain. Concurr. Comput. Pract. Exp. 33(14) (2021) - [j70]Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco:
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. EPJ Data Sci. 10(1): 34 (2021) - [j69]Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco:
Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. EPJ Data Sci. 10(1): 38 (2021) - [j68]Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli:
On the efficacy of old features for the detection of new bots. Inf. Process. Manag. 58(6): 102685 (2021) - [j67]Paolo Bottoni, Rocco De Nicola, Daniele Gorla:
Tribute to Anna Labella. J. Log. Algebraic Methods Program. 121: 100663 (2021) - [j66]Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
A behavioural analysis of credulous Twitter users. Online Soc. Networks Media 23: 100133 (2021) - [j65]Rocco De Nicola, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021) - [c150]Aline Uwimbabazi, Omar Inverso, Rocco De Nicola:
Automated Replication of Tuple Spaces via Static Analysis. FSEN 2021: 18-34 - [c149]Chinmay Siwach, Gabriele Costa, Rocco De Nicola:
Enhancing Malware Classification with Symbolic Features. ITASEC 2021: 509-522 - [i14]Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
A Behavioural Analysis of Credulous Twitter Users. CoRR abs/2101.10782 (2021) - 2020
- [j64]Yesim Tonga Uriarte, Marinella Petrocchi, Maria Luisa Catoni, Stefano Cresci, Rocco De Nicola, Maurizio Tesconi, Rafael Brundo Uriarte:
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games. J. Inf. Technol. Tour. 22(4): 625-648 (2020) - [j63]Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111: 100511 (2020) - [j62]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Multi-agent systems with virtual stigmergy. Sci. Comput. Program. 187: 102345 (2020) - [j61]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192: 102428 (2020) - [j60]Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4): 389-397 (2020) - [j59]Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. Int. J. Softw. Tools Technol. Transf. 22(4): 437-455 (2020) - [c148]Alessandro Balestrucci, Rocco De Nicola:
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter. EAIS 2020: 1-8 - [c147]Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi:
Verification of Privacy-Enhanced Collaborations. FormaliSE@ICSE 2020: 141-152 - [c146]Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi:
PALM: A Technique for Process ALgebraic Specification Mining. IFM 2020: 397-418 - [c145]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) 2020: 161-170 - [c144]Rocco De Nicola, Tan Duong, Omar Inverso:
Verifying AbC Specifications via Emulation. ISoLA (2) 2020: 261-279 - [i13]Alessandro Balestrucci, Rocco De Nicola:
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter. CoRR abs/2005.03550 (2020) - [i12]Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco:
Analysis of online misinformation during the peak of the COVID-19 pandemics in Italy. CoRR abs/2010.01913 (2020)
2010 – 2019
- 2019
- [j58]Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca, Francesco Tiezzi:
Defining and guaranteeing dynamic service levels in clouds. Future Gener. Comput. Syst. 99: 27-40 (2019) - [j57]Atakan Aral, Ivona Brandic, Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca:
Addressing Application Latency Requirements through Edge Scheduling. J. Grid Comput. 17(4): 677-698 (2019) - [j56]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019) - [c143]Alessandro Maggi, Rocco De Nicola, Joseph Sifakis:
A Logic-Inspired Approach to Reconfigurable System Modelling. From Reactive Systems to Cyber-Physical Systems 2019: 181-201 - [c142]Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 377-396 - [c141]Rocco De Nicola, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128 - [c140]Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
Do You Really Follow Them? Automatic Detection of Credulous Twitter Users. IDEAL (1) 2019: 402-410 - [c139]Vittoria Cozza, Van Tien Hoang, Marinella Petrocchi, Rocco De Nicola:
Transparency in Keyword Faceted Search: An Investigation on Google Shopping. IRCDL 2019: 29-43 - [c138]Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani:
Identification of credulous users on Twitter. SAC 2019: 2096-2103 - [i11]Guido Caldarelli, Rocco De Nicola, Fabio Del Vigna, Marinella Petrocchi, Fabio Saracco:
The role of bot squads in the political propaganda on Twitter. CoRR abs/1905.12687 (2019) - [i10]Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
Do you really follow them? Automatic detection of credulous Twitter users. CoRR abs/1909.03851 (2019) - [i9]Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR abs/1912.01289 (2019) - 2018
- [j55]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Evaluating the efficiency of Linda implementations. Concurr. Comput. Pract. Exp. 30(8) (2018) - [j54]Rafael Brundo Uriarte, Rocco De Nicola:
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards. IEEE Commun. Stand. Mag. 2(3): 22-28 (2018) - [j53]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Frontiers Robotics AI 5: 94 (2018) - [j52]Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168: 71-93 (2018) - [c137]Vincenzo Scoca, Atakan Aral, Ivona Brandic, Rocco De Nicola, Rafael Brundo Uriarte:
Scheduling Latency-Sensitive Applications in Edge Computing. CLOSER 2018: 158-168 - [c136]Rafael Brundo Uriarte, Rocco De Nicola, Kyriakos Kritikos:
Towards Distributed SLA Management with Smart Contracts and Blockchain. CloudCom 2018: 266-271 - [c135]Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141 - [c134]Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20 - [c133]Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) 2018: 3-12 - [c132]Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling. ISoLA (3) 2018: 13-31 - [c131]Stefan Jähnichen, Rocco De Nicola, Martin Wirsing:
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) 2018: 109-117 - [c130]Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi:
GoAt: Attribute-Based Interaction in Google Go. ISoLA (3) 2018: 288-303 - [c129]Michelangelo Puliga, Guido Caldarelli, Alessandro Chessa, Rocco De Nicola:
Understanding the Twitter User Networks of Viruses and Ransomware Attacks. ITASEC 2018 - [c128]Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina:
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP 2018: 302-305 - [c127]Irfan Khan Tanoli, Marinella Petrocchi, Rocco De Nicola:
Towards automatic translation of social network policies into controlled natural language. RCIS 2018: 1-12 - [c126]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Multi-agent Systems with Virtual Stigmergy. STAF Workshops 2018: 351-366 - [d1]Vittoria Cozza, Van Tien Hoang, Marinella Petrocchi, Rocco De Nicola:
Transparency in Keyword Faceted Search: a dataset of Google Shopping html pages. Zenodo, 2018
- [i8]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Towards formal models and languages for verifiable Multi-Robot Systems. CoRR abs/1804.08091 (2018) - [i7]Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). CoRR abs/1805.03724 (2018) - 2017
- [j51]Anna Labella, Rocco De Nicola:
Initial Algebra for a System of Right-Linear Functors. Acta Cybern. 23(1): 191-201 (2017) - [c125]Vincenzo Scoca, Rafael Brundo Uriarte, Rocco De Nicola:
Smart Contract Negotiation in Cloud Computing. CLOUD 2017: 592-599 - [c124]Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd 2017: 169-190 - [c123]Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION 2017: 21-39 - [c122]Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang at Work. SOFSEM 2017: 485-497 - [i6]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR abs/1711.06092 (2017) - [i5]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017) - 2016
- [c121]Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi 2016: 236-251 - [c120]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple Spaces Implementations and Their Efficiency. COORDINATION 2016: 51-66 - [c119]Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola:
Dynamic SLAs for Clouds. ESOCC 2016: 34-49 - [c118]Van Tien Hoang, Vittoria Cozza, Marinella Petrocchi, Rocco De Nicola:
Online User Behavioural Modeling with Applications to Price Steering. FINREC 2016: 16-21 - [c117]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18 - [c116]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553 - [e8]Rocco De Nicola, Eva Kühn:
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. Lecture Notes in Computer Science 9763, Springer 2016, ISBN 978-3-319-41590-1 [contents] - [e7]Marco Bernardo, Rocco De Nicola, Jane Hillston:
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science 9700, Springer 2016, ISBN 978-3-319-34095-1 [contents] - [i4]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016) - [i3]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple spaces implementations and their efficiency. CoRR abs/1612.02979 (2016) - [i2]Rocco De Nicola, Hernán C. Melgratti:
Multiparty testing preorders. CoRR abs/1612.03191 (2016) - 2015
- [j50]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1): 61-106 (2015) - [j49]Rocco De Nicola:
EATCS Fellows 2016 - Call for Nominations. Bull. EATCS 117 (2015) - [j48]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3): 666-709 (2015) - [c115]Rocco De Nicola, Rolf Hennicker:
A Homage to Martin Wirsing. Software, Services, and Systems 2015: 1-12 - [c114]Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira:
Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security 2015: 219-237 - [c113]Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replica-Based High-Performance Tuple Space Computing. COORDINATION 2015: 3-18 - [c112]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c111]Farshad Shams, Antonio Cerone, Rocco De Nicola:
On Integrating Social and Sensor Networks for Emergency Management. SEFM Workshops 2015: 145-160 - [c110]Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM 2015: 327-343 - [c109]Rocco De Nicola, Hernán C. Melgratti:
Multiparty Testing Preorders. TGC 2015: 16-31 - [c108]Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [c107]Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola:
Domain-specific queries and Web search personalization: some investigations. WWV 2015: 51-58 - [p3]Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [e6]Rocco De Nicola, Rolf Hennicker:
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 [contents] - 2014
- [j47]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014) - [j46]Rocco De Nicola:
Editor's Note. J. Log. Algebraic Methods Program. 83(2): 83 (2014) - [j45]Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [j44]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - [c106]Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi:
Reputation-Based Composition of Social Web Services.