Organization profile

Organisation profile

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2012 2019

24 Downloads (Pure)

A framework for provenance-preserving history distribution and incremental reduction

Lluch Lafuente, A., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 471-486 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
90 Downloads (Pure)

A framework for quantitative modeling and analysis of highly (re)configurable systems

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2019, (Accepted/In press) In : I E E E Transactions on Software Engineering. 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository

Pérez-Verona, I. C., Tribastone, M. & Vandin, A., 1 Jan 2019, Proceedings of 17th International Conference on Computational Methods in Systems Biology. Bortolussi, L. & Sanguinetti, G. (eds.). Springer, p. 248-265 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11773 LNBI).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Activities 2014 2015

  • 2 Conference presentations

CryptoForma Workshop

Omar Almousa (Speaker)
13 Jul 2015

Activity: Talks and presentationsConference presentations

Adaptivity Framework: libpappadapt

Lars Frydendal Bonnichsen (Speaker)
22 Jan 2014

Activity: Talks and presentationsConference presentations

File

Prizes

Otto Mønsteds Fund: Travel grant

Hugo-Andrés López-Acosta (Recipient), 25 Oct 2015

Prize: Prizes, scholarships, distinctions