• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • De Nicola, Rocco (15)
    • Loreti, Michele (6)
    • Pugliese, Rosario (5)
    • Tiezzi, Francesco (4)
    • Bortolussi, Luca (2)
    • Degano, Pierpaolo (2)
    • Di Stefano, Luca (2)
    • Galpin, Vashti (2)
    • Gilmore, Stephen (2)
    • Inverso, Omar (2)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 18 of 18 1 A Formal Approach to the Engineering of Domain-Specific Distributed Systems Nicola, Rocco,; Ferrari, Gianluigi; Pugliese, Rosario... In: Lecture Notes in Computer Science ; 20th International Conference on Coordination Languages and Models (COORDINATION) ; https://hal.inria.fr/hal-01821499 ; 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩ (2018) BASE Show details 2 Towards formal models and languages for verifiable Multi-Robot Systems ... De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar. - : arXiv, 2018 BASE Show details 3 Toward Formal Models and Languages for Verifiable Multi-Robot Systems De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar In: Front Robot AI (2018) BASE Show details 4 Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication ... Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele. - : arXiv, 2017 BASE Show details 5 Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication Abd Alrahman, Yehia Moustafa; De Nicola, Rocco; Loreti, Michele. - : arXiv, 2017 BASE Show details 6 CARMA: Collective Adaptive Resource-sharing Markovian Agents ... Bortolussi, Luca; De Nicola, Rocco; Galpin, Vashti. - : arXiv, 2015 BASE Show details 7 Replicating Data for Better Performances in X10 Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto. - : Springer, 2015 BASE Show details 8 Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter De Nicola, Rocco; Maggi, Alessandro; Petrocchi, Marinella. - : Springer, 2015 BASE Show details 9 A formal approach to autonomic systems programming: the SCEL language De Nicola, Rocco. - : Springer, 2015 BASE Show details 10 CARMA: Collective Adaptive Resource-sharing Markovian Agents Bortolussi, Luca; De Nicola, Rocco; Galpin, Vashti. - : arXiv, 2015 BASE Show details 11 A formal approach to autonomic systems programming: the SCEL Language De Nicola, Rocco; Loreti, Michele; Pugliese, Rosario. - : ACM, 2014 BASE Show details 12 A Language-Based Approach to Autonomic Computing Pugliese, Rosario; De Nicola, Rocco; Ferrari, GianLuigi. - : Springer, 2013 BASE Show details 13 From Flow Logic to Static Type Systems for Coordination Languages De Nicola, Rocco; Gorla, Daniele; Hansen, Rene Rydhof. - : Springer, 2008 BASE Show details 14 Specifying and Analysing SOC Applications with COWS Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco. - : Springer, 2008 BASE Show details 15 Translating Strong Mobility into Weak Mobility De Nicola, Rocco; Bettini, Lorenzo. - : Springer, 2001 BASE Show details 16 A finite axiomatization of nondeterministic regular expressions Corradini, Flavio; Nicola, Rocco de; Labella, Anna In: Theoretical informatics and applications. - Cambridge, Mass. : EDP Sciences 33 (1999) 4-5, 447-465 BLLDB Show details 17 CCS is an (Augmented) Contact Free C/E System Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo. - : Springer, 1986 BASE Show details 18 Two complete axiom systems for a theory of communicating sequential processes Nicola, Rocco de In: Information and control. - New York, NY [u.a.] : Academ. Pr. 64 (1985) 1-3, 136-172 BLLDB Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 2 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 16 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0