WS04.05 Alternative targets for the treatment of cystic fibrosis basic defect von Guida, F., Gorrieri, G., Musante, I., Casciaro, R., Ciciriello, F., Zara, F., Scudieri, P.

Volltext

390 Proof-of-concept of ionocyte cystic fibrosis transmembrane conductance regulator content as a novel biomarker for cystic fibrosis von Scudieri, P., Ciciriello, F., Guida, F., Gorrieri, G., Alghisi, F., Majo, F., Panatta, M., Marini, G., Fiocchi, A., Musante, I.

Volltext

P014 Proof of concept of ionocytes’ CFTR content as a novel biomarker for cystic fibrosis diagnosis and follow-up von Ciciriello, F., Guida, F., Gorrieri, G., Musante, I., Alghisi, F., Panatta, M.L., Marini, G., Fiocchi, A., Scudieri, P.

Volltext

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures von Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto

Volltext

Long-term results of catheter-based treatment of pulmonary atresia and intact ventricular septum von Marasini, M, Gorrieri, P F, Tuo, G, Zannini, L, Guido, P, Pellegrini, M, Bondanza, S, Calevo, M G, Pongiglione, G

Volltext

Verification of concurrent programs with Chalice von Leino, K. Rustan M, Müller, Peter, Smans, Jan

Volltext

Choreography and Orchestration: A Synergic Approach for System Design von Busi, Nadia, Gorrieri, Roberto, Guidi, Claudio, Lucchi, Roberto, Zavattaro, Gianluigi

Volltext

On the Relationship between π-Calculus and Finite Place/Transition Petri Nets von Meyer, Roland, Gorrieri, Roberto

Volltext

Quantitative information in the tuple space coordination model von Bravetti, Mario, Gorrieri, Roberto, Lucchi, Roberto, Zavattaro, Gianluigi

Volltext

Reasoning About Interaction Patterns in Choreography von Gorrieri, Roberto, Guidi, Claudio, Lucchi, Roberto

Volltext

The equivalence problem for deterministic pushdown automata is decidable von SENIZERGUES, G

Volltext

A process algebraic view of Linda coordination primitives von Busi, Nadia, Gorrieri, Roberto, Zavattaro, Gianluigi

Volltext

Formal methods for smartcard security von BARTHE, Gilles, DUFAY, Guillaume

Volltext

On the Expressiveness of Linda Coordination Primitives von Busi, Nadia, Gorrieri, Roberto, Zavattaro, Gianluigi

Volltext

Process calculi for coordination: From linda to JavaSpaces von BUSI, N, GORRIERI, R, ZAVATTARO, G

Volltext

Towards a formal framework for choreography von Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.

Volltext

Comparing three semantics for Linda-like languages von Busi, Nadia, Gorrieri, Roberto, Zavattaro, Gianluigi

Volltext

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model von Bravetti, Mario, Gorrieri, Roberto, Lucchi, Roberto, Zavattaro, Gianluigi

Volltext

Complicated pericardial cyst: Atypical anatomy and clinical course von Bava, Gian Lauro, Magliani, Lucia, Bertoli, Daniele, Gorrieri, Pier Francesco, Rimini, Alessandro, Zaccagnini, Gianfranco, Bertolini, Alberto

Volltext

Three semantics of the output operation for generative communication von Busi, Nadia, Gorrieri, Roberto, Zavattaro, Gianluigi

Volltext