Page Manager: Webmaster
Last update: 9/12/2012 10:52 AM
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
Head of Department: Charlotte Wiberg
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,
Conference paper
2019
Conference paper
Empowering Empirical Research in Software Design: Construction and Studies on a Large-Scale Corpus of UML Models
Truong Ho-Quang
Göteborgs universitet,
Doctoral thesis
2019
Doctoral thesis
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,
Journal article
2019
Journal article
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,
Journal article
2019
Journal article
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,
Conference paper
2019
Conference paper
Skolem's Theorem in Coherent Logic
M. Bezem, Thierry Coquand
Fundamenta Informaticae,
Journal article
2019
Journal article
Proceedings of the 8th Workshop on Natural Language Processing for Computer Assisted Language Learning (NLP4CALL 2019), September 30, Turku Finland
David Alfter, Elena Volodina, Lars Borin, Ildikó Pilán, Herbert Lange
Linköping,
Linköping University Electronic Press, Linköpings universitet,
Proceeding
2019
Proceeding
Issue Salience on Twitter During Swedish Party Leaders’ Debates
Linn Sandberg, Ulf Bjereld, Karina Bunyik, Markus Forsberg, Richard Johansson
Nordicom Review,
Journal article
2019
Journal article
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
Character-based Recurrent Neural Networks for Morphological Relational Reasoning
Olof Mogren, Richard Johansson
Journal of Language Modeling,
Journal article
2019
Journal article
Showing 1 - 50 of 146
Showing 1 - 50 of 146
Showing 111 - 120 of 791
Syntactic forcing models for coherent logic
M. Bezem, U. Buchholtz, Thierry Coquand
Indagationes Mathematicae-New Series,
Journal article
2018
Journal article
On Using Blockchains for Safety-Critical Systems
Christian Berger, B. Penzenstadler, O. Drogehorn
SEsCPS '18 Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems ,
Conference paper
2018
Conference paper
Two Architectural Threat Analysis Techniques Compared
Katja Tuma, Riccardo Scandariato
European Conference on Software Architecture (ECSA) 2018,
Conference paper
2018
Conference paper
Threat analysis of software systems: A systematic literature review
Katja Tuma, Gul Calikli, Riccardo Scandariato
Journal of Systems and Software,
Journal article
2018
Journal article
Critical Robotics – Exploring a New Paradigm
Sara Ljungblad, Sofia Serholt, Tijana Milosevic, Niamh Ni Bhroin, Rikke Toft Nørgård et al.
Proceedings of NordiCHI'18,
ACM,
Conference paper
2018
Conference paper
Towards Efficiency and Quality Assurance in Threat Analysis of Software Systems
Katja Tuma
Licentiate thesis
2018
Licentiate thesis
Improving the experience for software-measurement system end-users: A story of two companies
H. Y. Wang, Regina Hebig
Information and Software Technology,
Journal article
2018
Journal article
The 2018 Shared Task on Extrinsic Parser Evaluation: On the Downstream Utility of English Universal Dependency Parsers
Murhaf Fares, Stephan Oepen, Lilja Øvrelid, Jari Björne, Richard Johansson
Proceedings of the CoNLL 2018 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies,
Association for Computational Linguistics,
Conference paper
2018
Conference paper
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.),
Conference paper
2018
Conference paper
Agile Process Consultation — An Applied Psychology Approach to Agility
Lucas Gren
24th Americas Conference on Information Systems (AMCIS),
Association for Information Systems (AIS),
Conference paper
2018
Conference paper
Showing 111 - 120 of 791