Autor: "Bodei, Chiara" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Modelling and analysing IoT systems
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio; Pokaż więcej
Źródło:: In Journal of Parallel and Distributed Computing November 2021 157:233-242

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The link-calculus for open multiparty interactions
Autorzy:: Bodei, Chiara
Brodo, Linda
Bruni, Roberto; Pokaż więcej
Źródło:: In Information and Computation December 2020 275

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Revealing the Trajectories of KLAIM Tuples, Statically
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio; Pokaż więcej
Źródło:: Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. 11665:437-454

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Natural Projection as Partial Model Checking
Autorzy:: Costa, Gabriele
Galletta, Letterio
Degano, Pierpaolo
Basin, David
Bodei, Chiara; Pokaż więcej
Źródło:: Journal of Automated Reasoning. 64(7):1445-1481

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: From Natural Projection to Partial Model Checking and Back
Autorzy:: Costa, Gabriele
Basin, David
Bodei, Chiara
Degano, Pierpaolo
Galletta, Letterio; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. 10805:344-361

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Transcompiling Firewalls
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Focardi, Riccardo
Galletta, Letterio
Tempesta, Mauro; Pokaż więcej
Źródło:: Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. 10804:303-324

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Programming in a context-aware language
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio; Pokaż więcej
Źródło:: The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use. 75(12):7750-7764

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 8.

Tytuł:: Experimenting with a Context-Aware Language
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio; Pokaż więcej
Źródło:: Parallel Computing Technologies : 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings. 10421:3-17

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Causal static analysis for Brane Calculi
Autorzy:: Bodei, Chiara
Gori, Roberta
Levi, Francesca; Pokaż więcej
Źródło:: In Theoretical Computer Science 4 July 2015 587:73-103

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On the impact of discreteness and abstractions on modelling noise in gene regulatory networks
Autorzy:: Bodei, Chiara
Bortolussi, Luca
Chiarugi, Davide
Guerriero, Maria Luisa
Policriti, Alberto
Romanel, Alessandro; Pokaż więcej
Źródło:: In Computational Biology and Chemistry June 2015 56:98-108

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Static Evidences for Attack Reconstruction
Autorzy:: Bodei, Chiara
Brodo, Linda
Focardi, Riccardo; Pokaż więcej
Źródło:: Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 9465:162-182

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Pierpaolo Degano
Autorzy:: Bodei, Chiara
Ferrari, Gian-Luigi
Priami, Corrado; Pokaż więcej
Źródło:: Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 9465:1-6

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Where Do Your IoT Ingredients Come From?
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio; Pokaż więcej
Źródło:: Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. 9686:35-50

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Last Mile’s Resources
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio; Pokaż więcej
Źródło:: Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. 9560:33-53

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: A Global Occurrence Counting Analysis for Brane Calculi
Autorzy:: Bodei, Chiara
Brodo, Linda
Gori, Roberta
Hermith, Diana
Levi, Francesca; Pokaż więcej
Źródło:: Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. 9527:179-200

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Linguistic Mechanisms for Context-Aware Security
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Galletta, Letterio
Salvatori, Francesco; Pokaż więcej
Źródło:: Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. 8687:61-79

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: FWS: Analyzing, maintaining and transcompiling firewalls.
Autorzy:: Bodei, Chiara (AUTHOR) chiara@di.unipi.it
Ceragioli, Lorenzo (AUTHOR)
Degano, Pierpaolo (AUTHOR)
Focardi, Riccardo (AUTHOR)
Galletta, Letterio (AUTHOR)
Luccio, Flaminia (AUTHOR)
Tempesta, Mauro (AUTHOR)
Veronese, Lorenzo (AUTHOR); Pokaż więcej
Źródło:: Journal of Computer Security. 2021, Vol. 29 Issue 1, p77-134. 58p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 18.

Tytuł:: Open Multiparty Interaction
Autorzy:: Bodei, Chiara
Brodo, Linda
Bruni, Roberto; Pokaż więcej
Źródło:: Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. 7841:1-23

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Formalising Security in Ubiquitous and Cloud Scenarios
Autorzy:: Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio
Mezzetti, Gianluca; Pokaż więcej
Źródło:: Computer Information Systems and Industrial Management : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings. 7564:1-29

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Static Analysis Techniques for Session-Oriented Calculi
Autorzy:: Acciai, Lucia
Bodei, Chiara
Boreale, Michele
Bruni, Roberto
Vieira, Hugo T.; Pokaż więcej
Źródło:: Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. 6582:214-231

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Bodei, Chiara"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji