Total number of publications: 19
Articles
-
AVOIDING MULTIPLE REPETITIONS IN EUCLIDEAN SPACES
SIAM Journal on Discrete Mathematics, year: 2020, volume: 34, 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
-
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
-
Security improvements of several basic quantum private query protocols with O(log N) communication complexity
Theoretical Computer Science, year: 2020, volume: 807, edition: 6 February 2020, DOI
-
Symbiotic 6: generating test cases by slicing and symbolic execution
International Journal on Software Tools for Technology Transfer, year: 2020, volume: 22, edition: Special Issue: TestComp2019, DOI
-
Toroidal grid minors and stretch in embedded graphs
JOURNAL OF COMBINATORIAL THEORY SERIES B, year: 2020, volume: 140, edition: 1, DOI