Skip to contents

Nicola, Rocco De [Other]; De Nicola, Rocco [Editor] ; ESOP 16 2007 Braga, ETAPS 10 2007 Braga

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4421
Nicola, Rocco De [Other]; De Nicola, Rocco [Editor] ; International Conference on Coordination Models and Languages 6 2004 Pisa

Coordination models and languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24 - 27, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2949
De Nicola, Rocco [Editor]; Sangiorgi, Davide [Other] ; TGC 1 2005 Edinburgh

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7 - 9, 2005 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3705
Degano, Pierpaolo [Editor]; Montanari, Ugo [Honoree]; De Nicola, Rocco [Other]; Meseguer, José [Other]

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5065
Porpora, Nicola [Author] ; Jaroussky, Philippe [Performer]; Bartoli, Cecilia [Performer]; Marcon, Andrea [Performer]; Broschi, Carlo [Other] Orchestra Barocca Venedig

Porpora Arias - [World premiere recordings] (1 CD)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[s.l.]: Erato, P 2013

Published in: Warner Classics
Metastasio, Pietro [Other]; Mysliveček, Josef [Other]; Paisiello, Giovanni [Other]; Pérez, David [Other]; Pergolesi, Giovanni Battista [Other]; Piccinni, Niccolò [Other]; Sarti, Giuseppe [Other]; Traetta, Tommaso [Other]; Vivaldi, Antonio [Other]; Caldara, Antonio [Other]; Cherubini, Luigi [Other]; Cimarosa, Domenico [Other]; Galuppi, Baldassare [Other]; Gassmann, Florian Leopold [Other]; Hasse, Johann Adolf [Other]; Jommelli, Niccolò [Other]; Leo, Leonardo [Other]; Chryssicos, Markellos [Performer]; Basso, Romina [Performer]; Gottwald, Franziska [Performer]; Gauvin, Karina [Performer]; Phan, Nicholas [Performer]; Rosique, Ruth [Performer]; Spanos, Nicholas [Performer] ; Orchestra Barocca Venedig

L' olimpiade (2 CDs)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: Naïve, c 2012
Philippus Solitarius [Author] ; Pontanus, Jacobus [Translator]; Pontanus, Jacobus [Other]; Nicolaus Cabasilas [Other]; Johannes Carpathius [Other]; Philotheus Coccinus [Other]; Michael Glycas [Other]; Gregorius Nazianzenus [Honoree]; Johannes Chrysostomus [Honoree]; Basilius Caesariensis [Honoree]

Philippi Solitarii Dioptra, id est, Regvla, siue Amvssis Rei Christianae, Ad Callinicvm Monachvm : Qvatvor Libris Per Dialogum explicata

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.], 1604

Published in: Bibliotheca Palatina ; e,826,1
De Nicola, Rocco [Editor]; Kühn, Eva [Editor]

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9763
De Nicola, Rocco [Other]; Sangiorgi, Davide [Other]

Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3705
De Nicola, Rocco [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=773184

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2001

Published in: ACM Digital Library- ACM Conferences
Warnke, Tom [Author] ; Uhrmacher, Adelinde [Other]; De Nicola, Rocco [Other]; Vangheluwe, Hans [Other]

Domain-specific languages for modeling and simulation

View online
Schließen

Access

https://d-nb.info/1293662739/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Rostock: Universität Rostock, 2020
Warnke, Tom [Author] ; Uhrmacher, Adelinde [Degree supervisor]; De Nicola, Rocco [Degree supervisor]; Vangheluwe, Hans [Degree supervisor] Universität Rostock, Universität Rostock Fakultät für Informatik und Elektrotechnik

Domain-specific languages for modeling and simulation

View online
Schließen

Access

http://purl.uni-rostock.de/rosdok/id00002966

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Rostock: Universität, 2020
Bernardo, Marco [Editor]; De Nicola, Rocco [Editor]; Hillston, Jane [Editor]

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9700
De Nicola, Rocco [Author]; Goltz, Ursula [Author]; Vaandrager, Frits [Author] ; Rocco De Nicola and Ursula Goltz and Frits Vaandrager [Contributor]

Expressiveness in Concurrency (Dagstuhl Seminar 9638)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1997
Siwach, Chinmay [Author]; Costa, Gabriele [Author]; Nicola, Rocco De [Author]

Enhancing Malware Classification with Symbolic Features

View online
Schließen

Access

http://ceur-ws.org/Vol-2940/#paper43

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: ITASEC (5. : 2021 : Online): ITASEC 2021: Italian Conference on CyberSecurity 2021 ; (2021), Seite 509-522
Seebach, Hella [Author]; Belzner, Lenz [Author]; Gribaudo, Marco [Author]; Klarl, Anabelle [Author]; Loreti, Michele [Author]; Montanari, Ugo [Author]; Nenzi, Laura [Author]; De Nicola, Rocco [Author]; Scholliers, Christophe [Author]; Tuma, Petr [Author]; Wirsing, Martin [Author]

Modelling, specification, and programming for collective adaptive systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2019-11-04
Warnke, Tom (gnd 1228559716) [Author] ; Uhrmacher, Adelinde (gnd: 136258794) AkademischeR BetreuerIn [Contributor]; De Nicola, Rocco (gnd: 1067162577) AkademischeR BetreuerIn [Contributor]; Vangheluwe, Hans AkademischeR BetreuerIn [Contributor]; Universität Rostock (gnd: 38329-6) Grad-verleihende Institution [Contributor]; Universität Rostock Fakultät für Informatik und Elektrotechnik (gnd: 10085032-7) Grad-verleihende Institution [Contributor]

Domain-specific languages for modeling and simulation

View online
Schließen

Links

https://rosdok.uni-rostock.de/resolve/id/rosdok_disshab_0000002465

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Rostock Rostock, 2020 2020
De Nicola, Rocco

Formal Aspects of Component Software: A Formal Approach to Autonomic Systems Programming: The SCEL Language : (Long Abstract)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Formal Aspects of Component Software (2015), Seite 24-28
De Nicola, Rocco

Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems : A Language-based Approach to Autonomic Component Ensembles Programming : A Language-based Approach to Autonomic Component Ensembles Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2012

Published in: Electronic Proceedings in Theoretical Computer Science, 98 (2012), Seite 1-1
De Nicola, Rocco

A Uniform Framework for Modeling Processes Behaviors and their Performances : Invited Presentation (joint with PACO) at the Fourth Interaction and Concurrency Experience : Invited Presentation (joint with PACO) at the Fourth Interaction and Concurrency Experience

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2011

Published in: Electronic Proceedings in Theoretical Computer Science, 59 (2011), Seite 68-68

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication