Contextual reasoning distilled von Benerecetti, M., Bouquet, P., Ghidini, C.

Volltext

Dynamic state machines for modelling railway control systems von Benerecetti, M., De Guglielmo, R., Gentile, U., Marrone, S., Mazzocca, N., Nardone, R., Peron, A., Velardi, L., Vittorini, V.

Volltext

AN ENVIRONMENT FOR THE SPECIFICATION AND VERIFICATION OF TIME-DEPENDENT SECURITY PROTOCOLS von Benerecetti, M, Cuomo, N, Peron, A

Volltext

An Environment for the Specification And Verification of Time-Dependent Security Protocols von Benerecetti, M., Cuomo, N., Peron, A.

Volltext

Soundness of Schema Matching Methods von Benerecetti, M., Bouquet, P., Zanobini, S.

Volltext

Verification of payment protocols via multiagent model checking von BENERECETTI, M, PANTI, M, SPALAZZI, L, TACCONI, S

Volltext

Model Checking Multiagent Systems von BENERECETTI, MASSIMO, GIUNCHIGLIA, FAUSTO, SERAFINI, LUCIANO

Volltext

Distributed Context-Aware Systems von Benerecetti, Massimo, Bouquet, Paolo, Bonifacio, Matteo

Volltext

On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective von Benerecetti, Massimo, Bouquet, Paolo, Ghidini, Chiara

Volltext

Model Checking Security Protocols Using a Logic of Belief von Benerecetti, Massimo, Giunchiglia, Fausto

Volltext

Formal specification of beliefs in multi-agent systems von Benerecetti, Massimo, Giunchiglia, Enrico, Serafini, Luciano, Villafiorita, Adolfo

Volltext

Revisiting synthesis of switching controllers for Linear Hybrid systems von Benerecetti, M., Faella, M., Minopoli, S.

Volltext

METAFOL: Program tactics and logic tactics plus reflection von Benerecetti, Massimo, Spalazzi, Luca

Volltext

A Model Checking Algorithm for Multi-agent Systems von Benerecetti, Massimo, Giunchiglia, Fausto, Serafini, Luciano

Volltext

Formalizing belief reports — The approach and a case study von Benerecetti, Massimo, Bouquet, Paolo, Ghidini, Chiara

Volltext

Timed protocols insecurity problem is NP-complete von Benerecetti, M, Cuomo, N, Peron, A

Volltext bestellen

Verification of Payment Protocols via MultiAgent Model Checking von Benerecetti, M., Panti, M., Spalazzi, L., Tacconi, S.

Volltext

The Molecular Dissection of mtDNA Haplogroup H Confirms That the Franco-Cantabrian Glacial Refuge Was a Major Source for the European Gene Pool von Achilli, Alessandro, Rengo, Chiara, Magri, Chiara, Battaglia, Vincenza, Olivieri, Anna, Scozzari, Rosaria, Cruciani, Fulvio, Zeviani, Massimo, Briem, Egill, Carelli, Valerio, Moral, Pedro, Dugoujon, Jean-Michel, Roostalu, Urmas, Loogväli, Eva-Liis, Kivisild, Toomas, Bandelt, Hans-Jürgen, Richards, Martin, Villems, Richard, Santachiara-Benerecetti, A.Silvana, Semino, Ornella, Torroni, Antonio

Volltext

mtDNA Legacy of the Levantine Early Upper Palaeolithic in Africa von Olivieri, Anna, Achilli, Alessandro, Pala, Maria, Battaglia, Vincenza, Fornarino, Simona, Al-Zahery, Nadia, Scozzari, Rosaria, Cruciani, Fulvio, Behar, Doron M, Dugoujon, Jean-Michel, Coudray, Clotilde, Santachiara-Benerecetti, A. Silvana, Semino, Ornella, Bandelt, Hans-Jürgen, Torroni, Antonio

Volltext

Saami and Berbers—An Unexpected Mitochondrial DNA Link von Achilli, Alessandro, Rengo, Chiara, Battaglia, Vincenza, Pala, Maria, Olivieri, Anna, Fornarino, Simona, Magri, Chiara, Scozzari, Rosaria, Babudri, Nora, Santachiara-Benerecetti, A. Silvana, Bandelt, Hans-Jürgen, Semino, Ornella, Torroni, Antonio

Volltext