Zum Inhalt springen

  4. Mödersheim, Sebastian [HerausgeberIn]; Palamidessi, Catuscia [Sonstige Person, Familie und Körperschaft] ; TOSCA 2011 Saarbrücken

    Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 6993

  5. Caires, Luís [HerausgeberIn]; Italiano, Guiseppe F. [Sonstige Person, Familie und Körperschaft]; Monteiro, Luís [Sonstige Person, Familie und Körperschaft]; Palamidessi, Catuscia [Sonstige Person, Familie und Körperschaft]; Yung, Moti [Sonstige Person, Familie und Körperschaft] ; ICALP 32 2005 Lissabon

    Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11 - 15, 2005 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 3580

  6. Palamidessi, Catuscia [VerfasserIn] ; Ryan, Mark D. [HerausgeberIn]

    Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8191

  7. Palamidessi, Catuscia [VerfasserIn]

    Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2916

  8. Palamidessi, Catuscia [VerfasserIn]

    Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 291600

  9. Palamidessi, Catuscia [VerfasserIn]

    CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1877

  10. Palamidessi, Catuscia [VerfasserIn] ; Glaser, Hugh [Sonstige Person, Familie und Körperschaft]; Meinke, Karl [Sonstige Person, Familie und Körperschaft]

    Principles of Declarative Programming : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1490

  11. Ábrahám, Erika [VerfasserIn] ; Palamidessi, Catuscia [HerausgeberIn]

    Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8461

  12. Mödersheim, Sebastian [VerfasserIn] ; Palamidessi, Catuscia [Sonstige Person, Familie und Körperschaft]

    Theory of Security and Applications : Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 6993

  13. Palamidessi, Catuscia [VerfasserIn]; Romanelli, Marco [VerfasserIn]

    Modern Applications of Game-Theoretic Principles (Invited Paper)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    LIPIcs - Leibniz International Proceedings in Informatics. 31st International Conference on Concurrency Theory (CONCUR 2020), 2020

  14. Malacaria, Paquale [VerfasserIn]; Palamidessi, Catuscia [VerfasserIn]

    Quantitative Security Analysis (Dagstuhl Seminar 12481)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl Reports. Dagstuhl Reports, Volume 2, Issue 11, 2013

  16. Falaschi, Moreno [VerfasserIn]; Palamidessi, Catuscia [VerfasserIn]; Romanelli, Marco [VerfasserIn]

    Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    OASIcs - OpenAccess Series in Informatics. Recent Developments in the Design and Implementation of Programming Languages, 2020

  17. Chatzikokolakis, Konstantinos [VerfasserIn]; Palamidessi, Catuscia [VerfasserIn]; Vignudelli, Valeria [VerfasserIn]

    Up-To Techniques for Generalized Bisimulation Metrics

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 27th International Conference on Concurrency Theory (CONCUR 2016), 2016

  18. Breugel, Franck [VerfasserIn] ; Kashefi, Elham [HerausgeberIn]; Palamidessi, Catuscia [HerausgeberIn]; Rutten, Jan [HerausgeberIn]

    Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8464

  19. Guzmán, Michell [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Palamidessi, Catuscia [MitwirkendeR]; Valencia, Frank [MitwirkendeR]

    On the expressiveness of spatial constraint systems ; Sur l'expressivité des systèmes de contraintes spatiales

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-09-26

  20. Bertrand, Nathalie [VerfasserIn]; de Alfaro, Luca [VerfasserIn]; van Glabbeek, Rob [VerfasserIn]; Palamidessi, Catuscia [VerfasserIn]; Yoshida, Nobuko [VerfasserIn]

    CONCUR Test-Of-Time Award 2021 (Invited Paper)

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    LIPIcs - Leibniz International Proceedings in Informatics. 32nd International Conference on Concurrency Theory (CONCUR 2021), 2021