Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Formal Techniques and Tools for the Reduction of Biological Systems
Argyris, Georgios
(PhD Student)
Bacci, Giovanni
(Examiner)
Nenzi, Laura
(Examiner)
Lluch Lafuente, Alberto
(Main Supervisor)
Vandin, Andrea
(Supervisor)
Software Systems Engineering
Department of Applied Mathematics and Computer Science
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/02/2020
→
14/06/2023
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Reduction Method
Keyphrases
100%
Boolean Networks
Keyphrases
100%
Boolean Network
Computer Science
100%
Boolean
Keyphrases
75%
Software Implementation
Keyphrases
50%
State Space Explosion
Keyphrases
25%
Bisimulation
Keyphrases
25%
Semi-formal
Keyphrases
25%
Research output
Publications per year
2023
2023
2023
1
Ph.D. thesis
Publications per year
Publications per year
Reduction Techniques for Boolean Networks
Argyris, G.,
2023
,
Technical University of Denmark
.
118 p.
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Reduction Method
100%
Boolean Networks
100%
Boolean Network
100%
Boolean
75%
Software Implementation
50%
259
Downloads (Pure)