Research output per year
Research output per year
Research output
- 2 Conference Proceedings with Oral Presentation
-
Contact Tracing for Disease Containment: a Network-Based Analysis
Gigler, F. (Speaker), Urach, C. & Bicher, M., 2022, IFAC PAPERSONLINE. Elsevier, p. 451-456 6 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Open Access -
Sampling of Shape Expressions with ShapEx
Basset, N., Dang, T., Gigler, F. (Speaker), Mateis, C. & Nickovic, D., 2021, Proceedings of 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. Arun-Kumar, S., Mery, D., Saha, I. & Zhang, L. (eds.). p. 118-125 8 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Open Access
Activities
- 1 Presentation at a scientific conference / workshop
-
Mining Shape Expressions
Bartocci, E. (Author), Deshmukh, J. V. (Author), Gigler, F. (Author), Mateis, C. (Author), Nickovic, D. (Speaker) & Qin, X. (Author)
18 May 2021Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop