Research output per year
Research output per year
Nijenborgh9
9747 AG Groningen
Netherlands
Our research concerns the study and development of rigorous methods for ensuring the reliability of software systems. This is a scientific and societal challenge, which we address from a number of different angles, exploiting concepts and theories from discrete mathematics and logic.
Person: Scientific Staff
Person: Scientific Staff
Person: Scientific Staff
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Working paper › Preprint › Academic
Research output: Contribution to journal › Article › Academic › peer-review
Hansen, H. H. (Contributor)
Activity: Organising and attending an event › Attending an event › Academic
Hansen, H. H. (Member of board)
Activity: Membership › Academic
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-Jan-2022
DOI: 10.4121/18865415.v1, https://data.4tu.nl/articles/_/18865415/1
Dataset
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-Jan-2022
DOI: 10.4121/18865385.v1
Dataset
Nava Guerrero, G. D. C. (Creator), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 30-Mar-2022
DOI: 10.4121/19448693.v1, https://data.4tu.nl/articles/dataset/Workbook_with_calculations_for_journal_article_The_effect_of_group_decisions_in_heat_transitions_An_agent-based_approach_/19448693/1
Dataset
09/12/2024
1 item of Media coverage
Press/Media: Public Engagement Activities › Popular
Hansen, H. H., Perez Parra, J. & Frumin, D.
19/04/2022
1 item of Media coverage
Press/Media: Other › Professional
03/09/2019
1 Media contribution
Press/Media: Public Engagement Activities › Popular
Perez Parra, J. (Recipient), Jun-2018
Prize: Fellowship awarded competitively › Academic