Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

LExecutor: Learning-Guided Execution, and . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, page 1522-1534. Association for Computing Machinery, (2023)

Univ. -Prof. Dr. rer. nat. Michael Sedlmair University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , and . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, page 10. New York, Association for Computing Machinery, (2022)
 

Other publications of authors with the same name

Fast and sensitive multiple alignment of large genomic sequences., , , , and . BMC Bioinformatics, (2003)Expander Graphs - Both Local and Global., , and . FOCS, page 158-170. IEEE Computer Society, (2019)Letters to the Editor., and . J. Inf. Sci., 26 (2): 129-130 (2000)TFBScluster: a resource for the characterization of transcriptional regulatory networks., , and . Bioinformatics, 21 (13): 3058-3059 (2005)Towards Energy-Efficient Heterogeneous Multicore Architectures for Edge Computing., , , , , and . IEEE Access, (2019)Technical perspective: On proofs, entanglement, and games., and . Commun. ACM, 64 (11): 130 (2021)Serious Gaming with VENUS-PD: A Virtual Submarine for Accessing Europe's Sunken Archaeological Treasures., , and . VAST, page 73-76. Eurographics Association, (2009)Segmentation of SAR Intensity Imagery With a Voronoi Tessellation, Bayesian Inference, and Reversible Jump MCMC Algorithm., , and . IEEE Trans. Geoscience and Remote Sensing, 48 (4-1): 1872-1881 (2010)Iterative Tensor Voting for Pavement Crack Extraction Using Mobile Laser Scanning Data., , , , , , and . IEEE Trans. Geoscience and Remote Sensing, 53 (3): 1527-1537 (2015)Process virtualization of large-scale lidar data in a cloud computing environment., , , , and . Computers & Geosciences, (2013)