PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Nicola, Rocco De"

Author of the publication

copydeleteadd this publication to your clipboard
Toward Formal Models and Languages for Verifiable Multi-Robot Systems.

, , and . Front. Robotics and AI, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , and . Computer Networks and ISDN Systems, 25 (7): 761-778 (1993)Proof Techniques for Cryptographic Processes., , and . LICS, page 157-166. IEEE Computer Society, (1999)Toward Formal Models and Languages for Verifiable Multi-Robot Systems., , and . Front. Robotics and AI, (2018)Model checking mobile stochastic logic., , , , and . Theor. Comput. Sci., 382 (1): 42-70 (2007)On the expressive power of KLAIM-based calculi., , and . Theor. Comput. Sci., 356 (3): 387-421 (2006)The SCEL Language: Design, Implementation, Verification., , , , , , , , , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Orchestrating Tuple-Based Languages., , and . TGC, volume 7173 of Lecture Notes in Computer Science, page 160-178. Springer, (2011)Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes., , and . TGC, volume 6084 of Lecture Notes in Computer Science, page 35-56. Springer, (2010)TAPAs: A Tool for the Analysis of Process Algebras., , , and . Trans. Petri Nets and Other Models of Concurrency, (2008)Formal modeling and quantitative analysis of KLAIM-based mobile systems., , and . SAC, page 428-435. ACM, (2005)