Till sidans topp

Sidansvarig: Telefonväxeln
Sidan uppdaterades: 2018-05-25 15:09

Tipsa en vän
Utskriftsversion

Institutionen för data- och informationsteknik - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Institutionen för data- och informationsteknik

vid IT-fakulteten

Institutionen för data- och informationsteknik
412 96 Göteborg
Leveransadress: Rännvägen 6 B, 412 58 Göteborg
Besöksadress: Rännvägen 6 B, 412 58 Göteborg

Fax: 0317723663
Webbplats: www.chalmers.se/sv/institutioner/cse
Epost: cse@cse.gu.se

Prefekt: Charlotte Wiberg

Senaste publikationer

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , Berlin, Heidelberg, Springer, Paper i proceeding 2019
Paper i proceeding

A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli et al.
Formal Methods in System Design, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Recognizing lines of code violating company-specific coding guidelines using machine learning A Method and Its Evaluation
Miroslaw Ochodek, Regina Hebig, W. Meding, G. Frost, Miroslaw Staron
Empirical Software Engineering, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Service Design in HCI Research: The Extended Value Co-creation Model
Daisy Yoo, Anya Ernest, Sofia Serholt, Eva Eriksson, Peter Dalsgaard
Proceedings of the Halfway to the Future Symposium 2019 , Nottingham, United Kingdom, ACM, Paper i proceeding 2019
Paper i proceeding

Skolem's Theorem in Coherent Logic
M. Bezem, Thierry Coquand
Fundamenta Informaticae, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Issue Salience on Twitter During Swedish Party Leaders’ Debates
Linn Sandberg, Ulf Bjereld, Karina Bunyik, Markus Forsberg, Richard Johansson
Nordicom Review, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Searching for optimal models: Comparing two encoding approaches
Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strüber, Gabriele Taentzer et al.
Journal of Object Technology, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Character-based Recurrent Neural Networks for Morphological Relational Reasoning
Olof Mogren, Richard Johansson
Journal of Language Modeling, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Visar 1 - 50 av 146

Namn Titel Telefon E-post
Börjesson, Peter Doktorand borjessp@chalmers.se
Lange, Herbert Doktorand langeh@chalmers.se
Picazo-Sanchez, Pablo Postdoktor pablo.picazo-sanchez@cse.gu.se
Gerdes, Alex Universitetslektor alexg@chalmers.se
Almström Duregård, Jonas Universitetslektor jonas.duregard@chalmers.se
Garcia, Sergio Doktorand sergio.garcia@gu.se
Mukelabai, Mukelabai Doktorand muka@chalmers.se
Schroeder, Jan Doktorand jan.schroder@gu.se
Berger, Thorsten Universitetslektor thorsten.berger@gu.se
Tuma, Katja Doktorand katja.tuma@cse.gu.se
de Oliveira Neto, Francisco Universitetslektor, biträdande francisco.de.oliveira.neto@gu.se
Horkoff, Jennifer Universitetslektor, biträdande jenho@chalmers.se
Schliep, Alexander Universitetslektor alexander.schliep@cse.gu.se
Mohamad, Mazen Doktorand mazen.mohamad@gu.se
Grohe, Birgit Universitetsadjunkt birgit.grohe@gu.se
Andersson Vaughan, Jenny Ekonom jennyva@chalmers.se
Lind, Jenny Utbildningsadministratör jenny.lind@cse.gu.se
Strüber, Daniel Postdoktor daniel.struber@gu.se
Mahmood, Wardah Doktorand wardah.mahmood@gu.se
Cauli, Claudia Doktorand claudia.cauli@gu.se
Kronberg, Henrik Ekonomiassistent henrik.kronberg@cse.gu.se
Piterman, Nir Universitetslektor piterman@chalmers.se
Nairat, Malik Ahmad Hassan Doktorand/​projektassistent malik.nairat@gu.se
Lenberg, Per Forskare per.lenberg@gu.se
Bernskiöld, Oscar Ekonom oscberns@chalmers.se
Perelli, Giuseppe Postdoktor giuseppe.perelli@gu.se
Al-Sabbagh, Khaled Doktorand khaled.al-sabbagh@gu.se
Maro, Salome Doktorand salomem@chalmers.se
Hebig, Regina Universitetslektor hebig@chalmers.se
Calikli, Gul Universitetslektor, biträdande gul.calikli@gu.se
Burden, Håkan Universitetslektor, adjungerad hakan.burden@gu.se
Mousavi, Mohammadreza Professor, gäst mohammadreza.mousavi@gu.se
Jolak, Rodi Doktorand jolak@chalmers.se
Durisic, Darko Universitetslektor, adjungerad darko.durisic@gu.se
Samuelsson-Gamboa, Mafalda Universitetsadjunkt mafalda.gamboa@chalmers.se
Man, Yemao Universitetsadjunkt yemao@chalmers.se
Pelliccione, Patrizio Universitetslektor patrizio@chalmers.se
Abd Alrahman, Yehia Postdoktor yehia.abd.alrahman@gu.se
Gay, Gregory Universitetslektor, biträdande gregory.gay@gu.se
Prasad, Kuchi V S Docent prasad@chalmers.se
Nordlander, Johan Gästforskare johnordl@chalmers.se
Gorschek, Tony Gästlärare gorschek@chalmers.se
Sveningsson, Josef Forskarassistent josefs@chalmers.se
Sintorn, Erik Doktorand, Projektassistent erik.sintorn@chalmers.se
Almström Duregård, Jonas Doktorand 031-7721028 jonas.duregard@chalmers.se
Hughes, John Professor 031-772 1001 rjmh@chalmers.se
von Hacht, Joachim Universitetsadjunkt 031-772 1003 joachim.hacht@chalmers.se
Holmström, Erland Universitetsadjunkt 031-772 1007 erland@chalmers.se
Ahrendt, Wolfgang Docent 031-772 1011 ahrendt@chalmers.se
Skansholm, Jan Universitetslektor 031-772 1012 skansholm@chalmers.se

