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 51 - 100 av 146

Namn Titel Telefon E-post
Sheeran, Mary Professor 031-772 1013 mary.sheeran@chalmers.se
Sabelfeld, Andrei Professor 031-772 1018 andrei@chalmers.se
Angelov, Krasimir Universitetslektor 031-772 1019 krasimir@chalmers.se
Bove, Ana Universitetslektor 031-772 1020 bove@chalmers.se
Wedelin, Dag Docent 031-772 1022 dag@chalmers.se
Andersson, Anneli Kommunikatör 031-772 1029 anneli.andersson@chalmers.se
Coquand, Thierry Professor 031-772 1030 Coquand@chalmers.se
Nordström, Bengt Professor 031-772 1033 bengt.nordstrom@chalmers.se
Dybjer, Peter Professor 031-772 1035 peterd@chalmers.se
Björk, Staffan Professor 031-772 1039 staffanb@chalmers.se
Steghöfer, Jan-Philipp Universitetslektor 031-772 1043 janste@chalmers.se
Dimitrakakis, Christos Postdoktor 031-772 1044 chrdimi@chalmers.se
Dubhashi, Devdatt Professor 031-772 1046 dubhashi@chalmers.se
Schiller, Elad Docent 031-772 1052 elad.schiller@chalmers.se
Norell, Ulf Forskningsingenjör 1.e 031-772 1054 ulfn@chalmers.se
Broberg, Niklas Projetkassistent 031-772 1058
Sands, David Professor 031-772 1059 dave@chalmers.se
Mathé, Tina Studievägledare 031-772 1071 svl@cse.gu.se
Axelsson, Eva Administratör 031-772 1077 eva.axelsson@chalmers.se
Palka, Michal Postdoktor 031-772 1079 michal.palka@chalmers.se
Knauss, Eric Universitetslektor 031-772 1080 eric.knauss@cse.gu.se
Staron, Miroslaw Professor 031-772 1081 miroslaw@chalmers.se
Ranta, Aarne Professor 031-772 1082 aarne@chalmers.se
Ionescu, Cezar Doktor 031-772 1089 cezar@chalmers.se
Cyren, Rebecca Administratör 031-772 1090 rebecca.cyren@chalmers.se
Chaudron, Michel Professor 031-772 1165 chaudron@chalmers.se
Wiberg, Charlotte Professor, Prefekt 031-772 1292 charlotte.wiberg@gu.se
Holmeros, Emelie Studieadministratör 031-772 1657 holmeros@chalmers.se
Myréen, Magnus Forskarassistent 031-772 1664 myreen@chalmers.se
Snedsböl, Rolf Universitetslektor 031-772 1665 rolf@chalmers.se
Mckee, Sally Docent 031-772 1668 sally.mckee@chalmers.se
Knyaginin, Dmitry Doktorand, Projektassistent 031-772 1669 dmitry.knyaginin@chalmers.se
Manivannan, Madhavan Doktorand 031-772 1669 madhavan@chalmers.se
Milaszewski, Gracelda Ekonomihandläggare 031-772 1673 gracelda.milaszewski@gu.se
Månhammar, Monica Administrativ koordinator 031-772 1677 monica.manhammar@chalmers.se
Ravnsborg, Ole Forskningsingenjör 031-772 1679 ole@chalmers.se
Danielsson, Nils Anders Universitetslektor 031-772 1680 nad@chalmers.se
Hansson, Lennart Forskningsingenjör 031-772 1681 lennart.hansson@chalmers.se
Linde, Arne Forskningsingenjör 031-772 1683 arne@chalmers.se
Olovsson, Tomas Docent 031-772 1688 tomas.olovsson@chalmers.se
Tornberg, Ann Administratör 031-772 1689 ann.tornberg@chalmers.se
Kegel Andreasson, Elisabeth Administratör 031-772 1693 elisabeth.kegel@chalmers.se
Svensson, Lars Docent 031-772 17 04 lars.svensson@chalmers.se
Larsson-Edefors, Per Professor 031-772 1700 perlachalmers.se
Pleén-Schreiber, Marianne Administratör 031-772 1701 pleen@chalmers.se
Fernell Foufa, Ellen-Britta Studievägledare 031-772 1709 svl@cse.gu.se
Abel, Andreas Martin Universitetslektor 031-772 1731 abela@chalmers.se
Stenström, Per Professor 031-772 1761 per.stenstrom@chalmers.se
Gustafsson, Birgitta Institutionsekonom 031-772 1790 birgitta.gustafsson@chalmers.se
Peterson, Lena Universitetslektor 031-772 1822 lenap@chalmers.se

Visar 51 - 100 av 146

Visar 51 - 60 av 791

2018

Providing a Baseline in Software Process Improvement Education with Lego Scrum Simulations
Jan-Philipp Steghöfer
ICSE-SEET '18 Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training , Forskningsöversiktsartikel 2018
Forskningsöversiktsartikel

Involving External Stakeholders in Project Courses
Jan-Philipp Steghöfer, H. Burden, Regina Hebig, Gul Calikli, Robert Feldt et al.
ACM Transactions on Computing Education, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Vetting automatically generated trace links: What information is useful to human analysts?
Salome Maro, Jan-Philipp Steghöfer, Jane Hayes, Jane Cleland-Huang, Miroslaw Staron
Proceedings - 2018 IEEE 26th International Requirements Engineering Conference, RE 2018, Paper i proceeding 2018
Paper i proceeding

Editing with Search and Exploration for Controlled Languages
Krasimir Angelov, M. B. Mechura
Controlled Natural Language / editors: Brian Davis, C. Maria Keet, Adam Wyner, IOS Press, Kapitel i bok 2018
Kapitel i bok

Transparency and Contracts: Continuous Integration and Delivery in the Automotive Ecosystem
Rob van der Valk, Patrizio Pelliccione, Patricia Lago, Rogardt Heldal, Eric Knauss et al.
40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP 2018), 27 May - 3 June 2018 in Gothenburg, Sweden. , Association for Computing Machinery, Paper i proceeding 2018
Paper i proceeding

Boundary Objects in Agile Practices: Continuous Management of Systems Engineering Artifacts in the Automotive Domain
Rebekka Wohlrab, Patrizio Pelliccione, Eric Knauss, Mats Larsson
ICSSP ’18: International Conference on the Software and Systems Process 2018 (ICSSP ’18), May 26–27, 2018, Gothenburg, Sweden., New York, Association for Computing Machinery, Paper i proceeding 2018
Paper i proceeding

Back to the Drawing Board: Bringing Security Constraints in an Architecture-centric Software Development Process
Stefanie Jasser, Katja Tuma, Riccardo Scandariato, Matthias Riebisch
Proceedings of the 4th International Conference on Information Systems Security and Privacy, Paper i proceeding 2018
Paper i proceeding

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

What Negative Space has to do with Design Fixations in HCI Research
Sara Ljungblad, Maral Babapour Chafi
Addressing designed form - demarcating design., Kolding , Design School Kolding , Paper i proceeding 2018
Paper i proceeding

A lingua franca for security by design
Alexander Van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen
2018 IEEE Cybersecurity Development Conference, SecDev 2018, Paper i proceeding 2018
Paper i proceeding

Visar 51 - 60 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?