Research output per year
Research output per year
Organization profile
Organisational unit profile
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.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Swaroop Bennabhaktula, MSc
- Faculty of Science and Engineering, Fundamental Computing - Externe medewerker
Person: Scientific Staff
-
Anton Chernev, BSc
- Faculty of Science and Engineering, Fundamental Computing - Promovendus
Person: Scientific Staff
-
Sreejita Ghosh, PhD
- Faculty of Science and Engineering, Fundamental Computing - Externe medewerker
Person: Scientific Staff
-
MCSH, a lock with the standard interface
Hesselink, W. H. & Buhr, P., 20-Feb-2023, (E-pub ahead of print) In: ACM Transactions on Parallel Computing. 22 p.Research output: Contribution to journal › Article › Academic › peer-review
-
Session-based concurrency in Maude: Executable semantics and type checking
Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., Jun-2023, In: The Journal of Logical and Algebraic Methods in Programming. 133, 100872.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Downloads (Pure) -
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., Oct-2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, p. 841-869 29 p., 155.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile7 Downloads (Pure)
Activities
-
14th Conference on Logic and the Foundations of Game and Decision Theory
Helle Hvid Hansen (Member of scientific committee)
11-Mar-2022 → 22-Jul-2022Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science
Helle Hvid Hansen (Chair/vice-chair of scientific committee)
1-Jan-2022 → …Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
PhD assessment committee of Atefeh Keshavarzi Zafarghandi
Helle Hvid Hansen (Member of Assessment Committee)
19-Apr-2022Activity: Examination, teaching and supervision › Examination, teaching and supervision external institution › Academic
Datasets
-
Workbook with calculations for journal article "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava Guerrero, G. D. C. (Creator), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 1-Apr-2022
DOI: 10.4121/19448789
Dataset
-
Workbook with calculations for journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 30-Mar-2022
DOI: 10.4121/19448693
Dataset
-
Workbook with calculations for journal article "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava Guerrero, G. D. C. (Creator), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 1-Apr-2022
DOI: 10.4121/19448789.v2, https://data.4tu.nl/articles/dataset/Workbook_with_calculations_for_journal_article_An_agent-based_exploration_of_the_effect_of_multi-criteria_decisions_on_complex_socio-technical_heat_transitions_/19448789/2
Dataset
Press/Media
-
The power of logic in computation
Helle Hvid Hansen, Jorge Perez Parra & Dan Frumin
19/04/2022
1 item of Media coverage
Press/Media: Other › Professional
-
Research minute - Young Academy Groningen
03/09/2019
1 Media contribution
Press/Media: Public Engagement Activities › Popular
Prizes
-
NWO VIDI: Unifying Correctness for Communicating Software
Perez Parra, Jorge (Recipient), Jun-2018
Prize: Fellowship awarded competitively › Academic