Visar 1 - 50 av 146

Visar 61 - 70 av 791

2018

Modeling Support for Strategic API Planning and Analysis
Jennifer Horkoff, Juho Lindman, Imed Hammouda, Eric Knauss, Jamel Debbiche et al.
Lecture Notes in Business Information Processing, Springer Nature Switzerland AG 2018, Paper i proceeding 2018
Paper i proceeding

Accident Scenario Generation with Recurrent Neural Networks
Ian Rhys Jenkins, Ludvig Oliver Gee, Alessia Knauss, Hang Yin, Jan Schröder
IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, Paper i proceeding 2018
Paper i proceeding

Diversity in UML Modeling Explained: Observations, Classifications and Theorizations
Michel Chaudron, Ana Fernandes-Saez, Regina Hebig, Truong Ho-Quang, Rodi Jolak
International Conference on Current Trends in Theory and Practice of Informatics, Springer, Paper i proceeding 2018
Paper i proceeding

Effective engineering of multi-robot software applications
Sergio Garcia
ICSE '18 Proceedings of the 40th International Conference on Software Engineering, Paper i proceeding 2018
Paper i proceeding

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
A. Rodrigues, R. D. Caldas, G. N. Rodrigues, T. Vogel, Patrizio Pelliccione et al.
SEAMS '18 Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, Paper i proceeding 2018
Paper i proceeding

Elaborating dependent (co)pattern matching
Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Effects of automated competency evaluation on software engineers' emotions and motivation: A case study
Gul Calikli, Mohammed Al-Eryani, Emil Baldebo, Jennifer Horkoff, Alexander Ask
SEmotion '18 Proceedings of the 3rd International Workshop on Emotion Awareness in Software Engineering , Paper i proceeding 2018
Paper i proceeding

Multi-robot LTL planning under uncertainty
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
International Symposium on Formal Methods, Paper i proceeding 2018
Paper i proceeding

Measurements in the Early Stage Software Start-ups: A Multiple Case Study in a Nascent Ecosystem
G. Kamulegeya, R. Mugwanya, Regina Hebig
Foundations of Computing and Decision Sciences, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Visar 61 - 70 av 791

Sidansvarig: Telefonväxeln|Sidan uppdaterades: 2018-05-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?