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
To content Read more about how we use cookies on

Department of Computer Science and Engineering

Part of 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
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Phone: +46 317721000

Latest publications

Programming interactions in collective adaptive systems by relying on attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Science of Computer Programming, Journal article 2020
Journal article

A distributed API for coordinating AbC programs
Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer, Journal article 2020
Journal article

Are the Interpulse Intervals of an ECG signal a good source of entropy? An in-depth entropy analysis based on NIST 800-90B recommendation
L. Ortiz-Martin, Pablo Picazo-Sanchez, P. Peris-Lopez
Future Generation Computer Systems-the International Journal of Escience, Journal article 2020
Journal article

The Global Museum: natural history collections and the future of evolutionary science and public education
F. T. Bakker, A. Antonelli, J. Clarke, J. A. Cook, P. G. P. Ericson et al.
PeerJ, Journal article 2020
Journal article

Where is my feature and what is it about? A case study on recovering feature facets
Jacob Krüger, Mukelabai Mukelabai, Wanzi Gu, Hui Shen, Regina Hebig et al.
Journal of Systems and Software, Journal article 2019
Journal article

Facing the truth: Benchmarking the techniques for the evolution of variant-rich systems
Daniel Strüber, Mukelabai Mukelabai, Jacob Krüger, Stefan Fischer, Lukas Linsbauer et al.
ACM International Conference Proceeding Series, Conference paper 2019
Conference paper

Evolution of technical debt: An exploratory study
Abdullah Al Mamun, Antonio Martini, Miroslaw Staron, Christian Berger, Jörgen Hansson
Mensura 2019, Conference paper 2019
Conference paper

A Modeling Approach for Bioinformatics Workflows
Laiz Heckmann Barbalho de Figueroa, Rema Salman, Jennifer Horkhoff, Soni Chauhan, Marcela Davila Lopez et al.
The Practice of Enterprise Modeling - 12th {IFIP} Working Conference, PoEM 2019, Luxembourg, Luxembourg, November 27-29, 2019, Proceedings, Springer, Conference paper 2019
Conference paper


Showing 1 - 2 of 2

Name Title Phone Email
Bove, Ana Senior lecturer +46 31-772 1020
Dimitrakakis, Christos Postdoctor +46 31-772 1044

Showing 1 - 2 of 2

Showing 121 - 130 of 416


AAC Language Resources in the Mainstream
Mats Lundälv, Sandra Derbring, Peter Ljunglöf
ISAAC-2014 Conference for the International Society for Augmentative and Alternative Communication, Conference contribution 2014
Conference contribution

ShrdLite: Semantic Parsing Using a Handmade Grammar
Peter Ljunglöf
SemEval-2014 Task 6: Supervised Semantic Parsing of Robotic Spatial Commands, Conference paper 2014
Conference paper

Fast Statistical Parsing with Parallel Multiple Context-Free Grammars
Krasimir Angelov, Peter Ljunglöf
EACL'14, 14th Conference of the European Chapter of the Association for Computational Linguistics, Conference paper 2014
Conference paper

A Sheaf Model of the Algebraic Closure
Bassel Mannaa, Thierry Coquand
Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014), Vienna, Austria, July 13, 2014, EPTCS, Conference paper 2014
Conference paper

Revisiting Zariski Main Theorem from a constructive point of view
M. E. Alonso, Thierry Coquand, H. Lombardi
Journal of Algebra, Journal article 2014
Journal article


Proceedings of SLPAT-2013: 4th Workshop on Speech and Language Processing for Assistive Technologies
Jan Alexandersson, Peter Ljunglöf, Kathleen McCoy, François Portet, Brian Roark et al.
Stroudsburg, PA, Association for Computational Linguistics, Proceeding 2013

Correct-by-Construction Pretty-Printing
Nils Anders Danielsson
Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming (DTP 2013), Association for Computing Machinery (ACM), Conference paper 2013
Conference paper

Dynamic Newton-Puiseux theorem
Bassel Mannaa, Thierry Coquand
Journal of Logic and Analysis, Journal article 2013
Journal article

Isomorphism is equality
Thierry Coquand, Nils Anders Danielsson
Indagationes mathematicae, Journal article 2013
Journal article

Computing persistent homology within Coq/SSReflect
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
ACM Transactions on Computational Logic, Journal article 2013
Journal article

Showing 121 - 130 of 416

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

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?