Gerardo Schneider
Avdelningschef vid
Chalmers, Data- och informationsteknik, Formella metoder
http://www.cse.chalmers.se/~gersch/
Källa: chalmers.se
Visar 4 publikationer
2018
MoVEMo - A structured approach for engineering reward functions
Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al
Paper i proceeding
2018
Timed epistemic knowledge bases for social networks
Raul Pardo Jimenez, César Sánchez, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10951, p. 185-202
Paper i proceeding
2018
A web-based tool for analysing normative documents in english
John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
Proceedings of the ACM Symposium on Applied Computing. Vol. Part F137816, p. 1865-1872
Paper i proceeding
2017
Participatory verification of railway infrastructure by representing regulations in RailCNL
Bjørnar Luteberget, John J. Camilleri, Christian Johansen et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10469 LNCS, p. 87-103
Paper i proceeding
Visar 1 forskningsprojekt
2012–2016
Informationsdriven säker Business Intelligence (DataBIN)
David Sands
Programvaruteknik
Devdatt Dubhashi
Datavetenskap
Peter Damaschke
Datavetenskap
Gerardo Schneider
Programvaruteknik
Olof Mogren
Datavetenskap
Raul Pardo Jimenez
Programvaruteknik
Hamid Ebadi Tavallaei
Programvaruteknik
Fredrik Johansson
Datavetenskap
Andrei Sabelfeld
Programvaruteknik
Stiftelsen för Strategisk forskning (SSF)
Det kan finnas fler projekt där Gerardo Schneider medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.