Jiri Srba at Aalborg Universitet

University	Aalborg Universitet
Position	Professor of Computer Science
Citations(all)	3132
Citations(since 2020)	1119
Cited By	2548
hIndex(all)	31
hIndex(since 2020)	16
i10Index(all)	73
i10Index(since 2020)	35
Email	Access Email
University Profile Page	Aalborg Universitet
Google Scholar	View Google Scholar Profile

Design of interactive student sessions for full-day teaching

2023/12/21

Martijn Goorden

H-Index: 5

Euan Lindsay

H-Index: 11

Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

2023/10/24

Morten Konggaard Schou

H-Index: 1

Methods for Efficient Unfolding of Colored Petri Nets

Fundamenta Informaticae

2023/10/14

Jiri Srba

H-Index: 15

Kaki: Efficient Concurrent Update Synthesis for SDN

Formal Aspects of Computing

2023/10/6

Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

2023/9/17

Peter Gjøl Jensen

H-Index: 9

Jiri Srba

H-Index: 15

AllSynth: A BDD-based approach for network update synthesis

Science of Computer Programming

2023/8/1

Anders Mariegaard

H-Index: 3

Stefan Schmid

H-Index: 34

A toolchain for domestic heat-pump control using Uppaal Stratego

Science of Computer Programming

2023/8/1

Peter Gjøl Jensen

H-Index: 9

Determine stormwater pond geometrics and hydraulics using remote sensing technologies: A comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS

Journal of Hydroinformatics

2023/7/1

Jiri Srba

H-Index: 15

Weizhu Qian

H-Index: 1

Check for updates Potency-Based Heuristic Search with Randomness for Explicit Model Checking

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

2023/5/1

Elimination of Detached Regions in Dependency Graph Verification

2023/4/26

Peter Gjøl Jensen

H-Index: 9

Potency-Based Heuristic Search with Randomness for Explicit Model Checking

2023/4/26