David Svoboda

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 30

Top Topics

Static Analysis

Fluorescence Microscopy

Top Venues

Publications

David Wiesner, Julian Suk, Sven Dummer, Tereza Necasová, Vladimír Ulman, David Svoboda, Jelmer M. Wolterink
Generative modeling of living cells with SO(3)-equivariant implicit neural representations. Medical Image Anal. 91 (2024)
David Wiesner, Julian Suk, Sven Dummer, Tereza Necasová, Vladimír Ulman, David Svoboda, Jelmer M. Wolterink
Generative modeling of living cells with SO(3)-equivariant implicit neural representations. CoRR (2023)
David Wiesner, Julian Suk, Sven Dummer, David Svoboda, Jelmer M. Wolterink
Implicit Neural Representations for Generative Modeling of Living Cell Shapes. MICCAI (4) (2022)
David Wiesner, Julian Suk, Sven Dummer, David Svoboda, Jelmer M. Wolterink
Implicit Neural Representations for Generative Modeling of Living Cell Shapes. CoRR (2022)
William Klieber, Ruben Martins, Ryan Steele, Matt Churilla, Mike McCall, David Svoboda
Automated Code Repair to Ensure Spatial Memory Safety. APR@ICSE (2021)
Marián Kozlovský, David Wiesner, David Svoboda
Transfer Learning in Optical Microscopy. SASHIMI@MICCAI (2021)
David Svoboda
Hands-on Tutorial: How Exploitable is Insecure C Code? SecDev (2021)
David Svoboda, Tereza Necasová
Image-Based Simulations of Tubular Network Formation. ISBI (2020)
Martin Maska, Tereza Necasová, David Wiesner, Dmitry V. Sorokin, Igor Peterlík, Vladimír Ulman, David Svoboda
Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy. ICIP (2019)
David Wiesner, David Svoboda, Martin Maska, Michal Kozubek
CytoPacq: a web-interface for simulating multi-dimensional cell imaging. Bioinform. 35 (21) (2019)
David Wiesner, Tereza Necasová, David Svoboda
On Generative Modeling of Cell Shape Using 3D GANs. ICIAP (2) (2019)
Lori Flynn, William Snavely, David Svoboda, Nathan M. VanHoudnos, Richard Qin, Jennifer Burns, David Zubrow, Robert Stoddard, Guillermo Marce-Santurio
Prioritizing alerts from multiple static analysis tools, using classification models. SQUADE@ICSE (2018)
David Svoboda, Tereza Necasová, Lenka Tesarová, Pavel Simara
Tubular Network Formation Process Using 3D Cellular Potts Model. SASHIMI@MICCAI (2018)
Will Snavely, William Klieber, Ryan Steele, David Svoboda, Andrew Kotov
Detecting Leaks of Sensitive Data Due to Stale Reads. SecDev (2018)
Tereza Necasová, David Svoboda
Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data. ECCV Workshops (6) (2018)
Michael Gabbay, Prokop Sousedík, David Svoboda
Editorial. FLAP 5 (6) (2018)
Dmitry V. Sorokin, Igor Peterlík, Vladimír Ulman, David Svoboda, Tereza Necasová, Katsiarina Morgaenko, Lívia Eiselleová, Lenka Tesarová, Martin Maska
FiloGen: A Model-Based Generator of Synthetic 3-D Time-Lapse Sequences of Single Motile Cells With Growing and Branching Filopodia. IEEE Trans. Medical Imaging 37 (12) (2018)
Prokop Sousedík, David Svoboda
Are Ante Rem Structuralists Descriptivist Or Revisionist Metaphysicians? How We Speak About Numbers. FLAP 5 (6) (2018)
Igor Peterlík, David Svoboda, Vladimír Ulman, Dmitry V. Sorokin, Martin Maska
Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Multiple Mutually Interacting Motile Cells with Filopodia. SASHIMI@MICCAI (2018)
Petr Seckár, David Svoboda
FTutor: An interactive guide to the fundamentals of frequency analysis. Comput. Appl. Eng. Educ. 25 (3) (2017)
Dmitry V. Sorokin, Igor Peterlík, Vladimír Ulman, David Svoboda, Martin Maska
Model-based generation of synthetic 3D time-lapse sequences of motile cells with growing filopodia. ISBI (2017)
David Svoboda, Michal Kozubek
Multimodal Simulations in Live Cell Imaging. SASHIMI@MICCAI (2017)
Lori Flynn, David Svoboda, William Snavely
Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules. SecDev (2017)
David Svoboda, Vladimír Ulman
MitoGen: A Framework for Generating 3D Synthetic Time-Lapse Sequences of Cell Populations in Fluorescence Microscopy. IEEE Trans. Medical Imaging 36 (1) (2017)
Aaron Ballman, David Svoboda
Avoiding Insecure C++ - How to Avoid Common C++ Security Vulnerabilities. SecDev (2016)
David Svoboda, Lori Flynn, Will Snavely
Static Analysis Alert Audits: Lexicon & Rules. SecDev (2016)
David Svoboda, Vladimír Ulman, Peter Kovác, Barbara Salingova, Lenka Tesarová, Irena K. Koutna, Petr Matula
Vascular network formation in silico using the extended cellular potts model. ICIP (2016)
David Svoboda
Beyond errno: Error Handling in "C". SecDev (2016)
David Svoboda, Vladimír Ulman, Igor Peterlík
On proper simulation of chromatin structure in static images as well as in time-lapse sequences in fluorescence microscopy. ISBI (2015)
Vladimír Ulman, Zoltán Orémus, David Svoboda
TRAgen: A Tool for Generation of Synthetic Time-Lapse Image Sequences of Living Cells. ICIAP (1) (2015)
David Svoboda, Vladimír Ulman, Ludek Matyska, Martin Maska, Jan Bella, Stanislav Stejskal
On proper simulation of phenomena influencing image formation in fluorescence microscopy. ICIP (2014)
Tomás Majtner, David Svoboda
Texture analysis using 3D Gabor features and 3D MPEG-7 Edge Histogram descriptor in fluorescence microscopy. IC3D (2014)
Ian Williams, Nicholas Bowring, David Svoboda
A performance evaluation of statistical tests for edge detection in textured images. Comput. Vis. Image Underst. 122 (2014)
Tomás Majtner, Roman Stoklasa, David Svoboda
RSURF - The Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEP-2 Cells. ICPR (2014)
Martin Maska, Vladimír Ulman, David Svoboda, Pavel Matula, Petr Matula, Cristina Ederra, Ainhoa Urbiola, Tomás España, Subramanian Venkatesan, Deepak M. W. Balak, Pavel Karas, Tereza Bolcková, Markéta Streitová, Craig Carthel, Stefano Coraluppi, Nathalie Harder, Karl Rohr, Klas E. G. Magnusson, Joakim Jaldén, Helen M. Blau, Oleh Dzyubachyk, Pavel Krízek, Guy M. Hagen, David Pastor-Escuredo, Daniel Jimenez-Carretero, María J. Ledesma-Carbayo, Arrate Muñoz-Barrutia, Erik Meijering, Michal Kozubek, Carlos Ortiz-de-Solorzano
A benchmark for comparison of cell tracking algorithms. Bioinform. 30 (11) (2014)
Tomás Majtner, David Svoboda
Comparison of 3D Texture-Based Image Descriptors in Fluorescence Microscopy. IWCIA (2014)
Roman Stoklasa, Tomás Majtner, David Svoboda
Efficient k-NN based HEp-2 cells classifier. Pattern Recognit. 47 (7) (2014)
David Svoboda, Lutz Wrage
Pointer Ownership Model. HICSS (2014)
Pavel Karas, Michal Kuderjavý, David Svoboda
Deconvolution of Huge 3-D Images: Parallelization Strategies on a Multi-GPU System. ICA3PP (1) (2013)
David Svoboda, Vladimír Ulman
Towards a Realistic Distribution of Cells in Synthetically Generated 3D Cell Populations. ICIAP (2) (2013)
David Svoboda, Vladimír Ulman
Generation of Synthetic Image Datasets for Time-Lapse Fluorescence Microscopy. ICIAR (2) (2012)
Tomás Majtner, David Svoboda
Extension of Tamura Texture Features for 3D Fluorescence Microscopy. 3DIMPVT (2012)
Pavel Karas, David Svoboda, Pavel Zemcík
GPU Optimization of Convolution for Large 3-D Real Images. ACIVS (2012)
David Svoboda
Efficient Computation of Convolution of Huge Images. ICIAP (1) (2011)
Pavel Karas, David Svoboda
Convolution of large 3D images on GPU and its decomposition. EURASIP J. Adv. Signal Process. 2011 (2011)
David Svoboda, Ondrej Homola, Stanislav Stejskal
Generation of 3D Digital Phantoms of Colon Tissue. ICIAR (2) (2011)
Roger B. Dannenberg, Will Dormann, David Keaton, Robert C. Seacord, David Svoboda, Alex Volkovitsky, Timothy Wilson, Thomas Plum
As-If Infinitely Ranged Integer Model. ISSRE (2010)
Ian Williams, David Svoboda, Nicholas Bowring
A Novel Performance Metric for Grey-scale Edge Detection. VISAPP (1) (2010)
Ian Williams, David Svoboda, Nicholas Bowring, Elizabeth Guest
Statistical edge detection of concealed weapons using artificial neural networks. Image Processing: Algorithms and Systems (2008)
David Svoboda, Marek Kasík, Martin Maska, Jan Hubený, Stanislav Stejskal, Michal Zimmermann
On Simulating 3D Fluorescent Microscope Images. CAIP (2007)
Martin Maska, Jan Hubený, David Svoboda, Michal Kozubek
A Comparison of Fast Level Set-Like Algorithms for Image Segmentation in Fluorescence Microscopy. ISVC (2) (2007)
David Svoboda, Ian Williams, Nicholas Bowring, Elizabeth Guest
Statistical techniques for edge detection in histological images. VISAPP (1) (2006)
David Svoboda, Pavel Matula
Tissue Reconstruction Based on Deformation of Dual Simplex Meshes. DGCI (2003)
Eric Nyberg, Teruko Mitamura, James P. Callan, Jaime G. Carbonell, Robert E. Frederking, Kevyn Collins-Thompson, Laurie Hiyakumoto, Yifen Huang, Curtis Huttenhower, Scott Judy, Jeongwoo Ko, Anna Kupsc, Lucian Vlad Lita, Vasco Pedro, David Svoboda, Benjamin Van Durme
The JAVELIN Question-Answering System at TREC 2003: A Multi-Strategh Approach with Dynamic Planning. TREC (2003)
Teruko Mitamura, Kathryn Baker, David Svoboda, Eric Nyberg
Source language diagnostics for MT. MTSummit (2003)
Pavel Matula, David Svoboda
Spherical Object Reconstruction Using Simplex Meshes from Sparse Data. DGCI (2003)
Teruko Mitamura, Eric Nyberg, Kathryn L. Baker, Peter A. Cramer, Jeongwoo Ko, David Svoboda, Michael Duggan
The KANTOO MT System: Controlled Language Checker and Lexical Maintenance Tool. AMTA (2002)
Eric Nyberg, Teruko Mitamura, Jaime G. Carbonell, James P. Callan, Kevyn Collins-Thompson, Krzysztof Czuba, Michael Duggan, Laurie Hiyakumoto, N. Hu, Yifen Huang, Jeongwoo Ko, Lucian Vlad Lita, S. Murtagh, Vasco Pedro, David Svoboda
The JAVELIN Question-Answering System at TREC 2002. TREC (2002)
Eric Nyberg, Teruko Mitamura, Kathryn L. Baker, David Svoboda, Brian Peterson, Jennifer Williams
Deriving Semantic Knowledge from Descriptive Texts Using an MT System. AMTA (2002)
Pavel Matula, David Svoboda
Spherical Object Reconstruction Using Star-Shaped Simplex Meshes. EMMCVPR (2001)
Teruko Mitamura, Eric Nyberg, Enrique Torrejón, David Svoboda, Kathryn L. Baker
Pronominal anaphora resolution in KANTOO English-to-Spanish machine translation system. MTSummit (2001)