Publications from 2025
-
January 2013
-
Stochastic, self-organized growth of branched tissues: the growth of blood vessels and glands Presentation
January 2013 -
January 2013
-
The morphogenesis of branched tissues Presentation
January 2013 -
January 2013
-
Cell-based computational modeling of morphogenesis Presentation
January 2013 -
Cell-based modeling of plant tissue growth and phytohormone transport using VirtualLeaf Presentation
January 2013 -
Cell-based computational modeling of morphogenesis Presentation
January 2013 -
January 2013
-
January 2013
-
January 2013
-
Cell-based modelling of cancerous tissues Presentation
January 2013 -
Open graph drawing framework (OGDF) Book Chapter
January 2013 -
Optimal DALI protein structure alignment Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 26-36.January 2013 -
On tree-constrained matchings and generalizations Article
Algorithmica, 98-109.January 2013 -
The generalized Robinson-Foulds metric In Proceedings
January 2013 -
Reconstructing consensus Bayesian network structures with application to learning molecular interaction networks In Proceedings
January 2013 -
Current composite-feature classification methods do not outperform simple single-genes classifiers in breast cancer prognosis Article
Frontiers in Genetics, 4(289)January 2013 -
January 2013
-
On the Adaptivity Gap of Stochastic Orienteering Tech Report
January 2013 -
On the number of matroids In Proceedings
January 2013 -
A Harmonic Algorithm for the 3D Strip Packing Problem Article
SIAM Journal on Computing, 42(2), 579-592.January 2013 -
Deterministic Discrepancy Minimization Article
Algorithmica, 67(4), 451-471.January 2013 -
January 2013
-
Mendelian-inheritance-aware discovery and genotyping of midsize and long indels Article
Bioinformatics, 29(24), 3143-3150.January 2013 -
Stable Sets and Graphs with no Even Holes Tech Report
January 2013 -
January 2013
-
Structure in minor-closed-classes of matroids Book Chapter
January 2013 -
January 2013
-
Next generation cluster editing Tech Report
January 2013 -
Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings
January 2013 -
A method for feature detection in binary tomography In Proceedings
January 2013 -
Practical error bounds for binary tomography In Proceedings
January 2013 -
An algebraic reconstruction technique for the study of local structural changes during CT In Proceedings
January 2013 -
Localizing DART using the Reconstructed Residual Error In Proceedings
January 2013 -
Adaptive zooming in X-ray computed tomography In Proceedings
January 2013 -
Dynamic angle-selection in X-ray computed tomography In Proceedings
January 2013 -
The ASTRA tomography toolbox In Proceedings
January 2013 -
Discrete tomography in MRI: a simulation study Article
Fundamenta Informaticae, 125(3-4), 223-237.January 2013 -
Geometric reconstruction methods for electron tomography Article
Ultramicroscopy, 42-54.January 2013 -
Total variation minimization approach in in-line X-ray phase-contrast tomography Article
Optics Express, 21(10), 12185-12196.January 2013 -
Advances in X-ray diffraction contrast tomography: flexibility in the setup geometry and application to multiphase materials Article
Journal of Applied Crystallography, 46(2), 297-311.January 2013 -
Approximate discrete reconstruction algorithm Article
Fundamenta Informaticae, 125(3-4), 239-259.January 2013 -
January 2013
-
Altruism and Spite in Games Presentation
January 2013 -
January 2013
-
Experimental plug and play quantum coin flipping Tech Report
January 2013 -
January 2013
-
Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost Tech Report
January 2013 -
Exclusivity structures and graph representatives of local complementation orbits Article
Journal of Mathematical Physics, 54(7)January 2013 -
New Separations in Zero-Error Channel Capacity Through Projective Kochen-Specker Sets and Quantum Coloring Article
IEEE Transactions on Information Theory, 59(6), 4025-4032.January 2013 -
Entanglement of Identical Particles and the Detection Process Article
Fortschritte der Physik, 61(2-3)January 2013 -
Universality in open system entanglement dynamics Article
Journal of Physics A: Mathematical and Theoretical, 46(8)January 2013 -
Optimal parallel quantum query algorithms Tech Report
January 2013 -
How Low Can Approximate Degree and Quantum Query Complexity be for Total Boolean Functions? In Proceedings
January 2013 -
The non-adaptive query complexity of testing k-parities Article
Chicago Journal of Theoretical Computer ScienceJanuary 2013 -
Fooling One-Sided Quantum Protocols In Proceedings
January 2013 -
January 2013
-
Efficient and error-correcting data structures for membership and polynomial evaluation Article
SIAM Journal on complexity, 42(1), 84-111.January 2013 -
January 2013
-
Market Garden Software
January 2013 -
January 2013
-
Harnessing Mathematics for Improved Ontology Alignment In Proceedings
January 2013 -
Coalgebraic Bisimulation-Up-To In Proceedings
January 2013 -
Coinductive proof techniques for language equivalence In Proceedings
January 2013 -
Generalizing determinization from automata to coalgebras Article
Logical Methods in Computer Science, 9(1:09), 1-27.January 2013 -
Varieties and covarieties of languages (preliminary version) In Proceedings
January 2013 -
Stream processing coalgebraically Article
Science of Computer Programming, 78(11), 2192-2215.January 2013 -
Automatic equivalence proofs for non-deterministic coalgebras Article
Science of Computer Programming, 1324-1345.January 2013 -
A data-driven multi-cloud model for stochastic parametrization of deep convection Article
Philosophical Transactions of the Royal Society A , 1-23.January 2013 -
MATE-CLEVER: Mendelian-inheritance-aware discovery and genotyping of midsize and long indels Article
Bioinformatics, 29(24), 3143-3150.January 2013 -
January 2013
-
Zero-error source-channel coding with entanglement In Proceedings
January 2013 -
A simple fixed parameter tractable algorithm for computing the hybridization number of two (not necessarily binary) trees Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(1), 18-25.January 2013 -
Virtual Realities (Dagstuhl Seminar 13241) Proceedings
January 2013 -
Free partially commutative groups, cohomology, and paths and circuits in directed graphs on surfaces Tech Report
January 2013 -
January 2013
-
January 2013
-
Low rank approximation of polynomials Tech Report
January 2013 -
January 2013
-
On virtual link invariants Tech Report
January 2013 -
Analysis of multi-stage open shop processing systems Article
Mathematical Programming, 331-348.January 2013 -
Characterizing partition functions of the spin model by rank growth Article
Indagationes Mathematicae, 1018-1023.January 2013 -
Large-scale parameter studies of cell-based models of tissue morphogenesis using CompuCell3D or VirtualLeaf Book Chapter
January 2013 -
January 2013
-
Cell-Based Modeling Book Chapter
January 2013 -
Benchmarking Parameter-free AMaLGaM on Functions With and Without Noise Article
Evolutionary Computation, 21(3), 445-469.January 2013 -
More Concise and Robust Linkage Learning by Filtering and Combining Linkage Hierarchies In Proceedings
January 2013 -
January 2013
-
Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES In Proceedings
January 2013 -
January 2013
-
January 2013
-
Market Garden: A Scalable Research Environment for Heterogeneous Electricity Markets Article
ERCIM News, 25-26.January 2013 -
A Cell-Based Model of Extracellular-Matrix-Guided Endothelial Cell Migration During Angiogenesis Article
Bulletin of Mathematical Biology, 1377-1399.January 2013 -
Mechanical cell-substrate feedback explains pairwise and collective endothelial cell behavior in vitro Tech Report
January 2013 -
January 2013
-
January 2013
-
Panel Discussion at Seminar Automated Game Design Miscellaneous
January 2013 -
Iguana Software
January 2013 -
Ensō Presentation
January 2013