Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Trust-Based Enforcement of Security Policies.

R. Vigo, A. Celestini, F. Tiezzi, R. Nicola, F. Nielson, und H. Nielson. TGC, Volume 8902 von Lecture Notes in Computer Science, Seite 176-191. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nicola Fanton University of Stuttgart

Nicola Mrdovic University of Stuttgart

Nicola Schuckert University of Stuttgart

PD Dr. Nicola Mößner University of Stuttgart

Dr. -Ing. Rocco Eisseler University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Proof Techniques for Cryptographic Processes.M. Boreale, R. Nicola, und R. Pugliese. LICS, Seite 157-166. IEEE Computer Society, (1999)An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.R. Nicola, A. Fantechi, S. Gnesi, und G. Ristori. Computer Networks and ISDN Systems, 25 (7): 761-778 (1993)Toward Formal Models and Languages for Verifiable Multi-Robot Systems.R. Nicola, L. Stefano, und O. Inverso. Front. Robotics and AI, (2018)On the expressive power of KLAIM-based calculi.R. Nicola, D. Gorla, und R. Pugliese. Theor. Comput. Sci., 356 (3): 387-421 (2006)Model checking mobile stochastic logic.R. Nicola, J. Katoen, D. Latella, M. Loreti, und M. Massink. Theor. Comput. Sci., 382 (1): 42-70 (2007)SoSL: A Service-Oriented Stochastic Logic.R. Nicola, D. Latella, M. Loreti, und M. Massink. Results of the SENSORIA Project, Volume 6582 von Lecture Notes in Computer Science, Springer, (2011)TAPAs: A Tool for the Analysis of Process Algebras.F. Calzolai, R. Nicola, M. Loreti, und F. Tiezzi. Trans. Petri Nets and Other Models of Concurrency, (2008)The SCEL Language: Design, Implementation, Verification.R. Nicola, D. Latella, A. Lluch-Lafuente, M. Loreti, A. Margheri, M. Massink, A. Morichetta, R. Pugliese, F. Tiezzi, und A. Vandin. The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.R. Nicola, A. Fantechi, S. Gnesi, und G. Ristori. CAV, Volume 575 von Lecture Notes in Computer Science, Seite 37-47. Springer, (1991)CCS is an (Augmented) Contact Free C/E System.P. Degano, R. Nicola, und U. Montanari. Mathematical Models for the Semantics of Parallelism, Volume 280 von Lecture Notes in Computer Science, Seite 144-165. Springer, (1986)