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, 405 30 Göteborg

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

Prefekt: Johan Karlsson

Senaste publikationer

Automatically Linking Lexical Resources with Word Sense Embedding Models
Luis Nieto Piña, Richard Johansson
The Third Workshop on Semantic Deep Learning (SemDeep-3), August 20th, 2018, Santa Fe, New Mexico, USA / Luis Espinosa Anke, Thierry Declerck, Dagmar Gromann (eds.), Paper i proceeding 2018
Paper i proceeding

Formalizing Constructive Quantifier Elimination in Agda
Jeremy Pope
Electronic Proceedings in Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Agile Process Consultation — An Applied Psychology Approach to Agility
Lucas Gren
24th Americas Conference on Information Systems (AMCIS), Association for Information Systems (AIS), Paper i proceeding 2018
Paper i proceeding

On gender, ethnicity, and culture in empirical software engineering research
Lucas Gren
IEEE/ACM 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), IEEE, Paper i proceeding 2018
Paper i proceeding

Industrial Experiences from Evolving Measurement Systems into Self-Healing Systems for Improved Availability
Miroslaw Staron, Wilhelm Meding, Matthias Tichy, Jonas Bjurhede, Holger Giese et al.
Software, Practice & Experience, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Multi-robot LTL planning under uncertainty
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2018
Paper i proceeding

Supporting verification-driven incremental distributed design of components
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018; Oxford; United Kingdom; 15 July 2018 through 17 July 2018; Code 215979, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2018
Paper i proceeding

Property specification patterns for robotic missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
ICSE '18 Proceedings of the 40th International Conference on Software Engineering, Paper i proceeding 2018
Paper i proceeding

Towards multi-robot applications planning under uncertainty
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
ICSE '18 Proceedings of the 40th International Conference on Software Engineering, Paper i proceeding 2018
Paper i proceeding

Visar 1 - 50 av 158

