Total number of publications: 35
Articles
-
AVOIDING MULTIPLE REPETITIONS IN EUCLIDEAN SPACES
SIAM Journal on Discrete Mathematics, year: 2020, volume: 34, edition: 1, DOI
-
Bisimulation invariant monadic-second order logic in the finite
Theoretical Computer Science, year: 2020, volume: 823, edition: 1, DOI
-
Bundling all shortest paths
Discrete Applied Mathematics, year: 2020, volume: 277, edition: 1, DOI
-
Complex Network Analysis for Knowledge Management and Organizational Intelligence
Journal of the Knowledge Economy, year: 2020, volume: 4, edition: 2, DOI
-
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
PLOS ONE, year: 2020, volume: 15, edition: 9, DOI
-
Joint Forces for Memory Safety Checking Revisited
International Journal on Software Tools for Technology Transfer (STTT), year: 2020, volume: 2020, edition: 22, DOI
-
Parallel parameter synthesis algorithm for hybrid CTL
Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI
-
Permutations with fixed pattern densities
RANDOM STRUCTURES & ALGORITHMS, year: 2020, volume: 56, edition: 1, DOI
-
Prediction Score for persisting perfusion defects after pulmonary embolism
Biomedical Papers, year: 2020, DOI
-
Regular Tree Algebras
Logical Methods in Computer Science, year: 2020, volume: 16, edition: 1, DOI