Rudolf Schlatte

Bilde av Rudolf Schlatte
English version of this page
Telefon +47 22852971
Rom 8466
Brukernavn
Besøksadresse Gaustadalleen 23 B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo

Publikasjoner

Se alle arbeider i Cristin

  • Schlatte, Rudolf (2020). Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer. ISBN 978-3-030-47360-0. 237 s.

Se alle arbeider i Cristin

  • Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James & Cservenka, Martin Holm [Vis alle 11 forfattere av denne artikkelen] (2020). Software and Reversible Systems: A Survey of Recent Activities, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer. ISSN 978-3-030-47360-0. s. 41–59. doi: https%3A/doi.org/10.1007/978-3-030-47361-7_2.
  • Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf & Neuenstadt, Christian [Vis alle 11 forfattere av denne artikkelen] (2016). Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. CEUR Workshop Proceedings. ISSN 1613-0073. 1818.
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias & Boer, de Frank [Vis alle 24 forfattere av denne artikkelen] (2009). Credo methodology - Modeling and analyzing a peer-to-peer system in Credo.
  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Springer. ISSN 978-82-7368-464-6. Fulltekst i vitenarkiv
  • Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf & Griesmayer, Andreas (2010). Validation of Creol Models for Routing Algorithms in Wireless Sensor Networks. Norsk Regnesentral. ISSN 978-82-539-0534-1.

Se alle arbeider i Cristin

Publisert 3. mars 2011 20:32 - Sist endret 9. mai 2016 11:25