Namn Titel Telefon E-post
Abel, Andreas Martin Universitetslektor 031-772 1731 abela@chalmers.se
Afshari, Bahareh Forskarassistent 031-772 6153 bahareh.afshari@cse.gu.se
Ahrendt, Wolfgang Docent 031-772 1011 ahrendt@chalmers.se
Al Mamun, Abdullah Doktorand 031-772 5646 abdullah.mamun@chalmers.se
Al-Sabbagh, Khaled Doktorand khaled.al-sabbagh@gu.se
Alahyari, Hiva Doktorand 031-772 5710 hiva@chalmers.se
Almström Duregård, Jonas Universitetslektor jonas.duregard@chalmers.se
Almström Duregård, Jonas Doktorand 031-7721028 jonas.duregard@chalmers.se
Alégroth, Emil Doktorand 031-772 6072 emil.alegroth@chalmers.se
Andersson, Anneli Informatör 031-772 1029 anneli.andersson@chalmers.se
Andersson Vaughan, Jenny Ekonom jennyva@chalmers.se
Angelov, Krasimir Universitetslektor 031-772 1019 krasimir@chalmers.se
Assarsson, Ulf Bitr professor 031-772 17 75 uffe@chalmers.se
Axelsson, Eva Administratör 031-772 1077 eva.axelsson@chalmers.se
Bakken, Eirin Studievägledare 031-772 1709 eirin.bakken@gu.se
Bengtsson, Lars Docent 031-772 8441 labe@chalmers.se
Berger, Christian Universitetslektor 031-772 6038 christian.berger@gu.se
Berger, Thorsten Universitetslektor thorsten.berger@gu.se
Berntsson Svensson, Richard Universitetslektor 031-772 6813 richard.berntsson.svensson@gu.se
Björk, Staffan Professor 031-772 1039 staffan.bjork@gu.se
Bosch, Jan Professor 031-772 5716 jan.bosch@chalmers.se
Bove, Ana Universitetslektor 031-772 1020 bove@chalmers.se
Broberg, Niklas Projetkassistent 031-772 1058
Burden, Håkan Universitetslektor, adjungerad hakan.burden@gu.se
Börjesson, Peter Doktorand borjessp@chalmers.se
Calikli, Gul Universitetslektor, biträdande gul.calikli@gu.se
Carlsson, Christer Universitetslektor 031-772 1038 carlsson@chalmers.se
Chaudron, Michel Professor 031-772 1165 michel.chaudron@gu.se
Cockx, Jesper Postdoktor cockx@chalmers.se
Coquand, Thierry Professor 031-772 1030 thierry.coquand@gu.se
Crnkovic, Ivica Professor 031-772 6076 crnkovic@chalmers.se
Cyren, Rebecca Administratör 031-772 1090 rebecca.cyren@chalmers.se
Dahlstedt, Palle Universitetslektor 031-772 8207 palle.dahlstedt@gu.se
Damaschke, Peter Bitr professor 031-772 5405 ptr@chalmers.se
Danielsson, Nils Anders Forskare 031-772 1680 nils.danielsson@gu.se
de Oliveira Neto, Francisco Universitetslektor, biträdande francisco.de.oliveira.neto@gu.se
Dimitrakakis, Christos Postdoktor 031-772 1044 chrdimi@chalmers.se
Dubhashi, Devdatt Professor 031-772 1046 dubhashi@chalmers.se
Durisic, Darko Universitetslektor, adjungerad darko.durisic@gu.se
Dybjer, Peter Professor 031-772 1035 peterd@chalmers.se
Erling Almér, Sanna Administrativ chef 031-772 2964 sanna.glyssbo@chalmers.se
Fathollah Nejad Asl, Negin Doktorand, Projektassistent 031-772 5211 negin@chalmers.se
Fernell Foufa, Ellen-Britta Studievägledare ellen-britta.foufa@ait.gu.se
Garcia, Sergio Doktorand sergio.garcia@gu.se
Gerdes, Alex Universitetslektor alexg@chalmers.se
Giaimo, Federico Doktorand 031-772 6184 giaimo@chalmers.se
Gidenstam, Anders Gästforskare 031-772 1024 anders.gidenstam@chalmers.se
Gorschek, Tony Gästlärare gorschek@chalmers.se
Granfeldt, Kristina Personalhandläggare 031-772 2327 kristina.granfeldt@gu.se
Gren, Lucas Postdoktor 031-772 6173 lucas.gren@gu.se

Visar 1 - 50 av 158

Visar 1 - 10 av 664

2018

Automatically Linking Lexical Resources with Word Sense Embedding Models
Luis Nieto Piña, Richard Johansson
The Third Workshop on Semantic Deep Learning (SemDeep-3), August 20th, 2018, Santa Fe, New Mexico, USA / Luis Espinosa Anke, Thierry Declerck, Dagmar Gromann (eds.), Paper i proceeding 2018
Paper i proceeding

Formalizing Constructive Quantifier Elimination in Agda
Jeremy Pope
Electronic Proceedings in Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Agile Process Consultation — An Applied Psychology Approach to Agility
Lucas Gren
24th Americas Conference on Information Systems (AMCIS), Association for Information Systems (AIS), Paper i proceeding 2018
Paper i proceeding

On gender, ethnicity, and culture in empirical software engineering research
Lucas Gren
IEEE/ACM 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), IEEE, Paper i proceeding 2018
Paper i proceeding

Industrial Experiences from Evolving Measurement Systems into Self-Healing Systems for Improved Availability
Miroslaw Staron, Wilhelm Meding, Matthias Tichy, Jonas Bjurhede, Holger Giese et al.
Software, Practice & Experience, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Multi-robot LTL planning under uncertainty
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2018
Paper i proceeding

Supporting verification-driven incremental distributed design of components
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018; Oxford; United Kingdom; 15 July 2018 through 17 July 2018; Code 215979, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2018
Paper i proceeding

Property specification patterns for robotic missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
ICSE '18 Proceedings of the 40th International Conference on Software Engineering, Paper i proceeding 2018
Paper i proceeding

Towards multi-robot applications planning under uncertainty
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
ICSE '18 Proceedings of the 40th International Conference on Software Engineering, Paper i proceeding 2018
Paper i proceeding

Visar 1 - 10 av 664

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?