Publications
Total number of publications: 116
Articles
-
SAMJ: fast image annotation on ImageJ/Fiji via segment anything model
Nature Communications, year: 2026, volume: 17, edition: 1, DOI
-
Shaky ground, shaky politics? Effects of Turkey’s 2023 earthquakes on Erdoğan’s political survival
Environmental Hazards, year: 2026, volume: 25, edition: 2, DOI
-
Shape-Aware Cell Segmentation with Global Cues
IEEE SIGNAL PROCESSING LETTERS, year: 2026, DOI
-
Simple Classes of Automatic Structures
LOGICAL METHODS IN COMPUTER SCIENCE, year: 2026, volume: 22, edition: 1, DOI
-
Sketchbook: logical model inference from Boolean network sketches
BIOINFORMATICS ADVANCES, year: 2026, volume: 6, edition: 1, DOI
-
STTORM-CD low-demand and high-impact disaster monitoring onboard satellites using change detection
SCIENTIFIC REPORTS, year: 2026, volume: 16, edition: 1, DOI
-
TerraTinker: Crafting Playful Geospatial Visualizations
COMPUTER GRAPHICS FORUM, year: 2026, DOI
-
Test Deny
CASOPIS LEKARU CESKYCH, year: 2026
-
The Expansion Problem for Infinite Trees
Logical Methods in Computer Science, year: 2026, volume: 22, edition: 1, DOI
-
The Finite Satisfiability Problem for PCTL is Undecidable
JOURNAL OF THE ACM, year: 2026, volume: 73, edition: 1, DOI