To the top

Page Manager: Webmaster
Last update: 9/12/2012 10:52 AM

Tell a friend about this page
Print version

Department of Computer Science and Engineering - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Department of Computer Science and Engineering

at IT Faculty

Department of Computer Science and Engineering
SE412 96 Göteborg
Delivery address: Rännvägen 6 B, 412 58 Göteborg
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Fax: +46 317723663
Web Page: www.chalmers.se/sv/institutioner/cse
Email: cse@cse.gu.se

Latest publications

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, Journal article 2019
Journal article

Equilibrium design for concurrent games
J Gutierrez, M Najib, Giuseppe Perelli, M Wooldridge
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2019
Conference paper

Natural Language Processing in Policy Evaluation: Extracting Policy Conditions from IMF Loan Agreements
Joakim Åkerström, Adel Daoud, Richard Johansson
Proceedings of the 22nd Nordic Conference on Computational Linguistics; September 30 – October 2; Turku, Finland, Linköping University Electronic Press, Conference paper 2019
Conference paper

Nash Equilibrium and Bisimulation Invariance
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge
Logical Methods in Computer Science, Journal article 2019
Journal article

Towards a resource grammar for Runyankore and Rukiga
David Bamutura, Peter Ljunglöf
WiNLP 2019, the 3rd Workshop on Widening NLP, Florence, Italy, 28th July 2019, Poster 2019
Poster

Showing 121 - 130 of 785

2018

Choosing Agile or Plan-driven Enterprise Resource Planning (ERP) Implementations - A study on 21 Implementations from 20 Companies
Lucas Gren, Alexander Wong, Erik Kristoffersson
4th International Workshop on Socio-Technical Perspective in IS development (STPIS'18) co-located with 30th International Conference on Advanced Information Systems Engineering (CAiSE 2018), CEUR-WS.org, Conference paper 2018
Conference paper

Transferring interactive search-based software testing to industry
B. Marculescu, Robert Feldt, Richard Torkar, S. Poulding
Journal of Systems and Software, Journal article 2018
Journal article

Testing Natural Language Grammars
Inari Listenmaa
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Chapter in book 2018
Chapter in book

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2018
Report

Non-technical individual skills are weakly connected to the maturity of agile practices
Lucas Gren, Alessia Knauss, Christoph Johann Stettina
Information and Software Technology, Journal article 2018
Journal article

Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Grischa Liebel, Matthias Tichy, Eric Knauss
Journal of Software and Systems Modeling, Journal article 2018
Journal article

Mythical Unit Test Coverage
Vard Antinyan, J. Derehag, Anna Sandberg, Miroslaw Staron
IEEE Software, Journal article 2018
Journal article

Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
Jesper Cockx, Dominique Devriese
Journal of Functional Programming, Journal article 2018
Journal article

Lifting inter-app data-flow analysis to large app sets
Florian Sattler, Alexander von Rhein, Thorsten Berger, Niklas Schalck Johansson, Mikael Mark Hardø et al.
Automated Software Engineering : An International Journal, Journal article 2018
Journal article

Showing 121 - 130 of 785

Page Manager: Webmaster|Last update: 9/12/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?