Holzegel, G; Kauffman, C. . The wave equation on subextremal Kerr spacetimes with small non-decaying first order terms arXiv. doi: 10.48550/arXiv.2302.06387.
Holzegel, G; Shao, A. . ‘The bulk-boundary correspondence for the Einstein equations in asymptotically anti-de Sitter spacetimes.’ Archive for Rational Mechanics and Analysis 247: 56. doi: 10.1007/s00205-023-01890-9.
Aluffi, P., Mihalcea, L., Schürmann, J., Su C. . ‘Positivity of Segre–MacPherson Classes.’InFacets of Algebraic Geometry: A Collection in Honor of William Fulton's 80th Birthday, edited byAluffi P., Anderson D., Hering M., Mustaţă M., Payne S., 1–28. doi: 10.1017/9781108877831.001.
Maxim, Laurentiu; Schürmann, Jörg. . ‘Constructible Sheaf Complexes in Complex Geometry and Applications.’ InHandbook of Geometry and Topology of Singularities III, edited byCisneros-Molina, José Luis; Dũng Tráng, Lê; Seade, José, 679–791. Cham, Switzerland: Springer Nature. doi: 10.1007/978-3-030-95760-5.
Hartl, Urs; Singh, Rajineesh Kumar. . ‘A short review on local shtukas and divisible local Anderson modules.’ InPerfectoid Spaces, edited byD. Banerjee, K. Kedlaya, E. de Shalit, C. Chaudhuri, 51–68. Singapore: Springer International Publishing. doi: 10.1007/978-981-16-7121-0_4.
Hein HJ, Sun S, Viaclovsky J, Zhang R. . ‘Nilpotent structures and collapsing Ricci-flat metrics on the K3 surface.’ Journal of the American Mathematical Society 2022. doi: 10.1090/jams/978.
de Laat T., Zadeh, S. . ‘Weak*-continuity of invariant means on spaces of matrix coefficients.’ Journal of Mathematical Analysis and Applications 506, Nr. 2. doi: 10.1016/j.jmaa.2021.125669.
Dafermos, M; Holzegel, G; Rodnianski, I; Taylor, M. . Quasilinear wave equations on asymptotically flat spacetimes with applications to Kerr black holes arXiv. doi: 10.48550/arXiv.2212.14093.
Rellensmann J, Schukajlow S, Blomberg J. . „Was ist eine gute Skizze? Strategiewissen beim mathematischen Modellieren im Bereich der Geometrie fördern.“ Mathematik lehren 224: 22–27.
Kirsten, K. . Beweisprozesse von Studierenden. Ergebnisse einer empirischen Untersuchung zu Prozessverläufen und phasenspezifischen Aktivitäten Dissertationsschrift, Universität Münster. Wiesbaden: Springer Spektrum. doi: 10.1007/978-3-658-32242-7.
de Laat T., Siebenand T. . ‘Exotic group C*-algebras of simple Lie groups with real rank one.’ Annales de l'Institut Fourier 71, Nr. 5: 2117–2136. doi: 10.5802/aif.3441.
Hein HJ, Rasdeaconu R, Suvaina I. . ‘On the classification of ALE Kähler manifolds.’ International Mathematics Research Notices 2021: 10957–10980. doi: 10.1093/imrn/rnz376.
Schlottke-Lakemper M, Winters AR, Ranocha H, Gassner GJ. . ‘A purely hyperbolic discontinuous Galerkin approach for self-gravitating gas dynamics.’ Journal of Computational Physics 2021: 110467. doi: 10.1016/j.jcp.2021.110467.
Mitsotakis Dimitrios, Ranocha Hendrik, Ketcheson David I, Süli Endre. . ‘A conservative fully-discrete numerical method for the regularized shallow water wave equations.’ SIAM Journal on Scientific Computing 42. doi: 10.1137/20M1364606.
LeFloch PG, Ranocha H. . ‘Kinetic functions for nonclassical shocks, entropy stability, and discrete summation by parts.’ Journal of Scientific Computing 87. doi: 10.1007/s10915-021-01463-6.
Ranocha H, Nordström J. . ‘A New Class of A Stable Summation by Parts Time Integration Schemes with Strong Initial Conditions.’ Journal of Scientific Computing 87. doi: 10.1007/s10915-021-01454-7.
Ranocha H, Mitsotakis D, Ketcheson DI. . ‘A Broad Class of Conservative Numerical Methods for Dispersive Wave Equations.’ Communications in Computational Physics 29, Nr. 4: 979–1029. doi: 10.4208/cicp.OA-2020-0119.
Ranocha H. . ‘On Strong Stability of Explicit Runge-Kutta Methods for Nonlinear Semibounded Operators.’ IMA Journal of Numerical Analysis 41, Nr. 1: 654–682. doi: 10.1093/imanum/drz070.
Rojas D, Boukharfane R, Dalcin L, Fernández DCDR, Ranocha H, Keyes DE, Parsani M. . ‘On the robustness and performance of entropy stable discontinuous collocation methods.’ Journal of Computational Physics 426: 109891. doi: 10.1016/j.jcp.2020.109891.
Escalier Amandine. . Local and Asymptotic geometry of groups Dissertationsschrift, Université de Paris.
de Laat T., de la Salle M. . ‘Banach space actions and L2-spectral gap.’ Analysis & PDE 14, Nr. 1: 45–76. doi: 10.2140/apde.2021.14.45.
Kerr D, Li H. . ‘Entropy, Shannon orbit equivalence, and sparse connectivity.’ Mathematische Annalen 380: 1497–1562.
Dafermos, M; Holzegel, G; Rodnianski, I; Taylor, M. . The non-linear stability of the Schwarzschild family of black holes arXiv. doi: 10.48550/arXiv.2104.08222.
Gardam Giles. . ‘A counterexample to the unit conjecture for group rings.’ Annals of Mathematics 194 (2021), Nr. 3: 967–979. doi: 10.4007/annals.2021.194.3.9.
Genevois Anthony, Varghese Olga. . ‘Conjugating automorphisms of graph products: Kazhdan's property (T) and SQ-universality.’ Bulletin of the Australian Mathematical Society 2020, Nr. vol. 101, no. 2: 272–282. doi: 10.1017/S0004972719000844.
Ay, I, Brnic, M & Jedtke, E. . Vergleichsarbeiten 2020. 8. Jahrgangsstufe (VERA-8) Mathematik. Didaktische Handreichung. Berlin: Institut für Qualitätsentwicklung im Bildungswesen (IQB).
Ay I. . „Mathematisches Modellieren vor dem Hintergrund sozialer Herkunft.“ In Beiträge zum Mathematikunterricht 2020, herausgegeben von Siller H-S, Weigel W, Wörler J F, 77–80. Münster: Verlag für wissenschaftliche Texte und Medien. doi: 10.17877/DE290R-21208.
Boshe-Plois S, Ngo Q. Q., Albers P, Linsen L. . ‘Visual Analysis of Billiard Dynamics Simulation Ensembles.’ In15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2020), edited byKerren A, Hurter C, Braz J, 185–192.: SCITEPRESS - Science and Technology Publications, Lda.
Schneid Konrad, Thöne Sebastian, Kuchen Herbert. . ‘Feature Development in BPMN-Based Process-Driven Applications.’ InBusiness Process Management Forum, edited byFahland Dirk, Ghidini Chiara, Becker Jörg, Duma Marlon, 35–50.: Springer.
Hein HJ, Tosatti V. . ‘Higher-order estimates for collapsing Calabi-Yau metrics.’ Cambridge Journal of Mathematics 8. doi: 10.4310/CJM.2020.v8.n4.a1.
Abgrall R, Mélédo El, Öffner P, Ranocha H. . ‘Error Boundedness of Correction Procedure via Reconstruction/Flux Reconstruction and the Connection to Residual Distribution Schemes.’ InHyperbolic Problems: Theory, Numerics, Applications, edited byBressan A, Lewicka M, Wang D, Zheng Y, 215–222. Springfield: American Institute of Mathematical Sciences.
Heinisch P, Ostaszewski K, Ranocha H. . ‘Towards Green Computing: A Survey of Performance and Energy Efficiency of Different Platforms using OpenCL.’ InProceedings of the International Workshop on OpenCL. New York, NY, USA: ACM. doi: 10.1145/3388333.3403035.
Ranocha H. . ‘Entropy Conserving and Kinetic Energy Preserving Numerical Methods for the Euler Equations Using Summation-by-Parts Operators.’ InSpectral and High Order Methods for Partial Differential Equations {ICOSAHOM} 2018, edited bySherwin SJ, Moxey D, Peiró J, Vincent PE, Schwab C, 525–535. Cham: Springer. doi: 10.1007/978-3-030-39647-3_42.
Ranocha H, Ostaszewski K, Heinisch P. . ‘Discrete Vector Calculus and Helmholtz Hodge Decomposition for Classical Finite Difference Summation by Parts Operators.’ Communications on Applied Mathematics and Computation 2: 581–611. doi: 10.1007/s42967-019-00057-2.
Ranocha H, Sayyari M, Dalcin L, Parsani M, Ketcheson DI. . ‘Relaxation Runge-Kutta Methods: Fully-Discrete Explicit Entropy-Stable Schemes for the Compressible Euler and Navier-Stokes Equations.’ SIAM Journal on Scientific Computing 42, Nr. 2: A612–A638. doi: 10.1137/19M1263480.
Öffner P, Glaubitz J, Ranocha H. . ‘Analysis of Artificial Dissipation of Explicit and Implicit Time-Integration Methods.’ International Journal of Numerical Analysis and Modeling 17, Nr. 3: 332–349.
Ranocha H, Ketcheson DI. . ‘Relaxation Runge-Kutta Methods for Hamiltonian Problems.’ Journal of Scientific Computing 84, Nr. 1. doi: 10.1007/s10915-020-01277-y.
Ranocha H, Dalcin L, Parsani M. . ‘Fully-Discrete Explicit Locally Entropy-Stable Schemes for the Compressible Euler and Navier-Stokes Equations.’ Computers and Mathematics with Applications 80, Nr. 5: 1343–1359. doi: 10.1016/j.camwa.2020.06.016.
Ranocha H, Lóczi L, Ketcheson DI. . ‘General Relaxation Methods for Initial-Value Problems with Application to Multistep Schemes.’ Numerische Mathematik 146. doi: 10.1007/s00211-020-01158-4.
Hesselholt L., Nikolaus T. . ‘Algebraic k-theory of planar cuspidal curves.’ InK-Theory in Algebra, Analysis and Topology, edited byCortinas, Guillermo; Weibel, Charles A., 139–148. Providence, Rhode Island: American Mathematical Society. doi: 10.48550/arXiv.1903.08295.
Hartl Urs, Singh Rajneesh Kumar. . ‘Periods of Drinfeld modules and local shtukas with complex multiplication.’ Journal of the Institute of Mathematics of Jussieu 19: 175–208.
Hartl Urs, Juschka Ann-Kristin. . ‘Pink's Theory of Hodge Structures and the Hodge Conjecture over Function Fields.’ Inin t-motives: Hodge structures, transcendence and other motivic aspects, edited byG. Böckle, D. Goss, U. Hartl, M. Papanikolas, 31–182. European Mathematical Society.
de Laat, T. „Group C*-algebras of locally compact groups acting on trees.“ contributed to the Geometric Structures in Group Theory, Oberwolfach, Deutschland, .
Kerr D. . ‘Dimension, comparison, and almost finiteness.’ J. Eur. Math. Soc. 22: 3697–3745.
Kerr D, Szabó G. . ‘Almost finiteness and the small boundary property.’ Comm. Math. Phys. 374: 1–31.
Holzegel, G; Luk, J; Smulevici, J; Warnick, C. . ‘Asymptotic properties of linear field equations in anti-de Sitter space.’ Communications in Mathematical Physics 374: 1125–1178. doi: 10.1007/s00220-019-03601-6.
Holzegel, G; Kauffman, C. . A note on the wave equation on black hole spacetimes with small non-decaying first order terms arXiv. doi: 10.48550/arXiv.2005.13644.
Hamacher P, Viehmann E. . ‘Finiteness properties of affine Deligne-Lusztig varieties.’ Documenta Mathematica 25: 899–910.
Viehmann, Eva. . ‘On the geometry of the Newton stratification.’ InStabilization of the trace formula, Shimure varieties, and arithmetic applications, Volume II: Shimura varieties and Galois representations, edited byHaines T, Harris M, 192–208. Cambridge: Cambridge University Press.
Ludwig, Ursula. . ‘An extension of a theorem by Cheeger and Müller to spaces with isolated conical singularities.’ Duke Mathematical Journal 169, Nr. 13: 2501–2570. doi: 10.1215/00127094-2020-0008.
Ludwig, Ursula. . ‘An index formula for the intersection {Euler} characteristic of an infinite cone.’ Mathematische Zeitschrift 296, Nr. 1-2: 99–126. doi: 10.1007/s00209-019-02423-5.
Deninger C., Werner, A. . ‘Parallel transport for vector bundles on p-adic varieties.’ J. Algebraic Geom. 2020, Nr. 29: 1–52.
Schürmann Jörg, Woolf Jon. . ‘Witt groups of abelian categories and perverse sheaves.’ Annals of K-theory 2019, Nr. 4: 621–670. doi: 10.2140/akt.2019.4.621.
Varghese Olga. . ‘The automorphism group of the universal Coxeter group.’ Expositiones Mathematicae 2019. doi: 10.1016/j.exmath.2019.09.002.
Kramer Linus, Varghese Olga. . ‘Abstract homomorphisms from locally compact groups to discrete groups.’ Journal of Algebra 538. doi: 10.1016/j.jalgebra.2019.07.026.
Varghese Olga. . ‘A condition that prevents groups from acting fixed point free on cube complexes.’ Geometriae Dedicata 200, Nr. 1. doi: 10.1007/s10711-018-0361-2.
Varghese Olga. . ‘On coherence of graph products of groups and Coxeter groups.’ Discrete Mathematics 342, Nr. 7. doi: 10.1016/j.disc.2019.04.014.
Varghese Olga. . ‘Planarity of Cayley graphs of graph products of groups.’ Discrete Mathematics 342, Nr. 6. doi: 10.1016/j.disc.2019.02.020.
Rellensmann Johanna. . Selbsterstellte Skizzen beim mathematischen Modellieren: Eine empirische Untersuchung. Wiesbaden: Springer Fachmedien Wiesbaden.
Kirsten K. . ‘Bridging the Cognitive Gap. Students' Approaches to Understanding the Proof Construction Task.’ InProceedings of the 43rd Conference of the International Group for the Psychology of Mathematics Education, edited byGraven M, Venkat H, Essien A, Vale P, 472–479. Pretoria, South Africa: PME.
Friedrich M, Kreutz L. . ‘Crystallization in the hexagonal lattice for ionic dimers.’ Math. Models Methods Appl. Sci. 29.
Kuckuck B, Rothe J. . ‘Monotonicity, Duplication Monotonicity, and Pareto Optimality in the Scoring-Based Allocation of Indivisible Goods.’ Contributed to the International Conference on Agreement Technologies (AT 2019), Bergen, Norwegen. doi: 10.1007/978-3-030-17294-7_13.
Kuckuck B, Rothe J, Weißenfeld A. . ‘Refugee allocation in the setting of hedonic games.’ Contributed to the International Conference on Algorithmic Decision Theory (ADT 2019), Durham, NC, USA. doi: 10.1007/978-3-030-31489-7_5.
Kuckuck B, Rothe J. . ‘Duplication monotonicity in the allocation of indivisible goods.’ AI Commun. 32, Nr. 4: 253–270. doi: 10.3233/AIC-190613.
Hein HJ. . ‘A Liouville theorem for the complex Monge-Ampère equation on product manifolds.’ Communications on Pure and Applied Mathematics 72. doi: 10.1002/cpa.21751.
Candy T, Kauffman C, Lindblad L. . ‘Asymptotic Behavior of the Maxwell-Klein-Gordon System.’ Communications in Mathematical Physics 367.
Ranocha H. . ‘Mimetic Properties of Difference Operators: Product and Chain Rules as for Functions of Bounded Variation and Entropy Stability of Second Derivatives.’ BIT Numerical Mathematics 59, Nr. 2: 547–563. doi: 10.1007/s10543-018-0736-7.
Öffner P, Ranocha H. . ‘Error Boundedness of Discontinuous Galerkin Methods with Variable Coefficients.’ Journal of Scientific Computing 79, Nr. 3: 1572–1607. doi: 10.1007/s10915-018-00902-1.
Öffner P, Glaubitz J, Ranocha H. . ‘Stability of Correction Procedure via Reconstruction With Summation-by-Parts Operators for Burgers' Equation Using a Polynomial Chaos Approach.’ ESAIM: Mathematical Modelling and Numerical Analysis (ESAIM: M2AN) 52, Nr. 6: 2215–2245. doi: 10.1051/m2an/2018072.
Ranocha H. . ‘Some Notes on Summation by Parts Time Integration Methods.’ Results in Applied Mathematics 1: 100004. doi: 10.1016/j.rinam.2019.100004.
de Laat T., Vigolo F. . ‘Superexpanders from group actions on compact manifolds.’ Geometriae Dedicata 200: 287–302. doi: 10.1007/s10711-018-0371-0.
Dafermos, M; Holzegel, G; Rodnianski, I. . ‘Boundedness and decay for the Teukolsky equation on Kerr spacetimes I: the case |a|≪M.’ Annals of PDE 5, Nr. 2: 1–118. doi: 10.1007/s40818-018-0058-8.
Dafermos, M; Holzegel, G; Rodnianski, I. . ‘The linear stability of the Schwarzschild solution to gravitational perturbations.’ Acta Mathematica 222, Nr. 1: 1–214. doi: 10.4310/ACTA.2019.v222.n1.a1.
Ollivier Rachel, Schneider Peter. . ‘The modular pro-p Iwahori-Hecke Ext-algebra.’ InRepresentations of Reductive Groups, edited byAizenbud A, Gourevich D, Kazhdan D, Lapid E, 255–308. AMS.
Bartels A, Douglas CL, Henriques A. . ‘Fusion of defects.’ Memoirs of the American Mathematical Society 258, Nr. 1237: vii+100. doi: 10.1090/memo/1237.
Deninger C., Mellit A. . ‘ℤR and rings of Witt vectors W_S(R).’ Rend. Semin. Mat. Univ. Padova 2019, Nr. 142: 93–102.
Wieskötter B, Herbort M, Langer M, Raschke MJ, Wähnert D. . ‘The impact of different peripheral suture techniques on the biomechanical stability in flexor tendon repair.’ Archives of Orthopaedic and Trauma Surgery 138, Nr. 1. doi: 10.1007/s00402-017-2836-2.
Kirsten K. . ‘Theoretical and Empirical Description of Phases in the Proving Processes of Undergraduates.’ InProceedings of the Second Conference of the International Network for Didactic Research in University Mathematics, 326–335. Kristiansand, Norway: University of Agder and INDRUM.
Kuckuck B, Rothe J. . ‘Sequential allocation rules are separable: Refuting a conjecture on scoring-Based allocation of indivisible goods.’ Contributed to the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS '18), Stockholm, Schweden.
Ranocha H. . Generalised Summation-by-Parts Operators and Entropy Stability of Numerical Methods for Hyperbolic Balance Laws Dissertationsschrift, TU Braunschweig: unbekannt / n.a. / unknown.
Glaubitz J, Öffner P, Ranocha H, Sonar T. . ‘Artificial Viscosity for Correction Procedure via Reconstruction Using Summation-by-Parts Operators.’ InTheory, Numerics and Applications of Hyperbolic Problems II, edited byKlingenberg C, Westdickenberg M, 363–375. Cham: Springer International Publishing. doi: 10.1007/978-3-319-91548-7_28.
Öffner P, Ranocha H, Sonar T. . ‘Correction Procedure via Reconstruction Using Summation-by-Parts Operators.’ InTheory, Numerics and Applications of Hyperbolic Problems II, edited byKlingenberg C, Westdickenberg M, 491–501. Cham: Springer International Publishing. doi: 10.1007/978-3-319-91548-7_37.
Ostaszewski K, Heinisch P, Ranocha H. . ‘Advantages and Pitfalls of OpenCL in Computational Physics.’ InProceedings of the International Workshop on OpenCL, 10:1. New York, NY, USA: ACM. doi: 10.1145/3204919.3204929.
Ranocha H, Glaubitz J, Öffner P, Sonar T. . ‘Stability of artificial dissipation and modal filtering for flux reconstruction schemes using summation-by-parts operators.’ Applied Numerical Mathematics 128: 1–23. doi: 10.1016/j.apnum.2018.01.019.
Ranocha H. . ‘Generalised Summation-by-Parts Operators and Variable Coefficients.’ Journal of Computational Physics 362: 20–48. doi: 10.1016/j.jcp.2018.02.021.
Ranocha H, Öffner P. . ‘L_2 Stability of Explicit Runge-Kutta Schemes.’ Journal of Scientific Computing 75, Nr. 2: 1040–1056. doi: 10.1007/s10915-017-0595-4.
Ranocha H. . ‘Comparison of Some Entropy Conservative Numerical Fluxes for the Euler Equations.’ Journal of Scientific Computing 76, Nr. 1: 216–242. doi: 10.1007/s10915-017-0618-1.
Arano Y., de Laat T., Wahl J. . ‘Howe-Moore type theorems for quantum groups and rigid C*-tensor categories.’ Compositio Mathematica 154, Nr. 2: 328–341. doi: 10.1112/S0010437X17007576.
Arano Y., de Laat T., Wahl J. . ‘The Fourier algebra of a rigid C*-tensor category.’ Publications of the Research Institute for Mathematical Sciences 54: 393–410. doi: 10.4171/PRIMS/54-2-6.
de Laat T., de la Salle M. . ‘Approximation properties for noncommutative Lp-spaces of high rank lattices and nonembeddability of expanders.’ Journal für die reine und angewandte Mathematik 737: 49–69. doi: 10.1515/crelle-2015-0043.
Khukhro, A., de Laat, T., de la Salle, M. . ‘Mini-Workshop: Superexpanders and Their Coarse Geometry, Abstracts from the mini-workshop held April 15 - 21, 2018.’ Contributed to the Superexpanders and Their Coarse Geometry, Oberwolfach, Deutschland.
Conley C, Jackson S, Kerr D, Marks A, Seward B, Tucker-Drob R. . ‘Følner tilings for actions of amenable groups.’ Math. Ann. 371: 663–683.
Brannan M, Kerr D. . ‘Quantum groups, property (T), and weak mixing.’ Comm. Math. Phys. 360: 1043–1059.
Viehmann, Eva. . ‘Moduli spaces of local {$G$}}-shtukas.’InProceedings of the International Congress of Mathematicians---Rio de Janeiro 2018. Vol. {II}. Invited lectures, edited bySirakov, Boyan; de Souza, Paulo Ney; Viana, Marcelo, 1443–1464. Singapore: World Scientific Publishing.
Neuber Nils, Paravicini Walther, Stein Martin (Hrsg.): . Forschendes Lernen – The wider view – Eine Tagung des Zentrums für Lehrerbildung der Westfaelischen Wilhelms-Universität Muenster vom 25. bis 27.09.2017. Münster: Verlag für wissenschaftliche Texte und Medien.
Deninger C. . ‘A remark on the structure of torsors under an affine group scheme.’ Abh. Math. Semin. Univ. Hambg. 2018, Nr. 88: 189–192.
Pavlov Dmitri, Scholbach Jakob. . ‘Homotopy theory of symmetric powers.’ Homology, Homotopy and Applications 20. doi: 10.4310/HHA.2018.v20.n1.a20.
Maxim Laurenţiu, Schürmann Jörg. . ‘Equivariant characteristic classes of external and symmetric products of varieties.’ Geometry and Topology 22: 471–515. doi: 10.2140/gt.2018.22.471.
Cappell Sylvain, Maxim Laurentiu, Schürmann Jörg, Shaneson Julius, Yokura Shoji. . ‘Characteristic classes of symmetric products of complex quasi-projective varieties.’ J. Reine Angew. Math. 2017. doi: 10.1515/crelle-2014-0114.
Schürmann, Jörg. . ‘Chern Classes and Transversality for Singular Spaces.’ Contributed to the Singularities in Geometry, Topology, Foliations and Dynamics, Merida. doi: 10.1007/978-3-319-39339-1.
Ohlberger M, Rave S. . ‘Localized Reduced Basis Approximation of a Nonlinear Finite Volume Battery Model with Resolved Electrode Geometry.’ InModel Reduction of Parametrized Systems, edited byBenner P., Ohlberger M., Patera A., Rozza G., Urban K., 201–212. Cham: Springer International Publishing. doi: 10.1007/978-3-319-58786-8_13.
Kirsten, K. . ‘Identifying Phases and Activities in the Proving Process of first-year Undergraduates.’ InProceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10), 299–300. Dublin, Irland: DCU Institute of Education and ERME.
Kirsten K. . „Identifizierung von Phasen und Aktivitäten im Beweisprozess von Studienanfänger/innen.“ In Beiträge zum Mathematikunterricht 2017, 1129–1132. Münster: WTM-Verlag.
Hein HJ, Sun S. . ‘Compact Calabi-Yau manifolds with isolated conical singularities.’ Publications Mathématiques de L'IHÉS 126. doi: 10.1007/s10240-017-0092-1.
Ranocha H, Öffner P, Sonar T. . ‘Summation-by-Parts and Correction Procedure via Reconstruction.’ InSpectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016, edited byBittencourt ML, Dumont NA, Hesthaven JS, 627–637. Cham: Springer. doi: 10.1007/978-3-319-65870-4_45.
Ranocha H. . ‘Shallow water equations: Split-form, entropy stable, well-balanced, and positivity preserving numerical methods.’ GEM - International Journal on Geomathematics 8, Nr. 1: 85–133. doi: 10.1007/s13137-016-0089-9.
Ranocha H, Öffner P, Sonar T. . ‘Extended skew-symmetric form for summation-by-parts operators and varying Jacobians.’ Journal of Computational Physics 342: 13–28. doi: 10.1016/j.jcp.2017.04.044.
Ludwig U. . ‘Comparison between two complexes on a singular space.’ Journal für die reine und angewandte Mathematik 724: 1–52. doi: 10.1515/crelle-2014-0075.
Schneider Peter. . Galois Representations and (phi,Gamma)-Modules. 1. Aufl. : Cambridge University Press.
Broussous P., Schneider P. . ‘Type theory and coefficient systems on the building.’ Bulletin Soc. math. France 145: 97–159.
Tikuisis A, White S, Winter W. . ‘Quasidiagonality of nuclear C*-algebras.’ Annals of Mathematics 185, Nr. 1: 229–284. doi: 10.4007/annals.2017.185.1.4.
Echterhoff Siegfried. . ‘Bivariant KK-Theory and the Baum-Connes conjecture.’InK-Theory for Group C*-Algebras and Semigroup C*-Algebras, edited byCuntz J., Echterhoff S., Li X., Yu G.,, 81–147. Cham: Birkhäuser Verlag.
Maxim Laurentiu, Saito Morihiko, Schürmann Jörg. . ‘Hirzebruch–Milnor Classes and Steenbrink Spectra of Certain Projective Hypersurfaces.’ Contributed to the Arbeitstagung Bonn 2013, Bonn. doi: 10.1007/978-3-319-43648-7_9.
Haagerup U., Knudby S., de Laat T. . ‘A complete characterization of connected Lie groups with the Approximation Property.’ Annales Scientifiques de l'École Normale Supérieure 49, Nr. 4: 927–946.
Klopsch B, Kuckuck B. . ‘The Magnus property for direct products.’ Arch. Math. (Basel) 107, Nr. 4: 379–388. doi: 10.1007/s00013-016-0939-6.
Hein HJ, LeBrun C. . ‘Mass in Kähler Geometry.’ Communications in Mathematical Physics 347. doi: 10.1007/s00220-016-2661-4.
Ranocha H, Öffner P, Sonar T. . ‘Summation-by-parts operators for correction procedure via reconstruction.’ Journal of Computational Physics 311: 299–328. doi: 10.1016/j.jcp.2016.02.009.
Hartl U., Hüsken S. . ‘A criterion for good reduction of Drinfeld modules and Anderson motives in terms of local shtukas.’ Annali della Scuola normale superiore di Pisa, Classe di scienze 15: 25–43. doi: 10.2422/2036-2145.201304_007.
Reis Rui, Weiss Michael. . ‘Pontryagin classes and functor calculus.’ Journal of the European Mathematical Society 2016: 1769–1811. doi: 10.4171/JEMS/629.
Barnes D.,Eldred R.,. . ‘Capturing Goodwillie's derivative.’ Journal of Pure and Applied Algebra 220, Nr. 1: 197–222. doi: 10.1016/j.jpaa.2015.06.006.
Hansjörg Geiges, Kai Zehmisch. . ‘Reeb dynamics detects odd balls.’ Annali della Scuola Normale Superiore di Pisa - Classe di Scienze 15: 663–681.
de Laat T., Mimura M., de la Salle M. . ‘On strong property (T) and fixed point properties for Lie groups.’ Annales de l'Institut Fourier 66, Nr. 5: 1859–1893. doi: 10.5802/aif.3051.
Haagerup U., de Laat T. . ‘Simple Lie groups without the Approximation Property II.’ Transactions of the American Mathematical Society 368: 3777–3809. doi: 10.1090/tran/6448.
de Laat, T. „Howe-Moore type theorems for quantum groups and rigid C*-tensor categories.“ contributed to the C*-Algebras, Oberwolfach, Germany, .
Hellmann, Eugen. . ‘Families of p-adic Galois representations and (phi,Gamma)-modules.’ Commentarii Math. Helvetici 91.
Hellmann Eugen, Benjamin Schraen. . ‘Density of potentially crystalline representations of fixed weight.’ Compositio Math. 152.
Kerr D, Li H. . Ergodic Theory: Independence and Dichotomies. Cham: Springer VDI Verlag.
Holzegel, G. . ‘Conservation laws and flux bounds for gravitational perturbations of the Schwarzschild metric.’ Classical and Quantum Gravity 33, Nr. 20: 205004. doi: 10.1088/0264-9381/33/20/205004.
Holzegel, G; Klainerman, S; Speck, J; Wong, W. . ‘Small-data shock formation in solutions to 3D quasilinear wave equations: An overview.’ Journal of Hyperbolic Differential Equations 13, Nr. 1: 1–105. doi: 10.1142/S0219891616500016.
Holzegel, G; Shao, A. . ‘Unique continuation from infinity in asymptotically anti-de Sitter spacetimes.’ Communications in Mathematical Physics 347: 723–775. doi: 10.1007/s00220-016-2576-0.
Schneider Peter, Venjakob Otmar. . ‘Coates-Wiles homomorphisms and Iwasawa cohomology for Lubin-Tate extensions.’ InElliptic Curves, Modular Forms, and Iwasawa Theory, edited byLoeffler D, Zerbes S, 401–468.: Springer.
Schneider Peter, Zink Ernst-Wilhelm. . ‘Tempered representations of p-adic groups: Special idempotents and topology.’ Selecta Math. 2016, Nr. 22: 2209–2242.
Winter Wilhelm. . ‘Classifying crossed product C*-algebras.’ Amer. J. Math 138: 793–820.
Winter W. . ‘Operator Algebras and Applications.’ InQDQ vs. UCT, 321–342.: Springer.
Maxim Laurentiu, Schürmann Jörg. . ‘Characteristic Classes of Singular Toric Varieties.’ Communications on Pure and Applied Mathematics 2015. doi: 10.1002/cpa.21553.
Timmermann Thomas, Van Daele Alfons. . ‘Multiplier Hopf algebroids arising from weak multiplier Hopf algebras.’ InFrom Poisson brackets to universal quantum symmetries, edited byCiccoli Nicola, Sitarz Andrzej, 73–110. Warsaw, Poland: Polish Academy of Science, Institute of Mathematics.
Cuntz Joachim, Echterhoff Siegfried, Li Xin. . ‘On the K-theory of the C*-algebra generated by the left regular representation of an Ore semigroup.’ Journal of the European Mathematical Society 17, Nr. 3: 645–687. doi: 10.4171/JEMS/513.
Hein HJ, Naber A. . ‘Ricci-flat metrics on A_k singularities.’ Contributed to the Differentialgeometrie im Großen, Oberwolfach. doi: 10.14760/OWR-2015-31.
Hein HJ, Tosatti V. . ‘Remarks on the collapsing of torus fibered Calabi–Yau manifolds.’ Bulletin of the London Mathematical Society 47. doi: 10.1112/blms/bdv067.
Haskins M, Hein HJ, Nordström J. . ‘Asymptotically cylindrical Calabi-Yau manifolds.’ Journal of Differential Geometry 101. doi: 10.4310/jdg/1442364651.
Conlon R, Hein HJ. . ‘Asymptotically conical Calabi-Yau metrics on quasi-projective varieties.’ GEOMETRIC AND FUNCTIONAL ANALYSIS 25. doi: 10.1007/s00039-015-0319-6.
Koenders C, Glassmeier K, Richter I, Ranocha H, Motschmann U. . ‘Dynamical features and spatial structures of the plasma interaction region of 67P/Churyumov-Gerasimenko and the solar wind.’ Planetary and Space Science 105: 101–116. doi: 10.1016/j.pss.2014.11.014.
Halupczok K.,. . ‘Large sieve inequalities with general polynomial moduli.’ Quarterly Journal of Mathematics 66, Nr. 2: 545. doi: 10.1093/qmath/hav011.
Benedetti Gabriele, Zehmisch Kai. . ‘On the existence of periodic orbits for magnetic systems on the two-sphere.’ Journal of Modern Dynamics 2015, Nr. 9: 141–146. doi: 10.3934/jmd.2015.9.141.
Thürigen J. . ‘Fields and Laplacians on Quantum Geometries.’InProceedings, 13th Marcel Grossmann Meeting on Recent Developments in Theoretical and Experimental General Relativity, Astrophysics, and Relativistic Field Theories (MG13): Stockholm, Sweden, July 1-7, 2012, 2168–2170. doi: 10.1142/9789814623995_0388.
de Laat T., de la Salle M. . ‘Strong property (T) for higher rank simple Lie groups.’ Proceedings of the London Mathematical Society 111, Nr. 4: 936–966. doi: 10.1112/plms/pdv040.
de Laat, T. „A complete characterization of connected Lie groups with the Approximation Property.“ contributed to the Noncommutative Geometry, Oberwolfach, Deutschland, .
Asselle Luca, Benedetti Gabriele. . ‘Infinitely many periodic orbits in non-exact oscillating magnetic fields on surfaces with genus at least two for almost every low energy level.’ Calculus of Variations and Partial Differential Equations 2015, Nr. Volume 54, Issue 2: 1525–1545. doi: 10.1007/s00526-015-0834-1.
Cuntz Joachim, Deninger Christopher. . ‘Witt vector rings and the relative de Rham Witt comples.’ J. Algebra 440: 545–593.
Kerr D, Lupini M, Phillips NC. . ‘Borel complexity and automorphisms of C*-algebras.’ J., Funct. Anal. 2015: 3767–3789.
Holzegel, G; Warnick, C. . ‘The Einstein–Klein–Gordon–AdS system for general boundary conditions.’ Journal of Hyperbolic Differential Equations 12, Nr. 2: 293–342. doi: 10.1142/S0219891615500095.
Schneider Peter. . ‘Smooth representations and Hecke modules in characteristic p.’ Pacific J. Math. 2015, Nr. 279: 447–464.
Paravicini Walther. . ‘kk-Theory for Banach Algebras II: Equivariance and Green-Julg Type Theorems.’ Journal of Functional Analysis 268, Nr. 10: 3162–3210.
Paravicini Walther. . ‘kk-Theory for Banach Algebras I: The Non-Equivariant Case.’ Journal of Functional Analysis 268, Nr. 10: 3108–3161.
Hirshberg I, Winter W, Zacharias J. . ‘Rokhlin dimension and C*-dynamics.’ Comm. Math. Phys. 335: 637–670.
Toms A S, White S, Winter Wilhelm. . ‘Z-stability and finite dimensional tracial boundaries.’ IMRN 2015: 2702–2727.
Barlak S, Enders D, Matui H, Szabó G, Winter Wilhelm. . ‘The Rokhlin propery vs. Rokhlin dimension 1 on unital Kirchberg algebras.’ J. Noncomm. Geom. 9: 1383–1393.
Sato Y, White S, Winter W. . ‘Nuclear dimension and Z-stability.’ Invent. Math. 202: 893–921.
Buss Alcides, Echterhoff Siegfried. . ‘Maximality of dual coactions on sectional C*-algebras of Fell bundles and applications.’ Studia Mathematica 229: 233–262. doi: 10.4064/sm8361-1-2016.
Buss Alcides, Echterhoff Siegfried, Willett Rufus. . ‘Exotic crossed products and the Baum–Connes conjecture.’ Journal für die reine und angewandte Mathematik 2016. doi: 10.1515/crelle-2015-0061.
Blume Mark. . ‘McKay Correspondence over Non Algebraically Closed Fields.’ InAlgebraic and Complex Geometry, 47–75.
Varghese Olga. . ‘Fixed points for actions of Aut(Fn ) on CAT(0) spaces.’ Münster Journal of Mathematics 7: 439–462. doi: 10.17879/58269763367.
Hemmer M, Schrüfer G, Schubert J C (Hrsg.): . Hesse, C. (2014): Über welche räumlichen Orientierungsraster und Ordnungssysteme verfügen Schülerinnen und Schüler am Ende der Sekundarstufe I? Eine empirische Studie an Gymnasien in NRW. Münster. .
Hemmer M, Schrüfer G, Schubert JC (Hrsg.): . Hesse, C.: Über welche räumlichen Orientierungsraster und Ordnungssysteme verfügen
Schülerinnen und Schüler am Ende der Sekundarstufe I?
Eine empirische Studie an Gymnasien in NRW. (= Münsteraner Arbeiten zur Geographiedidaktik, Band 07).
Thiel Hannes, Winter Wilhelm. . ‘The generator problem for Z-stable C*-algebras.’ Transactions of the American Mathematical Society 366, Nr. 5: 2327–2343. doi: 10.1090/S0002-9947-2014-06013-3.
Dusend, C., Forthmann, B., Humberg, S., Wystrychowski, N., Sievers, S. & Fischer, S. . Evaluationsbericht Psychologie 2013: Gemeinsamer Bericht über die Evaluationen im Fach Psychologie im WiSe 12/13 und SoSe 13 , .
Kuckuck B. . ‘Subdirect products of groups and the $n$-$(n+1)$-$(n+2)$ conjecture.’ Q. J. Math. 65, Nr. 4: 1293–1318. doi: 10.1093/qmath/hau004.
Hein HJ, Naber A. . ‘New logarithmic Sobolev inequalities and an epsilon-regularity theorem for the Ricci flow.’ Communications on Pure and Applied Mathematics 67. doi: 10.1002/cpa.21474.
Reis R, Weiss M. . ‘Functor Calculus and the discriminant method.’ The Quarterly Journal of Mathematics 65, Nr. 3: 1069–1110. doi: 10.1093/qmath/hat057.
Williams E B, Weiss M. . ‘Automorphisms of manifolds and algebraic K-theory: Part III.’ Memoirs of the American Mathematical Society 231. doi: 10.1090/memo/1084.
Cuntz Joachim, Deninger Christopher. . ‘An alternative to Witt vectors.’ Münster Journal of Mathematics 7: 105–114.
Stammeier, Nicolai. . C*-algebras associated to irreversible semigroup dynamical systems Dissertationsschrift, Universität Münster.
Dykema, KJ, Kerr D, Pichot M. . ‘Sofic dimension for discrete measured groupoids.’ Trans. Amer. Math. Soc 366: 707–748.
Kerr, D. . ‘Bernoulli actions of sofic groups have completely positive entropy.’ Israel J. Math. 202: 461–474.
Holzegel, G; Warnick, C. . ‘Boundedness and growth for the massive wave equation on asymptotically anti-de Sitter black holes.’ Journal of Functional Analysis 226, Nr. 4: 2436–2485. doi: 10.1016/j.jfa.2013.10.019.
Rapoport M, Viehmann E. . ‘Towards a theory of local Shimura varieties.’ Münster Journal of Mathematics 7, Nr. 1: 273–326.
Schneider P, Vigneras M-F, Zabradi G. . ‘From etale P+-representations to G-equivariant sheaves on G/P.’ Contributed to the Automorphic Forms and Galois Representations, Durham.
Schneider P, Ollivier R. . ‘Pro-p Iwahori-Hecke algebras are Gorenstein.’ J. Inst. Math. Jussieu 13 2014.
Schneider P, Vigneras M-F, Zabradi G. . ‘Automorphic Forms and Galois Representations, vol. 2.’ Contributed to the Automorphic Forms and Galois Representations, vol. 2, Cambridge.
Paravicini Walther. . „Fünftsemester als Mentoren für Erstsemester.“ In Mathematische Vor- und Brückenkurse - Konzepte, Probleme und Perspektive, herausgegeben von Bausch I, Biehler R, Bruder R, Fischer P, Hochmuth R, Koepf W, Schreiber S, Wassong Th. Wiesbaden: Springer.
Paravicini Walther, Voigt Jörg. . „Szenen einer Übung - und ihre gemeinsame Analyse.“ Beitrag präsentiert auf der Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 20143, Lübeck.
Barlak, Selcuk. . On the K-theory of Crossed Product C*-algebras by Actions of Z^n Dissertationsschrift, Universität Münster.
Jacelon Bhishan, Winter Wilhelm. . ‘Z is universal.’ J. Noncomm. Geom. 8: 1023–1043.
Tikuisis A, Winter Wilhelm. . ‘Decomposition rank of Z-stable C*-algebras.’ Analysis & PDE 7, Nr. 7: 673–700.
Strung Karen R, Winter Wilhelm. . ‘UHF-slicing and classification of nuclear C*-algebras.’ J. Top. Anal. 00, Nr. 6: 465–540.
Winter Wilhelm. . ‘Localizing the Elliott conjecture at strongly self-absorbing C*-algebras.’ J. Reine Angew. Math. 692, Nr. 692: 193–231.
Winter W. . ‘Localizing the Elliott conjecture at strongly self-absorbing {$C^*$}-algebras.’ Journal für die reine und angewandte Mathematik 692: 193–231.
Winges, Christoph. . Filtering the Assembly Map in Algebraic K-theory and Transfer Reducibility of Z^n \rtimes Z Dissertationsschrift, Universität Münster.
Hopkins M J; Quick G. . ‘Hodge filtered complex bordism.’ Journal of Topology 8, Nr. 1. doi: 10.1112/jtopol/jtu021.
Cuntz Joachim, Echterhoff Siegfried, Li Xin. . ‘On the K-theory of crossed products by automorphic semigroup actions.’ The Quarterly Journal of Mathematics 64.
Li Xin. . ‘Nuclearity of semigroup C*-algebras and the connection to amenability.’ Advances in Mathematics 244: 626–662.
Larsen Nadia, Li Xin. . ‘Dilations of semigroup crossed products as crossed products of dilations.’ Proceedings of the American Mathematical Society 141: 1597–1603.
Nikolaus T, Schweigert C. . ‘Bicategories in field theoriesan - invitation.’InStrings, gauge fields, and the geometry behind. The legacy of Maximilian Kreuzer, edited byRebhan, Anton; Katzarkov, Ludmil; Knapp, Johanna; Rashkov, Radoslav; Scheidegger, Emanuel, 119–132. Singapur: World Scientific Publishing. doi: 10.1142/8561.
Hartl Urs, Kwickert Klaudia. . ‘Constructing the Cubus simus and the Dodecaedron simum via paper folding.’ Geometriae Dedicata 166: 1–14. doi: 10.1007/s10711-012-9781-6.
Hartl Urs. . ‘On a Conjecture of Rapoport and Zink.’ Inventiones Mathematicae 193: 627–696. doi: 10.1007/s00222-012-0437-9.
Halupczok K. . ‘Goldbach's problem with primes in arithmetic progressions and in short intervals.’ J. Théor. Nombres Bordeaux 25, Nr. 2: 331––351.
Halupczok K, Suger B. . ‘Partial sums of the Möbius function in arithmetic progressions assuming GRH.’ Functiones et Approximatio 48.1: 61–90.
Boavida de Brito P, Weiss M. . ‘Manifold calculus and homotopy sheaves.’ Homology, Homotopy and Applications 15, Nr. 2: 361–383. doi: 10.4310/HHA.2013.v15.n2.a20.
Zehmisch,Kai K.,Ziltener,Fabian F.,. . ‘Discontinuous symplectic capacities.’ Journal of Fixed Point Theory and Applications 14, Nr. 1: 307. doi: 10.1007/s11784-013-0148-x.
Grosse, Harald; Wulkenhaar, Raimar. . ‘Construction of a Noncommutative Quantum Field Theory.’InSpectral Analysis, Differential Equations and Mathematical Physics: A Festschrift in Honor of Fritz Gesztesy's 60th Birthday, edited byHolden, H; Simon, B; Teschl, G, 153–163. Providence, RI: American Mathematical Society. doi: 10.1090/pspum/087/01442.
de Laat T. . ‘Approximation properties for noncommutative Lp-spaces associated with lattices in Lie groups.’ Journal of Functional Analysis 264, Nr. 10: 2300–2322. doi: 10.1016/j.jfa.2013.02.014.
Haagerup U., de Laat T. . ‘Simple Lie groups without the Approximation Property.’ Duke Mathematical Journal 162, Nr. 5: 925–964. doi: 10.1215/00127094-2087672.
de Laat T. . ‘On the Grothendieck Theorem for jointly completely bounded bilinear forms.’ InOperator Algebra and Dynamics, edited byT.M. Carlsen et al., 211–221. Berlin: Springer. doi: 10.1007/978-3-642-39459-1_10.
de Laat, T. . Approximation properties for Lie groups and noncommutative Lp-spaces Dissertationsschrift, University of Copenhagen.
Hellmann, Eugen. . ‘On arithmetic families of filtered phi-modules and crystalline representations.’ J. Inst. Math. Jussieu 12.
Kerr D. . ‘Sofic measure entropy via finite partitions.’ Groups Geom. Dyn. 7: 617–632.
Kerr D, Li H. . ‘Combinatorial independence and sofic entropy.’ Commun. Math. Stat. 1: 213–257.
Kerr D, Li H. . ‘Soficity, amenability, and dynamical entropy.’ Amer. J. Math. 135: 721–761.
Holzegel, G; Smulevici, J. . ‘Decay Properties of Klein-Gordon Fields on Kerr-AdS Spacetimes.’ Communications on Pure and Applied Mathematics 66, Nr. 11: 1751–1802. doi: 10.1002/cpa.21470.
Holzegel, G; Smulevici, J. . ‘Stability of Schwarzschild-AdS for the sphericallysymmetric Einstein-Klein-Gordon system.’ Communications in Mathematical Physics 317: 205–251. doi: 10.1007/s00220-012-1572-2.
Schneider P, Venjakob O. . ‘A splitting for K1 of completed group rings.’ Comment. Math. Helv. 88 2013.
Schneider P, Venjakob O. . ‘SK_1 and Lie algebras.’ Math. Ann. 357 2013.
Schneider P, Venjakob O. . ‘K_1 of certain Iwasawa algebras, after Kakde.’ InNoncommutative Iwasawa Main Conjectures over Totally Real Fields, edited byCoates, Schneider, Sujatha, Venjakob, 79–123.
Schneider P. . Modular Representation Theory of Finite Groups.
Paravicini Walther. . ‘The Spectral Radius in C_0(X)-Banach Algebras.’ Journal of Noncommutative Geometry 7, Nr. 1: 135–147.
Paravicini Walther. . ‘The Bost Conjecture and Proper Banach Algebras.’ Journal of Noncommutative Geometry 7, Nr. 1: 191–202.
Paravicini Walther. . ‘A Generalised Green-Julg Theorem for Proper Groupoids and Banach Algebras.’ Journal of Noncommutative Geometry 7, Nr. 1: 149–190.
Hoffkamp Andrea, Schnieder Jörn, Paravicini Walther. . ‘Mathematical enculturation - argumentation and proof at the transition from school to university.’ Contributed to the CERME 8, Antalya, 2013, Antalya.
Toms A S, Winter Wilhelm. . ‘Minimal dynamics and K-theoretic rigidity: Elliott's conjecture.’ Geom. Funct. Anal. 23: 467–481.
Schürmann Jörg, Yokura Shoji. . ‘Motivic bivariant characteristic classes and related topics.’ J. Singularities 5: 124–152. doi: 10.5427/jsing.2012.5j.
Schürmann Jörg, Yokura Shoji. . ‘Grothendieck groups and categorification of additive invariants.’ Internat. J. Math. 23: 1250057–1–37. doi: 10.1142/S0129167X12500577.
Maxim Laurentiu, Schürmann Jörg. . ‘twisted genera of symmetric products.’ Selecta Math. new series 18: 283–317. doi: 10.1007/s00029-011-0072-0.
Timmermann Thomas. . ‘Free dynamical quantum groups and the dynamical quantum group SU_q(2).’ InOperator Algebras and Quantum Groups, edited byPusz W, Soltan P, 311–341. Warsaw, Poland: Polish Academy of Science, Institute of Mathematics.
Li Xin, Lück Wolfgang. . ‘K-theory for ring C*-algebras - the case of number fields with higher roots of unity.’ Journal of Topology and Analysis 4: 449–479.
Li Xin. . ‘Semigroup C*-algebras and amenability of semigroups.’ Journal of Functional Analysis 262: 4302–4340.
Li Xin. . ‘K-theory for ring C*-algebras attached to function fields with only one infinite place.’ Journal of K-Theory 10: 203–231. doi: 10.1017/is011011023jkt177.
Larsen Nadia, Li Xin. . ‘The 2-adic ring C*-algebra of the integers and its representations.’ Journal of Functional Analysis 262: 1392–1426.
Hein HJ. . ‘Gravitational instantons from rational elliptic surfaces.’ Journal of the American Mathematical Society 25. doi: 10.1090/s0894-0347-2011-00723-6.
Hartl Urs, Viehmann Eva. . ‘Foliations in deformation spaces of local {$G$}-shtukas.’ Advances in Mathematics 229: 54–78. doi: 10.1016/j.aim.2011.08.011.
Rui R, Weiss M. . ‘Smooth maps to the plane and Pontryagin classes Part I: Local aspects.’ Portugaliae Mathematica 69, Nr. 1: 41–67. doi: 10.4171/PM/1904.
Ranicki A, Weiss M. . ‘On the algebraic L-theory of Δ-sets.’ Pure and Applied Mathematics Quarterly 8, Nr. 2: 423–449. doi: 10.4310/PAMQ.2012.v8.n2.a3.
Geiges,Hansjörg H.,Zehmisch,Kai K.,. . ‘Symplectic cobordisms and the strong Weinstein conjecture.’ Mathematical Proceedings 153, Nr. 2: 279. doi: 10.1017/S0305004112000163.
Heckman G., de Laat, T. . ‘On the Regularization of the Kepler Problem.’ Journal of Symplectic Geometry 10, Nr. 3: 463–473. doi: 10.4310/JSG.2012.v10.n3.a5.
Hellmann, Eugen. . ‘The image of the coefficient space in the universal deformation space of a flat Galois representation of a p-adic field.’ Manuscripta Math. 139.
Albers P, Frauenfelder U, Solomon J. . A $\Gamma$-structure on Lagrangian Grassmannians.
Kerr D, Nowak P. . ‘Residually finite actions and crossed products.’ Ergodic Theory Dynam. Systems 32: 1585–1614.
Holzegel, G. . ‘Well-posedness for the massive wave equation on asymptotically anti-de Sitter spacetimes.’ Journal of Hyperbolic Differential Equations 9, Nr. 2: 239–261. doi: 10.1142/S0219891612500087.
Holzegel, G; Smulevici, J. . ‘Self-gravitating Klein–Gordon fields in asymptotically anti-de Sitter spacetimes.’ Annales Henri Poincare 13: 991–1038. doi: 10.1007/s00023-011-0146-8.
Schneider P. . ‘Robba rings for compact p-adic Lie groups.’ Israel J. Math. 2012.
Johanesova M, Winter Wilhelm. . ‘The similarity problem for Z-stable C*-algebras.’ Bull. Lond. Math. Soc. 00.
Perera F, Toms A S, White S, Winter Wilhelm. . ‘The Cuntz semigroup and stability of close C*-algebras.’ Analysis & PDE 00, Nr. 7: 929–952.
Blackadar B, Robert L, Tikuisis A, Toms S, Winter Wilhelm. . ‘An algebraic approach to the radius of comparison.’ Trans. Amer. Math. Soc. 367: 3657–3674.
Deninger Christopher Wegner Dimitri. . ‘Horizontal factorizations of certain Hasse-Weil zeta functions—a remark on a paper by Taniyama.’ Rend. Semin. Mat. Univ. Padova 128: 91–108.
Deninger C. . ‘Regulators, entropy and infinite determinants.’ Contemp. Math. 571: 117–134.
Quick, G. . ‘Some remarks on profinite completion of spaces.’ InGalois-Teichmüller Theory and Arithmetic Geometry, edited byNakamura, H; Pop, F; Schneps, L; Tamagawa, A, 413–448. Selbstverlag / Eigenverlag / Self-publishing.
Echterhoff S, Klüver H. . ‘A general Kirillov theory for locally compact nilpotent groups.’ Journal of Lie Theory 22, Nr. 3: 601––645.
Maxim Laurentiu, Schürmann Jörg. . ‘Hirzebruch invariants of symmetric products.’ Contributed to the Topology of Algebraic Varieties and Singularities, Jaca, Spanien. doi: 10.1090/conm/538.
Cuntz J, Li X. . ‘K-theory for ring C*-algebras attached to polynomial rings over finite fields.’ Journal of Noncommutative Geometry 5, Nr. 3: 331–349. doi: 10.4171/JNCG/78.
Hein HJ. . ‘Weighted Sobolev inequalities under lower Ricci curvature bounds.’ Proceedings of the American Mathematical Society 139. doi: 10.1090/s0002-9939-2011-10799-8.
Hartl U. . ‘Period Spaces for Hodge Structures in Equal Characteristic.’ Annals of Mathematics 173, Nr. 3: 1241–1358. doi: 10.4007/annals.2011.173.3.2.
Hartl Urs, Viehmann Eva. . ‘The Newton stratification on deformations of local {$G$}-shtukas.’ Journal für die reine und angewandte Mathematik 656: 87–129. doi: 10.1515/CRELLE.2011.044.
Bornhofen Matthias, Hartl Urs. . ‘Pure Anderson Motives and Abelian {$\tau$}-Sheaves.’ Mathematische Zeitschrift 268: 67–100. doi: 10.1007/s00209-009-0661-1.
Kerr D, Li H. . ‘Entropy and the variational principle for actions of sofic groups.’ Invent. Math. 186: 501–558.
Schneider P, Vigneras M-F. . ‘A functor from smooth o-torsion representations to (phi,Gamma)-modules.’ InOn certain L-functions, edited byArthur, Cogdell, 525–601.
Schneider P. . p-Adic Lie Groups.
Brown N P, Winter Wilhelm. . ‘Quasitraces are traces: a short proof of the finite-nuclear-dimension case.’ C. R. Acad. Sci. Canada 00.
Pavlov Alexander, Pennig Ulrich, Schick Thomas. . ‘Quasi-multipliers of Hilbert and Banach C*-bimodules.’ Mathematica Scandinavica 109, Nr. 1.
Deninger C. . ‘Determinants on von {N}eumann algebras, {M}ahler measures and Ljapunov exponents.’ Journal für die Reine und Angewandte Mathematik. [Crelle's Journal] 651: 165––185.
Quick Gereon. . ‘Continuous group actions on profinite spaces.’ Journal of Pure and Applied Algebra 215: 1024–1039.
Wörner Andreas. . A Metric Splitting of Alexandrov Spaces: Boundary Strata of nonnegatively curved Alexandrov Spaces and a Splitting Theorem.: Südwestdeutscher Verlag für Hochschulschriften.
Bartels A, Lück W. . ‘On crossed product rings with twisted involutions, their module categories and L-theory.’ InCohomology of groups and algebraic K-theory, edited byLizhen Ji, Kefeng Liu, Shing-Tung Yau, 1––54. Int. Press, Somerville, MA.
Li Xin. . ‘Ring C*-algebras.’ Mathematische Annalen 348 (2010): 859–898.
Cuntz Joachim, Li Xin. . ‘The regular C*-algebra of an integral domain.’ InQuanta of Maths, edited byBlanchard Etienne, Ellwood David, Khalkhali Masoud, Marcolli Matilde, Moscovici Henri, Popa Sorin, 149–170. Providence: American Mathematical Society.
Hitzelberger P, Kramer L, Weiss RM. . ‘Non-discrete Euclidean buildings for the Ree and Suzuki groups.’ American Journal of Mathematics 132, Nr. 4: 1113–1152.
Kramer L, Tent K. . ‘A Maslov cocycle for unitary groups.’ Proc. Lond. Math. Soc. 100, Nr. 1: 91–115.
Geiges,Hansjörg H.,Zehmisch,Kai K.,. . ‘Eliashberg's proof of Cerf's theorem.’ Journal of Topology and Analysis 2, Nr. 4: 579. doi: 10.1142/S1793525310000446.
Wulkenhaar, Raimar. . ‘Non-compact spectral triples with finite volume.’InQuanta of Maths, edited byBlanchard, E; Ellwood, D; Khalkhali, M; Marcolli, M; Moscovici, H; Popa, S, 617–648. Providence, RI: American Mathematical Society.
Deninger C, Werner A. . ‘Vector bundles on $p$-adic curves and parallel transport II.’, 1––26. Tokyo.
Deninger C. . ‘The Hilbert-Polya strategy and height pairings.’ InCasimir force, {C}asimir operators and the {R}iemann
hypothesis, edited byWalter de Gruyter, Berlin, 275––283.
Deninger C. . ‘Representations attached to vector bundles on curves over finite and p-adic fields, a comparison.’ Münster Journal of Mathematics 3: 29––41.
Deninger C. . ‘Invariant functions on p-divisible groups and the p-adic corona problem.’ Tokyo Journal of Mathematics 33: 393––406.
Kreck M, Lück W. . ‘Topological rigidity for non-aspherical manifolds.’ Pure and Applied Mathematics Quarterly 5, Nr. 3: 873–914.
Timmermann T. . ‘A definition of compact {$C^*$}-quantum groupoids.’ InOperator structures and dynamical systems, edited byDe Jeu Marcel, 267––289. Providence, RI: American Mathematical Society.
Deitmar A, Echterhoff S. . Principles of harmonic analysis. New York: Springer VDI Verlag.
Ausoni C, Dundas BI, Rognes J. . ‘Divisibility of the Dirac magnetic monopole as a two-vector bundle over the three-sphere.’ Documenta Mathematica 13: 795––801.
Maxim L, Schürmann J. . ‘Hodge-theoretic Atiyah-Meyer formulae and the stratified multiplicative property.’ InSingularities I, 145––166. Providence, RI: American Mathematical Society.
Bartels A, Lück W, Reich H. . ‘The K-theoretic Farrell-Jones conjecture for hyperbolic groups.’ Invent. Math. 172, Nr. 1: 29–70.
Cuntz J. . ‘C*-algebras associated with the ax+b-semigroup over N.’ InK-theory and noncommutative geometry, edited byCortiñas G, Cuntz J, Karoubi M, Nest R, Weibel C A, 201–215. Zürich: European Mathematical Society.
Kerr D, Pichot M. . ‘Asymptotic Abelianness, weak mixing, and property T.’ J. reine angew. Math 623: 213–235.
Echterhoff S, Williams DP. . ‘The Mackey machine for crossed products: inducing primitive ideals.’ InGroup representations, ergodic theory, and mathematical physics: a tribute to George W. Mackey, Contemp. Math., 449, edited byZimmer Robert J, Morris Dave Witte, 129––136. Providence, RI: American Mathematical Society.
Wörner Andreas. . ‘A search for higher-dimensional arc planes.’ Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 77: 169––178. doi: 10.1007/BF03173496.
Voigt C. . ‘Equivariant local cyclic homology and the equivariant Chern-Connes character.’ Documenta Mathematica 12: 313––359 (electronic).
Kramer L, Stolz S. . ‘A diffeomorphism classification of manifolds which are like projective planes.’ Journal of Differential Geometry 77, Nr. 2: 177–188. doi: 10.4310/jdg/1191860392.
Wilking B. . ‘A Duality theorem for Riemannian foliations of nonnegatively curved manifolds.’ Geom. Funct. Anal. 17, Nr. 4: 1297–1320.
Ludwig, Ursula. . ‘Morse-Smale-Witten complex for gradient-like vector fields on stratified spaces.’ InSingularity theory. Proceedings of the 2005 Marseille singularity school and conference, CIRM, Marseille, France, January 24--February 25, 2005. Dedicated to Jean-Paul Brasselet on his 60th birthday, edited byChéniot, Denis (ed.) et al., 683–713. Singapore: World Scientific Publishing.
Breuil C, Schneider P. . ‘First steps towards p-adic Langlands functoriality.’ J. reine angew. Math. 610: 149–180.
Hille L. . ‘On the volume of a tilting module.’ Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 76: 261––277. doi: 10.1007/BF02960868.
Wilking B. . ‘Positively curved manifolds with symmetry.’ Annals of Math. 163, Nr. 2: 607–668.
Grove K, Verdiani L, Wilking B, Ziller W. . ‘Obstructions to nonnegative curvature in cohomogeneity one and Kervaire sphere.’ Ann. Sc. Norm. Super. Pisa Cl. Sci. 5, Nr. 2: 159–170.
Cuntz J, Thom A. . ‘Algebraic K-theory and locally convex algebras.’ Mathematische Annalen 334, Nr. 2: 339–371. doi: 10.1007/s00208-005-0722-7.
Cuntz J. . ‘An algebraic description of boundary maps used in index theory.’ InOperator Algebras: The Abel Symposium 2004, 61––86. Berlin: Springer VDI Verlag. doi: 10.1007/978-3-540-34197-0_3.
Dafermos, M; Holzegel, G. . ‘On the nonlinear stability of higher dimensional triaxial Bianchi-{IX} black holes.’ Advances in Theoretical and Mathematical Physics 10, Nr. 4: 503–523. doi: 10.4310/ATMP.2006.v10.n4.a2.
Holzegel, G. . ‘On the instability of Lorentzian Taub–NUT space.’ Classical and Quantum Gravity 23, Nr. 11: 3951–3962. doi: 10.1088/0264-9381/23/11/017.
Gibbons, G W; Holzegel, G. . ‘The positive mass and isoperimetric inequalities for axisymmetric black holes in four and five dimensions.’ Classical and Quantum Gravity 23, Nr. 22: 6459–6478. doi: 10.1088/0264-9381/23/22/022.
Schneider P. . ‘Continuous representation theory of p-adic Lie groups.’ Proceedings ICM Madrid 2: 1261–1282.
Schneider P. . ‘Continuous representation theory of {$p$}-adic Lie groups.’ InInternational Congress of Mathematicians. Vol. {II}, 1261––1282. European Mathematical Society.
Fesenko I, Lichtenbaum S, Perrin-Riou B, Schneider P. . ‘Preface [A collection of manuscripts written in honour of John H. Coates].’ Documenta Mathematica , Nr. Extra Vol.: 1––2 (electronic).
Schneider P, Teitelbaum J. . ‘Banach-Hecke algebras and {$p$}-adic Galois representations.’ Documenta Mathematica , Nr. Extra Vol.: 631––684.
Winter Wilhelm, P. W. Ng. . ‘A note on subhomogeneous C*-algebras.’ Acad. Sci. Canada 00.
Deninger C. . ‘Fuglede-Kadison determinants and entropy for actions of discrete amenable groups.’ Journal of the American Mathematical Society 19, Nr. 3: 737–758. doi: 10.1090/S0894-0347-06-00519-4.
Echterhoff S, Kaliszewski S, Quigg J, Raeburn I. . ‘A categorical approach to imprimitivity theorems for C*-dynamical systems.’ Memoirs of the American Mathematical Society 180, Nr. 850: viii+169.
Hille L. . ‘Irreducible components, nilpotent classes, and the Auslander algebra of {$k[T]/T^n$}.’ InRepresentations of algebras and related topics, 161––173. Providence, RI: American Mathematical Society.
Lück W. . ‘K- and L-theory of the semi-direct product of the discrete 3-dimensional Heisenberg group by Z/4.’ Geom. Topol. 9: 1639–1676.
Lück W. . ‘Equivariant cohomological Chern characters.’ J. Algebra Comput. 15: 1025–1052.
Lück W. . ‘The Burnside ring and equivariant stable cohomotopy for infinite groups.’ Pure Appl. Math. Q. 1, Nr. 3: 479–541.
Hartl U. . ‘Uniformizing the stacks of abelian sheaves.’ InNumber fields and function fields---two parallel worlds, 167––222. Boston, MA: Birkhäuser Verlag. doi: 10.1007/0-8176-4447-4_9.
Shankar K, Spatzier R, Wilking B. . ‘Spherical Rank Rigidity and Blaschke Manifolds.’ Duke Math. J. 128, Nr. 1: 65–81.
Cuntz J. . ‘Bivariant K-theory and the Weyl algebra.’ K-Theory 35, Nr. 1-2: 93–137. doi: 10.1007/s10977-005-3464-0.
Cuntz J. . ‘Bivariant K- and cyclic theories.’ InHandbook of K-theory. Vol. 1, 2, 655––702. Berlin: Springer VDI Verlag. doi: 10.1007/978-3-540-27855-9_14.
Schneider P, Teitelbaum J. . ‘Duality for admissible locally analytic representations.’ Representation Theory 9: 297–326.
Schneider P, Venjakob O. . ‘On the codimension of modules over skew power series rings with applications to Iwasawa algebras.’ J. Pure Appl. Algebra 204: 349–367.
Deninger C. . ‘Exchanging the places p and infinity in the Leopoldt conjecture.’ Journal of Number Theory 114, Nr. 1: 1–17. doi: 10.1016/j.jnt.2005.03.006.
Deninger C, Werner A. . ‘Line bundles and $p$-adic characters.’, 101––131. Boston, MA. doi: 10.1007/0-8176-4447-4_7.
Schneider P, Teitelbaum J. . ‘Algebras of p-adic distributions and admissible representations.’ Invent. Math. 153: 145–196.
Coates J, Schneider P, Sujatha R. . ‘Modules over Iwasawa algebras.’ J. Inst. Math. Jussieu 2: 73–108.
Coates J, Schneider P, Sujatha R. . ‘Links between cyclotomic and {${\rm GL}_2$}} Iwasawa theory.’ Documenta Mathematica , Nr. Extra Vol.: 187––215 (electronic).
Deninger C. . ‘Two-variable zeta functions and regularized products%Z Kazuya Kato's fiftieth birthday.’ Documenta Mathematica , Nr. Extra Vol.: 227––259 (electronic).
Deitmar A, Deninger C. . ‘A dynamical Lefschetz trace formula for algebraic Anosov diffeomorphisms.’ Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 73: 81––98. doi: 10.1007/BF02941270.
Hille L. . ‘Minimal infinite configurations for strictly filtered {$k[T]/T^n$}-modules and parabolic groups actions.’ InRepresentations of algebra. Vol. I, {II}, 214––224. Selbstverlag / Eigenverlag / Self-publishing.
Lück W. . L2-Invariants: Theory and Applications to Geometry and K-Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 44. Heidelberg: Springer VDI Verlag.
Lück W. . ‘The relation between the Baum-Connes Conjecture and the Trace Conjecture.’ Inventiones Math. 149: 123–152.
Hartl UT. . ‘Line bundles on rigid analytic spaces.’ InValuation theory and its applications, Vol. I (Saskatoon, {SK}, 1999), 205––217. Providence, RI: American Mathematical Society.
Kramer L. . Homogeneous spaces, Tits buildings, and isoparametric hypersurfaces.
Wilking B. . ‘Manifolds with positive sectional curvature almost everywhere.’ Invent. Math. 148, Nr. 1: 117–141.
Cuntz J. . ‘Noncommutative simplicial complexes and the Baum-Connes conjecture.’ GEOMETRIC AND FUNCTIONAL ANALYSIS 12, Nr. 2: 307–329. doi: 10.1007/s00039-002-8248-6.
Schneider P, Teitelbaum J. . ‘Banach space representations and Iwasawa theory.’ Israel J. Math. 127: 359–380.
Schneider P, Teitelbaum J. . ‘{$p$}-adic boundary values.’ Astérisque , Nr. 278: 51––125.
Schneider P. . Nonarchimedean functional analysis. Berlin: Springer VDI Verlag.
Deninger C, Singhof W. . ‘Real polarizable hodge structures arising from foliations.’ Annals of Global Analysis and Geometry 21, Nr. 4: 377–399. doi: 10.1023/A:1015652906096.
Deninger C. . ‘On the nature of the ``explicit formulas'' in analytic number theory---asimple example.’, 97––118. Dordrecht.
Deninger C. . ‘A note on arithmetic topology and dynamical systems.’, 99––114. Providence, RI.
Echterhoff S, Quigg J. . ‘Full duality for coactions of discrete groups.’ Mathematica Scandinavica 90, Nr. 2: 267––288.
Arlettaz D, Ausoni C, Mimura M, Yagita N. . ‘Integral cohomology and Chern classes of the special linear group over the ring of integers.’ Mathematical Proceedings 131, Nr. 3: 445––457.
Ausoni C. . ‘On the Hurewicz map and Postnikov invariants of {$K\Bbb Z$}.’ InCohomological methods in homotopy theory (Bellaterra, 1998), 11––20. Basel: Birkhäuser Verlag.
Ausoni C. . ‘An introduction to algebraic {$K$}-theory.’ InProceedings of the 20th Winter School ``Geometry and Physics'' (Srní, 2000), 11––28.
Deninger C,Deninger C,Singhof W. . -RIS- A counterexample to smooth leafwise hodge decomposition for general foliations and to a type of dynamical trace formulas -TEST-.
Deninger C, Singhof W. . ‘A note on dynamical trace formulas.’, 41––55. Providence, RI.
Deninger C. . ‘Number theory and dynamical systems on foliated spaces.’ Jahresbericht der deutschen Mathematiker-Vereinigung 103, Nr. 3: 79––100.
Deninger C. . ‘On the $\Gamma$-factors of motives. II.’ Documenta Mathematica 6: 69––97 (electronic).
Chabert J, Echterhoff S. . ‘Permanence properties of the Baum-Connes conjecture.’ Documenta Mathematica 6: 127––183 (electronic).
Echterhoff S, Williams DP. . ‘Locally inner actions on $C_0(X)$-algebras.’ Journal of Operator Theory 45, Nr. 1: 131––160.
Brüstle T, Hille L. . ‘Matrices over upper triangular bimodules and {$\Delta$}-filtered modules over quasi-hereditary algebras.’ Colloquium Mathematicum 83, Nr. 2: 295––303.
Brüstle T, Hille L. . ‘Actions of parabolic subgroups in {${\rm GL}_n$}} on unipotent normal subgroups and quasi-hereditary algebras.’ Colloquium Mathematicum 83, Nr. 2: 281––294.
Hartl UT. . ‘The Picard functor.’ InCourbes semi-stables et groupe fondamental en géométrie algébrique (Luminy, 1998), 33––41. Basel: Birkhäuser Verlag.
Kramer L. . ‘The point and line space of a compact projective plane are homeomorphic.’ Math. Z. 234, Nr. 1: 83–102.
Deninger C. . ‘How to recover an L-series from its values at almost all positive integers. Some remarks on a formula of Ramanujan.’ Proceedings of the Indian Academy of Sciences: Mathematical Sciences 110, Nr. 2: 121–132. doi: 10.1007/BF02829486.
Wulkenhaar, R. . ‘On Feynman graphs as elements of a Hopf algebra.’InQuantum Groups, Noncommutative Geometry and Fundamental Physical Interactions, edited byKastler D, Rosso M, Schücker T, 233–242. Nova Science Publishers.
Besser A, Deninger C. . ‘p-adic Mahler measures - Dedicated to the memory of Jurgen Neukirch.’ Journal für die reine und angewandte Mathematik 517: 19–50. doi: 10.1515/crll.1999.093.
Lück W. . ‘Dimension theory of arbitrary module over finite von Neumann algebras and L2-Betti numbers.’ Crelle's Journal für reine und angewandte Mathematik 495: 135–162.
Cuntz J. . ‘Morita invariance in cyclic homology for nonunital algebras.’ K-Theory 15, Nr. 4: 301––305. doi: 10.1023/A:1007738112225.
Cuntz J. . ‘A general construction of bivariant K-theories on the category of C*-algebras.’ InOperator algebras and operator theory (Shanghai, 1997), 31––43. Providence, R.I.: American Mathematical Society.
Deninger C. . ‘Some analogies between number theory and dynamical systems on foliated spaces.’ Doc. Math. J. DMV. Extra Volume ICM 1: 23–46.
Deninger C. . ‘Some analogies between number theory and dynamical systems on foliatedspaces.’ Documenta Mathematica , Nr. Extra Vol. I: 163––186 (electronic).
Echterhoff S, Kaliszewski S, Raeburn I. . ‘Crossed products by dual coactions of groups and homogeneous spaces.’ Journal of Operator Theory 39, Nr. 1: 151––176.
Cuntz J, Quillen D. . ‘Excision in bivariant periodic cyclic cohomology.’ Inventiones Mathematicae 127, Nr. 1: 67–98.
Cuntz J. . ‘Bivariante K-Theorie für lokalkonvexe Algebren und der Chern-Connes-Charakter.’ Documenta Mathematica 2: 139––182 (electronic).
Cuntz J. . ‘Excision in periodic cyclic theory for topological algebras.’ InCyclic cohomology and noncommutative geometry (Waterloo, ON, 1995), 43––53. Providence, R.I.: American Mathematical Society.
Cuntz Joachim, Khalkhali Masoud (Eds.): . Cyclic cohomology and noncommutative geometry - Proceedings of the workshop held in Waterloo, ON, June 14–18, 1995. Providence, RI: American Mathematical Society.
Schneider P, Stuhler U. . ‘Representation theory and sheaves on the Bruhat-Tits building.’ Publ. Math. IHES 85: 97–191.
Deninger C. . ‘Deligne periods of mixed motives, K-theory and the entropy of certain Zn-actions.’ Journal of the AMS 10, Nr. 2: 259–281.
Deninger C. . ‘Motivic $L$-functions and regularized determinants. II.’, 138––156. Cambridge.
Deninger C. . ‘Extensions of motives associated to symmetric powers of elliptic curvesand to Hecke characters of imaginary quadratic fields.’, 99––137. Cambridge.
Deninger C. . ‘On extensions of mixed motives%Z Journ\'ees Arithm\'etiques (Barcelona, 1995).’ Collectanea Mathematica 48, Nr. 1-2: 97––113.
Hille L. . ‘Tilting line bundles and moduli of thin sincere representations of quivers.’ An. ç Stiinç t. Univ. Ovidius Constanç ta Ser. Mat. 4, Nr. 2: 76––82.
Hille L. . ‘Examples of distinguished tilting sequences on homogeneous varieties.’ InRepresentation theory of algebras (Cocoyoc, 1994), 317––342. Providence, RI: American Mathematical Society.
Kramer L. . ‘Holomorphic polygons.’ Math. Z. 223, Nr. 2: 333–341.
Lohkamp J. . ‘Global an local curvatures.’ Riemannian geometry, Fields Inst. Monogr. 4: 23–51.
Schneider P. . ‘Gebäude in der Darstellungstheorie über lokalen Zahlkörpern.’ Jahresbericht der deutschen Mathematiker-Vereinigung 98, Nr. 3: 135––145.
Lohkamp J. . ‘Curvature h-principles.’ Annals of Mathematics 142, Nr. 3: 457–498. doi: 10.2307/2118552.
Cuntz J, Quillen D. . ‘Algebra extensions and nonsingularity.’ Journal of the American Mathematical Society 8, Nr. 2: 251–289. doi: 10.1090/S0894-0347-1995-1303029-0.
Cuntz J, Quillen D. . ‘Cyclic homology and nonsingularity.’ Journal of the American Mathematical Society 8, Nr. 2: 373–442.
Cuntz J, Quillen D. . ‘Operators on noncommutative differential forms and cyclic homology.’ InGeometry, topology, & physics, 77––111. Cambridge, MA: Int. Press.
Deninger C. . ‘Higher order operations in Deligne cohomology.’ Invent. math. 120: 289–315.
Deninger C. . ‘Isogenies of abelian varieties with multiplications and Fitting ideals.’ Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 65: 249––257. doi: 10.1007/BF02953332.
Deninger C, Schr{\"o}ter M. . ‘A distribution-theoretic proof of Guinand's functional equation forCram\'er's $V$-function and generalizations.’ Journal of the London Mathematical Society 52, Nr. 1: 48––60.
Echterhoff S, Raeburn I. . ‘Multipliers of imprimitivity bimodules and Morita equivalence of crossed products.’ Mathematica Scandinavica 76, Nr. 2: 289––309.
Lohkamp J. . ‘Metrics of negative Ricci curvature.’ Annals of Mathematics 140, Nr. 2: 655–683.
Cuntz J, Quillen D. . ‘On excision in periodic cyclic cohomology. II. The general case.’ Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 318, Nr. 1: 11––12.
Schneider P. . ‘{$p$}-adic points of motives.’ InMotives (Seattle, {WA}, 1991), 225––249. Providence, RI: American Mathematical Society.
Deninger C. . ‘Evidence for a cohomological approach to analytic number theory.’, 491––510. Basel.
Echterhoff S. . ‘Morita equivalent twisted actions and a new version of the Packer-Raeburnstabilization trick.’ Journal of the London Mathematical Society 50, Nr. 1: 170––186.
Cuntz J. . ‘Quantized differential forms in noncommutative topology and geometry.’ InRepresentation theory of groups and algebras, 65––78. Providence, R.I.: American Mathematical Society.
Cuntz J. . ‘A survey of some aspects of noncommutative geometry.’ Jahresbericht der deutschen Mathematiker-Vereinigung 95, Nr. 2: 60––84.
Cuntz J. . ‘Regular actions of Hopf algebras on the C*-algebra generated by a Hilbert space.’ InOperator algebras, mathematical physics, and low-dimensional topology (Istanbul, 1991), 87––100. Wellesley, MA: A K Peters.
Cuntz J, Quillen D. . ‘On excision in periodic cyclic cohomology.’ Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 317, Nr. 10: 917––922.
Schneider P, Stuhler U. . ‘Resolutions for smooth representations of the general linear group over a local field.’ Journal für die reine und angewandte Mathematik 436: 19––32.
Schürmann J. . Einbettungen Steinscher Räume in affine Räume minimaler Dimension. Münster: Selbstverlag / Eigenverlag / Self-publishing.
Cuntz J. . ‘Representations of quantized differential forms in non-commutative geometry.’ InMathematical physics, X (Leipzig, 1991), 237––251. Berlin: Springer VDI Verlag.
Blackadar B, Cuntz J. . ‘Differential Banach algebra norms and smooth subalgebras of C*-algebras.’ Journal of Operator Theory 26, Nr. 2: 255––282.
Cuntz J. . ‘Cyclic cohomology and K-homology.’ InProceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990), 969––978. Tokyo: Math. Soc. Japan.
Deninger C. . ‘On the Gamma-factors attached to motives.’ Invent. math. 104: 245–261. doi: 10.1007/BF01245075.
Deninger C, Murre J. . ‘Motivic decomposition of abelian schemes and the Fourier transform.’ Journal für die reine und angewandte Mathematik 422: 201––219.
Connes A, Cuntz J. . ‘Quasi homomorphismes, cohomologie cyclique et positivit.’ Communications in Mathematical Physics 114, Nr. 3: 515––526. doi: 10.1007/BF01242141.
Schneider P. . ‘Introduction to the Be\uı linson conjectures.’ InBe\uı linson's conjectures on special values of {$L$}-functions, 1––35. Boston, MA: Academic Press.
Schneider P. . ‘Einladung zur Arbeitsgemeinschaft in Oberwolfach über ``Die Be\uı linson-Vermutung''.’ InBe\uı linson's conjectures on special values of {$L$}-functions, ix––xvi. Boston, MA: Academic Press.
Deninger C. . ‘Higher regulators of elliptic curves with complex multiplication.’, 111––128. Boston, MA.
Cuntz J. . ‘A New Look at KK-Theory.’ K-Theory 1, Nr. 1: 31–51. doi: 10.1007/BF00533986.
Brenken B, Cuntz J, Elliott GA, Nest R. . ‘On the classification of noncommutative tori. III.’ InOperator algebras and mathematical physics (Iowa City, Iowa, 1985), 503––526. Providence, R.I.: American Mathematical Society.
Cuntz J, Higson N. . ‘Kuiper's theorem for Hilbert modules.’ InOperator algebras and mathematical physics (Iowa City, Iowa, 1985), 429––435. American Mathematical Society.
Schneider P. . ‘The {$μ$}-invariant of isogenies.’ Journal of the Indian Mathematical Society 52: 159––170 (1988).
Cuntz J. . ‘The classification problem for the C*-algebras {${\scr O}_A$}}.’ InGeometric methods in operator algebras (Kyoto, 1983), 145––151. Harlow: Longman Sci. Tech.
Cuntz J, Skandalis G. . ‘Mapping cones and exact sequences in KK-theory.’ Journal of Operator Theory 15, Nr. 1: 163––180.
Cuntz J, Elliott GA, Goodman FM, Jorgensen PET. . ‘On the classification of noncommutative tori. II.’ Comptes rendus mathématiques de l'Académie des sciences. La Société Royale du Canada 7, Nr. 3: 189––194.
Deninger C, Lange H. . ‘On explicit bases in Sobolev spaces.’ Expositiones Mathematicae 3, Nr. 1: 25––39.
Cuntz J. . ‘On the homotopy groups of the space of endomorphisms of a C*-algebra (with applications to topological Markov chains).’ InOperator algebras and group representations, Vol. I (Neptun, 1980), 124––137. Boston, MA: Pitman.
Cuntz J. . ‘K-theory and C*-algebras.’ InAlgebraic K-theory, number theory, geometry and analysis (Bielefeld, 1982), 55––79. Berlin: Springer VDI Verlag. doi: 10.1007/BFb0072018.
Schneider P. . ‘The Iwasawa theoretic version of the conjecture of Birch and Swinnerton-Dyer.’ InSeminar on number theory, Paris 1982--83 (Paris, 1982/1983), 275––281. Boston, MA: Birkhäuser Verlag.
Deninger C, Singhof W. . ‘The e-invariant and the spectrum of the Laplacian for compact nilmanifolds covered by Heisenberg groups.’ Invent. math. 78: 101–112.
Cuntz J. . ‘K-theoretic amenability for discrete groups.’ Journal für die reine und angewandte Mathematik 344: 180––195. doi: 10.1515/crll.1983.344.180.
Cuntz J. . ‘Generalized homomorphisms between C*-algebras and KK-theory.’ InDynamics and processes (Bielefeld, 1981), 31––45. Springer VDI Verlag. doi: 10.1007/BFb0072109.
Blackadar BE, Cuntz J. . ‘The structure of stable algebraically simple C*-algebras.’ American Journal of Mathematics 104, Nr. 4: 813––822. doi: 10.2307/2374206.
Cuntz J. . ‘The K-groups for free products of C*-algebras.’ InOperator algebras and applications, Part I (Kingston, Ont., 1980), 81––84. Providence, R.I.: American Mathematical Society.
Cuntz J. . ‘The internal structure of simple C*-algebras.’ InOperator algebras and applications, Part I (Kingston, Ont., 1980), 85––115. Providence, R.I.: American Mathematical Society.
Schneider P. . ‘Height pairings in the Iwasawa theory of abelian varieties.’ InSeminar on Number Theory, Paris 1980-81 (Paris, 1980/1981), 309––316. Mass.: Birkhäuser Verlag.
Cuntz J. . ‘K-theory for certain C*-algebras.’ Annals of Mathematics 113, Nr. 1: 181–197.
Cuntz J. . ‘A class of C*-algebras and topological Markov chains II. Reducible chains and the Ext-functor for C*-algebras.’ Inventiones Mathematicae 63, Nr. 1: 25–40. doi: 10.1007/BF01389192.
Cuntz J. . ‘K-theory for certain C*-algebras. II.’ Journal of Operator Theory 5, Nr. 1: 101––108.
Cuntz J, Evans DE. . ‘Some remarks on the C*-algebras associated with certain topological Markov chains.’ Mathematica Scandinavica 48, Nr. 2: 235––240.
Cuntz J, Krieger W. . ‘A class of C*-algebras and topological Markov chains.’ Inventiones Mathematicae 56, Nr. 3: 251–268. doi: 10.1007/BF01390048.
Cuntz J. . ‘Automorphisms of certain simple C*-algebras.’ InQuantum fields - algebras, processes (Proc. Sympos., Univ. Bielefeld, Bielefeld, 1978), 187––196. Vienna: Springer VDI Verlag.
Cuntz J, Krieger W. . ‘Topological Markov chains with dicyclic dimension groups.’ Journal für die reine und angewandte Mathematik 320: 44––51. doi: 10.1515/crll.1980.320.44.
Cuntz J. . ‘Noncommutative Haar measure and algebraic finiteness conditions for simple C*-algebras.’ InAlgébres d'opérateurs et leurs applications en physique mathématique (Proc. Colloq., Marseille, 1977), 113––133. Paris: CNRS.
Cuntz J, Pedersen GK. . ‘Equivalence and traces on C*-algebras.’ Journal of Functional Analysis 33, Nr. 2: 135––164. doi: 10.1016/0022-1236(79)90108-3.
Cuntz J, Pedersen GK. . ‘Equivalence and KMS states on periodic C*-dynamical systems.’ Journal of Functional Analysis 34, Nr. 1: 79––86. doi: 10.1016/0022-1236(79)90026-0.
Cuntz J. . ‘Dimension functions on simple C*-algebras.’ Mathematische Annalen 233, Nr. 2: 145––153. doi: 10.1007/BF01421922.
Cuntz J. . ‘Murray-von\thinspace Neumann equivalence of projections in infinite simple C*-algebras.’ Revue Roumaine des Mathematiques Pures et Appliquees 23, Nr. 7: 1011––1014.
Cuntz J. . ‘Simple C*-algebras generated by isometries.’ Communications in Mathematical Physics 57, Nr. 2: 173–185.
Cuntz J. . ‘The structure of multiplication and addition in simple C*-algebras.’ Mathematica Scandinavica 40, Nr. 2: 215––233.
Behncke H, Cuntz J. . ‘Local completeness of operator algebras.’ Proceedings of the American Mathematical Society 62, Nr. 1: 95––100.
Cuntz J. . ‘On the continuity of semi-norms on operator algebras.’ Mathematische Annalen 220, Nr. 2: 171––183. doi: 10.1007/BF01351703.
Cuntz J. . „Eine Klasse von postliminalen gewichteten Shiftoperatoren.“ Archiv der Mathematik 27, Nr. 2: 188––198. doi: 10.1007/BF01224659.
Cuntz J. . ‘Locally C*-equivalent algebras.’ J. Functional Analysis 23, Nr. 2: 95––106. doi: 10.1016/0022-1236(76)90068-9.
Institut für Informatik
Publikationen
Rasch, Ari; Schulze, Richard; Shabalin, Denys; Elster, Anne; Gorlatch, Sergei; Hall, Mary. . ‘(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules.’ InCC 2023: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, edited byVerbrugge, Clark, 61–72. New York: Association for Computing Machinery. doi: 10.1145/3578360.3580269.
Garanina, N; Gorlatch, S. . ‘Autotuning Parallel Programs by Model Checking.’ Automatic Control and Computer Sciences 56, Nr. 7: 634–648. doi: 10.3103/S0146411622070045.
Hagedorn, Bastian; Lenfers, Johannes; Koehler, Thomas; Qin, Xueying; Gorlatch, Sergei; Steuwer, Michel. . ‘Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.’ Communications of the ACM 66, Nr. 3: 89–97. doi: 10.1145/3580371.
Simmering, J; Hermes, L; Schneider, A; Schilling, M. . ‘Adaptation of a Decentralized Controller to Curve Walking in a Hexapod Robot.’ InRobotics in Natural Settings, edited byCascalho JM; Tokhi MO; Silva MF; Mendes A; Goher K; Funk M, 264–275. Cham: Springer International Publishing.
El Amri, W.Z.; Hermes, L.; Schilling, M. . ‘Hierarchical Decentralized Deep Reinforcement Learning Architecture for a Simulated Four-Legged Agent.’ InProc. of 8th International Online & Onsite Conference on Machine Learning, Optimization, and Data Science, edited byG. Nicosia et al., 1–16. Switzerland: Springer Nature. doi: https://doi.org/10.1007/978-3-031-25891-6_20.
Nienkötter A, Jiang X. . ‘Kernel-based generalized median computation for consensus learning.’ IEEE Transactions on Pattern Analysis and Machine Intelligence 45, Nr. 5: 5872–5888.
Sandmann S, Richter S, Jiang X, Varghese J. . ‘Reconstructing clonal evolution - a systematic evaluation of current bioinformatics approaches.’ International Journal of Environmental Research and Public Health 20: 5128.
Dewi C, Chen RC, Zhuang YC, Jiang X, Yu H. . ‘Recognizing road surface traffic signs based on Yolo models considering image flips.’ Big Data and Cognitive Computing 7: 54.
Kockwelp P, Junga A, Valkov D, Marschall B, Holling M, Risse B. . ‘Towards VR Simulation-Based Training in Brain Death Determination.’ In2022 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), edited byIEEE, 287–292. 2022 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW): IEEE Press.
Wyrwoll, Margot J; Wabschke, Rebecca; Röpke, Albrecht; Wöste, Marius; Ruckert, Christian; Perrey, S; Rotte, Nadja; Hardy, J; Astica, L; Lupiáñez, Darío G; Wistuba, Joachim; Westernströer, Birgit; Schlatt, Stefan; Berman, Andrea J; Müller, AM; Kliesch, Sabine; Yatsenko, Alexander N; Tüttelmann, Frank; Friedrich, Corinna. . ‘Analysis of copy number variation in men with non-obstructive azoospermia.’Andrology 10, Nr. 8: 1593–1604. doi: 10.1111/andr.13267.
Abate, Alessandro; Blom, Henk; Delicaris, Joanna; Haesaert, Sofie; Hartmanns, Arnd; van Huijgevoort, Birgit; Lavaei, Abolfazl; Ma, Hao; Niehage, Mathis; Remke, Anne; Schön, Oliver; Schupp, Stefan; Soudjani, Sadegh; Willemsen, Lisa. . ‘ARCH-COMP22 Category Report: Stochastic Models.’ InProceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), edited byFrehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie, 113–141. München: EasyChair. doi: 10.29007/lsvc.
Thiele, Sebastian; Risse, Benjamin. . ‘Narrowing Attention in Capsule Networks.’ In26th International Conference on Pattern Recognition, edited byIEEE, 2679–2685. 26th International Conference on Pattern Recognition (ICPR): IEEE Press.
Kockwelp, Jacqueline; Thiele, Sebastian; Kockwelp, Pascal; Bartsch, Janis; Schliemann, Christoph; Angenendt, Linus; Risse, Benjamin. . ‘Cell Selection-based Data Reduction Pipeline for Whole Slide Image Analysis of Acute Myeloid Leukemia.’ InThe IEEE / CVF Computer Vision and Pattern Recognition Conference (CVPR), edited byIEEE/CVF, 1825–1834. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition: IEEE Press.
Derstroff A, Leistikow S, Nahardani A, Ebrahimi M, Hoerr V, Linsen L. „Explorative Visual Analysis of Spatio-temporal Regions to Detect Hemodynamic Biomarker Candidates.“ contributed to the EuroVis 2022, Rom, .
Mohammed, O. T.; Paznikov, A. A.; Gorlatch, S. . ‘Accelerating Neural Network Training Process on Multi-Core Machine Using OpenMP.’ In2022 III International Conference on Neural Networks and Neurotechnologies (NeuroNT), edited byIEEE, 7–11. Sankt Petersburg: Wiley-IEEE Press. doi: 10.1109/NeuroNT55429.2022.9805549.
Abadeer, Mina; Magharious, Sameh; Gorlatch, Sergei. . ‘Modeling and interactive simulation of measures against infection transmission.’ Simulation: Transactions of the Society for Modeling and Simulation International I, Nr. 20. doi: 10.1177/00375497221133849.
Garanina, N.; Staroletov, S.; Gorlatch, S. . ‘Model Checking Meets Auto-Tuning of High-Performance Programs.’ InLogic-Based Program Synthesis and Transformation, edited byVillanueva, A., 63–82. Cham: Springer. doi: 10.1007/978-3-031-16767-6_4.
Tomak, J; Gorlatch, S. . ‘RAST: Evaluating Performance of a Legacy System Using Regression Analysis and Simulation.’ In2022 30th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), edited byGrochla, K; Gelenbe, E, 49–56. Nizza: Wiley-IEEE Computer Society Press. doi: 10.1109/MASCOTS56607.2022.00015.
Fey, Florian; Gerwing, Alexander; Gorlatch, Sergei. . ‘Towards a Generic Framework for GPU-Parallelized Simulations of Light-Driven Nano-Particles.’ InProceedings of the 2022 International Conference on Computational Science and Computational Intelligence, edited byArabnia, Hamid; Deligiannidis, Leonidas; Tinetti, Fernando; Tran, Quoc-Nam, 1374–1379. Las Vegas: Wiley-IEEE Computer Society Press. doi: 10.1109/CSCI58124.2022.00130.
Ahrendt W, Herber P, Huisman M, Ulbrich M. . ‘SpecifyThis - Bridging Gaps Between Program Specification Paradigms.’InLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, edited byMargaria T, Steffen B, 3–6. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6\_1.
Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne. . ‘Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.’InLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, edited byMargaria, Tiziana; Steffen, Bernhard, 299–319. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
Hoffmann, Moritz; Braun, Tanya; Möller, Ralf. . ‘Lifted Division for Lifted Hugin Belief Propagation.’InAISTATS-22 Proceedings of the 25th International Conference on Artificial Intelligence and Statistics, edited byCamps-Valls, Gustau; Ruiz, Francisco J. R.; Valera, Isabel, 6501–6510. Digital: Proceedings of Machine Learning Research.
Bender Magnus, Kuhr Felix, Braun Tanya, Möller Ralf. „Estimating Context-Specific Subjective Content Descriptions using BERT.“ contributed to the 16th IEEE International Conference on Semantic Computing, Virtual, .
Bender Magnus, Kuhr Felix, Braun Tanya. . ‘To Extend or not to Extend? Complementary Documents.’ InICSC-22 Proceedings of the 16th IEEE International Conference on Semantic Computing, edited byBulterman, Dick; Kitazawa, Atsushi; Ostrowski, David; Sheu, Phillip; Tsai, Jeffrey; Bansal, Srividya; D'Auria, Daniela; Mertens, Robert, 17–24. Digital: Wiley-IEEE Press. doi: 10.1109/ICSC52841.2022.00011.
Braun, Tanya; Gehrke, Marcel; Lau, Florian; Möller, Ralf. . ‘Lifting in Multi-agent Systems under Uncertainty.’InUAI-22 Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, edited byCussens, James; Zhang, Kun, 233–243. digital: Curran Associates.
Bender, Magnus; Kuhr, Felix; Braun, Tanya. . ‘To Extend or not to Extend? Enriching a Corpus with Complementary and Related Documents.’ International Journal of Semantic Computing 16, Nr. 4. doi: 10.1142/S1793351X2240013X.
Braun, Tanya; Gehrke, Marcel. . ‘Explainable and Explorable Decision Support.’ InProceedings of the 27th International Conference on Conceptual Structures (ICCS 2022), edited byBraun, Tanya; Cristea, Diana; Jäschke, Robert, 99–114. Heidelberg: Springer Nature. doi: 10.1007/978-3-031-16663-1_8.
Gehrke, Marcel; Möller, Ralf; Braun, Tanya. . ‘Who did it? Identifying the Most Likely Origins of Events.’InPGM-22 Proceedings of the 11th International Conference on Probabilistic Graphical Models, edited bySalmerón, Antonio; Rumı́, Rafael, 217–228. digital: Curran Associates.
Braun, Tanya; Cristea, Diana; Jäschke, Robert (Eds.): . Graph-Based Representation and Reasoning. Heidelberg: Springer Nature. doi: 10.1007/978-3-031-16663-1.
Braun, Tanya. . ‘A Glimpse into Statistical Relational AI: The Power of Indistinguishability.’ InSUM-22 Proceedings of the 15th International Conference on Scalable Uncertainty Management, edited byDupin de Saint-Cyr, Florence; Öztürk-Escoffier, Meltem; Potyka, Nico, 3–18. Cham: Springer Nature. doi: 10.1007/978-3-031-18843-5_1.
Schilling, M. . ‘Coding Challenge.’ InKompetent Prüfungen gestalten – 60 Prüfungsformate für die Hochschullehre, edited byGerick, J.; A. Sommer, A.; Zimmermann, G., 108–111. Münster: Waxmann.
Hermes, L.; Hammer, B.; Melnik, A.; Velioglu, R.; Vieth, M.; Schilling, M. . ‘A Graph-based U-Net Model for Predicting Traffic in unseen Cities.’ InProceedings of the International Joint Conf. on Neural Networks, edited byGori, M.; Sperduti, A., 1–8. Bari: IEEE Press.
Eichenberger, C.; Neun, M.; Martin, H.; Herruzo, P.; Spanring, M.; Lu, Y.; Choi, S.; Konyakhin, V.; Lukashina, N.; Shpilman, A.; Wiedemann, N.; Raubal, M.; Wang, B.; Vu, H.L.; Mohajerpoor, R.; Cai, C.; Kim, I.; Hermes, L.; Melnik, A.; Velioglu, R.; Vieth, M.; Schilling, M.; Bojesomo, A.; Al-Marzouqi, H.; Liatsis, P.; Santokhi, J.; Hillier, D.; Yang, Y.; Sarwar, J.; Jordan, A.; Hewage, E.; Jonietz, D.; Tang, F.; Gruca, A.; Kopp, M.; Kreil, D.P.; Hochreiter, S. . ‘Traffic4cast at NeurIPS 2021 - Temporal Spatial Few-Shot Transfer Learning in Gridded Geo-Spatial Processes.’ InProceedings of the NeurIPS 2021 Competitions Demonstrations Track, PMLR, edited byRanzato, M; Beygelzimer, A; Dauphin, Y; Liang, PS; Wortman Vaughan, J, 97–112. Red Hook: Curran Associates.
Dewi C, Chen RC, Jiang X, Yu H. . ‘Adjusting eye aspect ratio for strong eye blink detection based on facial landmarks.’ PeerJ Computer Science 8: e943.
Zhang J, Liu CL, Jiang X. . ‘Interpolation kernel machine and indefinite kernel methods for graph classification.’ InProc. of ICPRAI, edited byYacoubi M, Granger E, Yuen PC, Pal U, Vincent N, 467–479. Cham, Switzerland: Springer Nature.
Elischberger F, Bamberg B, Jiang X. . ‘Deep learning based detection of segregations for ultrasonic testing.’ IEEE Transactions on Instrumentation and Measurement 71.
Kuhlmann J, Rothaus K, Jiang X, Heimes-Bussmann B, Faatz H, Book M, Pauleikhoff D. . ‘Axial stretching of vessels in the retinal vascular plexus with 3D OCT-Angiograph.’ Translational Vision Science & Technology 11, Nr. 2.
Wang TQ, Jiang X, Liu CL. . ‘Query pixel guided stroke extraction with model-based matching for offline handwritten Chinese characters.’ Pattern Recognition 123: 108416.
Cebollada S, Paya L, Jiang X, Reinoso O. . ‘Development and use of a convolutional neural network for hierarchical appearance-based localization.’ Artificial Intelligence Review 55, Nr. 4: 2847–2874.
Drees D, Eilers F, Bian A, Jiang X. . ‘A Bhattacharyya coefficient-based framework for noise model-aware random walker image segmentation.’ InProc. of GCPR, edited byAndres B, Bernard F, Cremers D, Frintrop S, Goldlücke B, Ihrke I, 166–181. Cham, Switzerland: Springer Nature.
Dewi C, Chen RC, Jiang X, Yu H. . ‘Deep convolutional neural network for enhancing traffic sign recognition developed on Yolo V4.’ Multimedia Tools and Applications 81, Nr. 26: 37821–37845.
Xu J, Zeng B, Egger J, Wang C, Smedby Ö, Jiang X, Chen X. . ‘A review on AI-based medical image computing in head and neck surgery.’ Physics in Medicine and Biology 67: 17TR01.
Dubey A, Singh SK, Jiang X. . ‘Leveraging CNN and transfer learning for classification of histopathology images.’ InProc. of MIND, edited byKhare N, Tomar DS, Ahirwal MK, Semwal VB, Soni V, 3–13. Cham, Switzerland: Springer Nature.
Chen A, Wang S, Jiang X, Yan S, Bian A, Xu W, Zeng J, Deng T. . ‘Optical aerosol sizing method without prior refractive index.’ Measurement 204: 112072.
Kuck N, Dietel FA, Nohr L, Vahrenhold J, Buhlmann U. . ‘A smartphone app for the prevention and early intervention of body dysmorphic disorder: Development and evaluation of the content, usability, and aesthetics.’ Internet Interventions 28, Nr. 100521. doi: 10.1016/j.invent.2022.100521.
Decker A, Weiss MA, Becker BA, Dougherty JP, Edwards SA, Goode J, Ko AJ, McGill MM, Morrison BB, Perez-Quinones M, Rankin YA, Ross M, Vahrenhold J, Weintrop D, Yadav A. . ‘Piecing Together the Next 15 Years of Computing Education Research Workshop Report.’ InProceedings of the 53rd ACM Technical Symposium on Computer Science Education, edited bySheard J, Soh LK, Dorn B, 1051–1052. New York, NY: Association for Computing Machinery. doi: 10.1145/3478432.3499037.
Kather, Philipp; Vahrenhold, Jan. . „Unterschiede im Leseverhalten von Algorithmen und Programmen.“ In Eye-Tracking als Methode in der Mathematik- und Naturwissenschaftsdidaktik: Forschung und Praxis, herausgegeben von Klein, Pascal; Graulich, Nicole; Kuhn, Jochen; Schindler, Maike, 245–260. Heidelberg: Springer Spektrum. doi: 10.1007/978-3-662-63214-7_15.
Kather P, Duran R, Vahrenhold J. . ‘Through (Tracking) Their Eyes: Abstraction and Complexity in Program Comprehension.’ ACM Transactions on Computing Education 22, Nr. 2: 17.1–17.33. doi: 10.1145/3480171.
Vahrenhold, Jan; Fisler, Kathi; Hauswirth, Matthias; Franklin, Diana (Eds.): . ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event, Switzerland, August 7 - 11, 2022, Volume 1. New York, NY: Association for Computing Machinery. doi: 10.1145/3501385.
Vahrenhold, Jan; Fisler, Kathi; Hauswirth, Matthias; Franklin, Diana (Eds.): . ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event, Switzerland, August 7 - 11, 2022, Volume 2. New York, NY: Association for Computing Machinery. doi: 10.1145/3501709.
Thießen, Thore; Vahrenhold, Jan. . ‘Klee’s Measure Problem Made Oblivious.’InLATIN 2022: Theoretical Informatics, 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings, edited byCastañeda, Armando; Rodríguez-Henríquez, Francisco, 121–138. Cham: Springer. doi: 10.1007/978-3-031-20624-5_8.
Steinhorst, Phil. . ‘Investigating Productive Failure in Computer Science.’InICER 2022 V2: Proceedings of the 2022 ACM Conference on International Computing Education Research - Volume 2, edited byVahrenhold, Jan; Fisler, Kathi; Hauswirth, Matthias; Franklin; Diana, 19–20. 2022: Association for Computing Machinery. doi: 10.1145/3501709.3544300.
Evers M, Herick M, Molchanov V, Linsen L. . ‘Coherent Topological Landscapes for Simulation Ensembles.’ InComputer Vision, Imaging and Computer Graphics Theory and Applications, edited byBouatouch K. et al., 223–237. Springer VDI Verlag.
Niehage, Mathis; Remke, Anne. . ‘Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty.’ InFormal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings, edited byBogomolov, Sergiy; Parker, David, 298–306. Warsaw, Poland: Springer. doi: 10.1007/978-3-031-15839-1_17.
Evers M, Linsen L. . ‘Multi-dimensional parameter-space partitioning of spatio-temporal simulation ensembles.’ Computers and Graphics 104: 140–151. doi: 10.1016/j.cag.2022.04.005.
Evers, Marina; Wittkowski, Raphael; Linsen, Lars. . ‘ASEVis: Visual Exploration of Active System Ensembles to Define Characteristic Measures.’ In2022 IEEE Visualization and Visual Analytics (VIS), edited by-, 150–154. Oklahoma City: IEEE Press. doi: 10.1109/VIS54862.2022.00039.
Heimes, Karl; Evers, Marina; Gerrits, Tim; Gyawali, Sandeep; Sinden, David; Preusser, Tobias; Linsen, Lars. . ‘Studying the effect of tissue properties on radiofrequency ablation by visual simulation ensemble analysis.’ InEurographics Workshop on Visual Computing for Biology and Medicine, edited byRaidou, Renata G.; Sommer, Björn; Kuhlen, Torsten W.; Krone, Michael; Schultz, Thomas; Wu, Hsiang-Yun, 53–63. -: The Eurographics Association. doi: 10.2312/vcbm.20221187.
Preciado-Marquez D, Becker L, Storck M, Greulich L, Dugas M, Brix TJ. . ‘MainzelHandler: A Library for a Simple Integration and Usage of the Mainzelliste.’ InPublic Health and Informatics, edited byMantas John, Stoicu-Tivadar Lăcrămioara, Chronaki Catherine, Hasman Arie, Weber Patrick, Gallos Parisis, Crişan-Vida Mihaela, Zoulias Emmanouil, Chirila Oana Sorina, 233–237. online: IOS Press BV. doi: 10.3233/SHTI210155.
Tobias J. Brix, Ludger Becker, Timm Harbich, Johannes Oehm, Maximilian Fechner, Martin Dugas, Michael Storck. . ‘ODM Clinical Data Generator: Syntactically Correct Clinical Data Based on Metadata Definition.’ InGerman Medical Data Sciences: Bringing Data to Life, edited byRöhrig Rainer, Beißbarth Tim, Brannath Werner, Prokosch Hans-Ulrich, Schmidtmann Irene, Stolpe Susanne, Zapf Antonia, 35–40. doi: 10.3233/SHTI210048.
Rasch Ari, Schulze Richard, Steuwer Michel, Gorlatch Sergei. . ‘Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF).’ ACM Transactions on Architecture and Code Optimization 18, Nr. 1: 1–26. doi: 10.1145/3427093.
Huesmann Karim, Rodriguez Luis Garcia, Linsen Lars, Risse Benjamin. . ‘The Impact of Activation Sparsity on Overfitting in Convolutional Neural Networks.’ InThe Impact of Activation Sparsity on Overfitting in Convolutional Neural Networks.: Springer International Publishing.
Evers M, Leistikow S, Derstroff A, Gerrits T, Huesmann K, Hollenbeck J, Seljami J, Linsen L. . ‘Visual Analysis of Spatio-temporal Features in Multi-field Earth's Mantle Convection Simulations.’ InProceedings of IEEE VIS 2021, edited by-, -. Proceedings of IEEE VIS 2021: IEEE Press.
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian. . ‘Temporal Logics with Language Parameters.’InLanguage and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, edited byLeporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio, 187–199.: Springer. doi: 10.1007/978-3-030-68195-1\_14.
Thiele Sebastian, Haalck Lars, Struffert Marvin, Scherber Christoph, Risse Benjamin. . ‘Towards Visual Insect Camera Traps.’ Contributed to the International Conference on Pattern Recognition (ICPR) Workshop on Visual observation and analysis of Vertebrate And Insect Behavior (VAIB), Milan.
Haalck Lars, Risse Benjamin. . ‘Embedded Dense Camera Trajectories in Multi-Video Image Mosaics by Geodesic Interpolation-based Reintegration.’ Contributed to the Winter Conference on Applications of Computer Vision, Waikoloa, Hawaii.
Remke, Anne. . ‘Prof. Dr.’ Contributed to the 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), Aachen, Deutschland.
Salem Abdel-Badeeh Mohamed, Gorlatch Sergei (Eds.): . Materials, Computer Engineering and Education Technology. : Trans Tech Publications. doi: 10.4028/www.scientific.net/AST.105.
Borisenko Andrey, Gorlatch Sergei. . ‘Efficient GPU-parallelization of batch plants design using metaheuristics with parameter tuning.’ Journal of Parallel and Distributed Computing 154: 74–81. doi: 10.1016/j.jpdc.2021.03.012.
Tomak J, Gorlatch S. . ‘Measuring Performance of Fault Management in a Legacy System: An Alarm System Study.’ InModelling, Analysis, and Simulation of Computer and Telecommunication Systems. MASCOTS 2020, edited byCalzarossa M, Gelenbe E, Grochla K, Lent R, Czachórski T, 129–146. Cham: Springer. doi: 10.1007/978-3-030-68110-4_9.
Abadeer M, Magharious S, Gorlatch S. . ‘Introducing Interactivity in Disaster Recovery Simulations.’ InNew Trends in Intelligent Software Methodologies, Tools and Techniques, edited byFujita H, Perez-Meana H, 267–280. Amsterdam: IOS Press. doi: 10.3233/FAIA210026.
Kucher V, Gorlatch S. . ‘Implicit Data Layout Optimization for Portable Parallel Programming in C++.’ InParallel Computing Technologies, edited byMalyshkin V, 223–234. Cham: Springer. doi: 10.1007/978-3-030-86359-3_17.
Bian A, Jiang X, Berh D, Risse B. . ‘Resolving colliding larvae by fitting ASM to random walker-based pre-segmentations.’ IEEE/ACM Transactions on Computational Biology and Bioinformatics 18, Nr. 3: 1184–1194.
Adelt J, Liebrenz T, Herber P. . ‘Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.’ InFormal Methods, edited byHuisman M, Pasareanu C, Zhan N, 349–366. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_19.
Herber P, Liebrenz T, Adelt J. . ‘Combining Forces: How to Formally Verify Informally Defined Embedded Systems.’ InFormal Methods, edited byHuisman M, Pasareanu C, Zhan N, 3–22. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.
Hermes, L.; Hammer, B.; Schilling, M. . ‘Application of Graph Convolutions in a Lightweight Model for Skeletal Human Motion Forecasting.’ InProceedings of 29th European Symposium on Artificial Neural Networks, edited byVerleysen, M., 111–116. Bruges: i6doc.
Artelt, A; Vaquet, V; Velioglu, R; Hinder, F; Brinkrolf, J; Schilling, M; Hammer, B. . ‘Evaluating Robustness of Counterfactual Explanations.’ In2021 IEEE Symposium Series on Computational Intelligence (SSCI), edited byCrockett, K.; Mostaghim, S., 01–09. Orlando, Florida: IEEE Press. doi: 10.1109/SSCI50451.2021.9660058.
Schilling, M. . ‘Avoid Overfitting in Deep Reinforcement Learning: Increasing Robustness Through Decentralized Control.’ InArtificial Neural Networks and Machine Learning -- ICANN 2021. 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14--17, 2021, Proceedings, Part IV, edited byFarkas, I; Masulli, P; Otte, S; Wermter, S, 638–649. Bratislava: Springer International Publishing. doi: 10.1007/978-3-030-86380-7_52.
Lach, L; Korthals, T; Ferro, F; Ritter, H; Schilling, M. . ‘Guiding Representation Learning in Deep Generative Models with Policy Gradients.’ InOptimization and Learning. 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings, edited byDorronsoro B; Amodeo L; Pavone M; Ruiz P, 115–131. Catania: Springer International Publishing. doi: 10.1007/978-3-030-85672-4_9.
Schilling, M.; Burgahn, C. Fortmann, R. . ‘Evaluation of Graph Convolutions for Spatio-Temporal Predictions of EV-Charge Availability.’ InProceedings of the IEEE Symposium Series on Computational Intelligence (SSCI 2021), edited by/, 1–6. Orlando: IEEE Press. doi: 10.1109/SSCI50451.2021.9660162.
Nienkötter A, Jiang X. . ‘Distance-preserving vector space embedding for consensus learning.’ IEEE Transactions on Systems, Man, and Cybernetics: Systems 51, Nr. 2: 1244–1257.
Xu L, Bai L, Jiang X, Tan M, Li C, Luo B. . ‘Deep Rényi entropy graph kernel.’ Pattern Recognition 111: 107668.
Spiesshoefer J, Hegerfeld N, Gerdes M, Klemm S, Gorbachevski M, Radke R, Tuleta I, Passino C, Jiang X, Sciarrone S, Randerath W, Dreher M, Boentert M, Giannoni A. . ‘Effects of central apneas on sympathovagal balance and hemodynamics at night: impact of underlying systolic heart failure.’ Sleep and Breathing 25: 965–977.
Kirschnick N, Drees D, Redder E, Erapaneedi R, Pereira da Graca A, Schäfers M, Jiang X, Kiefer F. . ‘Rapid methods for the evaluation of fluorescent reporters in tissue clearing and the segmentation of large vascular structures.’ iScience 24, Nr. 6: 102650.
Jiang X. . ‘Editorial: A wonderful venue for networking neuroscience and computational intelligence.’ International Journal of Neural Systems 31, Nr. 6: 2103005:1–2103005:2.
Chen X, Li Y, Xu L, Sun Y, Politis C, Jiang X. . ‘A real time image-guided reposition system for the loosed bone graft in orthognathic surgery.’ Computer Assisted Surgery 26, Nr. 1: 1–8.
Welsing A, Nienkötter A, Jiang X. . ‘Exponential weighted moving average of time series in arbitrary spaces with application to strings.’ Contributed to the Joint IAPR Int. Workshop on Structural, Syntactic, and Statistical Pattern Recognition (S+SSPR), Milan, Italy.
Leenings R, Winter NR, Plagwitz L, Holstein V, Ernsting J, Sarink K, Fisch L, Steenweg J, Kleine-Vennekate L, Gebker J, Emden D, Grotegerd D, Opel N, Risse B, Jiang X, Dannlowski U, Hahn T. . ‘PHOTONAI-A Python API for rapid machine learning model development.’ PLoS ONE 16. doi: 10.1371/journal.pone.0254062.
Frintrop S, Fink GA, Jiang X. . ‘Editorial: Special Issue: Computer Vision and Pattern Recognition (DAGM GCPR 2019).’ International Journal of Computer Vision 129, Nr. 11: 3004–3005.
Blanger L, Hirata N, Jiang X. . ‘Reducing the need for bounding box annotations in object detection using image classification data.’ Contributed to the 34th SIBGRAPI Conference on Graphics, Patterns and Images, online.
Xu J, Liu J, Zhang D, Zhou Z, Jiang X, Zhang C, Chen X. . ‘Automatic mandible segmentation from CT image using 3D fully convolutional neural network based on DenseASPP and attention gates.’ International Journal of Computer Assisted Radiology and Surgery 16: 1785–1794.
Leenings R, Winter N, Plagwitz L, Holstein V, Ernsting J, Steenweg J, Gebker J, Sarink K, Emden D, Grotegerd D, Opel N, Risse B, Jiang X, Dannlowski U, Hahn T. . ‘PHOTONAI - A Python API for rapid machine learning model development.’ PLoS ONE 16, Nr. 7: e0254062.
Winter D, Bian A, Jiang X. . ‘Layer-wise relevance propagation based sample condensation for kernel machines.’ Contributed to the 19th International Conference on Computer Analysis of Images and Patterns, online.
Dewi C, Chen RC, Liu YT, Jiang X, Hartomo KD. . ‘Yolo V4 for advanced traffic sign recognition with synthetic training data generated by various GAN.’ IEEE Access 9: 97228–97242.
Han LKM, Dinga R, Hahn T, Ching CRK, Eyler LT, Aftanas L, Aghajani M, Aleman A, Baune BT, Berger K, Brak I, Filho GB, Carballedo A, Connolly CG, Couvy-Duchesne B, Cullen KR, Dannlowski U, Davey CG, Dima D, Duran FLS, Enneking V, Filimonova E, Frenzel S, Frodl T, Fu CHY, Godlewska BR, Gotlib IH, Grabe HJ, Groenewold NA, Grotegerd D, Gruber O, Hall GB, Harrison BJ, Hatton SN, Hermesdorf M, Hickie IB, Ho TC, Hosten N, Jansen A, Kähler C, Kircher T, Klimes-Dougan B, Krämer B, Krug A, Lagopoulos J, Leenings R, MacMaster FP, MacQueen G, McIntosh A, McLellan Q, McMahon KL, Medland SE, Mueller BA, Mwangi B, Osipov E, Portella MJ, Pozzi E, Reneman L, Repple J, Rosa PGP, Sacchet MD, Sämann PG, Schnell K, Schrantee A, Simulionyte E, Soares JC, Sommer J, Stein DJ, Steinsträter O, Strike LT, Thomopoulos SI, van Tol MJ, Veer IM, Vermeiren RRJM, Walter H, van der Wee NJA, van der Werff SJA, Whalley H, Winter NR, Wittfeld K, Wright MJ, Wu MJ, Völzke H, Yang TT, Zannias V, de Zubicaray GI, Zunta-Soares GB, Abé C, Alda M, Andreassen OA, Bøen E, Bonnin CM, Canales-Rodriguez EJ, Cannon D, Caseras X, Chaim-Avancini TM, Elvsåshagen T, Favre P, Foley SF, Fullerton JM, Goikolea JM, Haarman BCM, Hajek T, Henry C, Houenou J, Howells FM, Ingvar M, Kuplicki R, Lafer B, Landén M, Machado-Vieira R, Malt UF, McDonald C, Mitchell PB, Nabulsi L, Otaduy MCG, Overs BJ, Polosan M, Pomarol-Clotet E, Radua J, Rive MM, Roberts G, Ruhe HG, Salvador R, Sarró S, Satterthwaite TD, Savitz J, Schene AH, Schofield PR, Serpa MH, Sim K, Soeiro-de-Souza MG, Sutherland AN, Temmingh HS, Timmons GM, Uhlmann A, Vieta E, Wolf DH, Zanetti MV, Jahanshad N, Thompson PM, Veltman DJ, Penninx BWJH, Marquand AF, Cole JH, Schmaal L. . ‘Brain Aging in Major Depressive Disorder: Results from the ENIGMA Major Depressive Disorder working group.’Molecular Psychiatry 26, Nr. 9: 5124–5139. doi: 10.1038/s41380-020-0754-0.
Opel N, Thalamuthu A, Milaneschi Y, Grotegerd D, Flint C, Leenings R, Goltermann J, Richter M, Hahn T, Woditsch G, Berger K, Hermesdorf M, McIntosh A, Whalley HC, Harris MA, MacMaster FP, Walter H, Veer IM, Frodl T, Carballedo A, Krug A, Nenadic I, Kircher T, Aleman A, Groenewold NA, Stein DJ, Soares JC, Zunta-Soares GB, Mwangi B, Wu MJ, Walter M, Li M, Harrison BJ, Davey CG, Cullen KR, Klimes-Dougan B, Mueller BA, Sämann PG, Penninx B, Nawijn L, Veltman DJ, Aftanas L, Brak IV, Filimonova EA, Osipov EA, Reneman L, Schrantee A, Grabe HJ, Van der Auwera S, Wittfeld K, Hosten N, Völzke H, Sim K, Gotlib IH, Sacchet MD, Lagopoulos J, Hatton SN, Hickie I, Pozzi E, Thompson PM, Jahanshad N, Schmaal L, Baune BT, Dannlowski U. . ‘Brain Structural Abnormalities in Obesity: Relation to Age, Genetic Risk, and Common Psychiatric Disorders: Evidence Through Univariate and Multivariate Mega-Analysis Including 6420 Participants From the ENIGMA MDD Working Group.’Molecular Psychiatry 26, Nr. 9: 4839–4852. doi: 10.1038/s41380-020-0774-9.
Ko, Amy J; Vahrenhold, Jan; McCauley, Renee; Hauswirth, Matthias (Eds.): . ICER 2021: Proceedings of the 17th ACM Conference on International Computing Education Research. New York, NY: Association for Computing Machinery. doi: 10.1145/3446871.
Seep J, Vahrenhold J. . ‘K-Means for Semantically Enriched Trajectories.’ InProceedings of the 1st ACM SIGSPATIAL International Workshop on Animal Movement Ecology and Human Mobility (HANIMOB'21), edited byHachem F, Ossi F, Cagnacci F, Damiani L, Demsar U, 38–47. New York, NY: ACM Press. doi: 10.1145/3486637.3489495.
Kather P, Vahrenhold J. . ‘Exploring Algorithm Comprehension: Linking Proof and Program Code.’ InProceedings of the 21st Koli Calling International Conference on Computing Education Research (Koli Calling 2021), edited bySeppälä O, Petersen A, 28:1–28:10. doi: 10.1145/3488042.3488061.
Thießen T, Vahrenhold J. . ‘Oblivious Median Slope Selection.’InProceedings of the 33rd Canadian Conference on Computational Geometry, edited byHe M, Sheehy D, 320–331.
Niehage, Mathis; Hartmanns, Arnd; Remke, Anne. . ‘Learning optimal decisions for stochastic hybrid systems.’ InMEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021, edited bySaha, Indranil; Zhang, Lijun, 44–55. Virtual Event, China: Association for Computing Machinery. doi: 10.1145/3487212.3487339.
Pilch Carina, Schupp Stefan, Remke Anne. . ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ Contributed to the 18th International Conference on Quantitative Evaluation of Systems, QEST 2021, Paris, France, August 23–27, 2021, Paris, France. doi: 10.1007/978-3-030-85172-9_23.
Pilch, Carina. . Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Dissertationsschrift, Westfälische Wilhelms-Universität Münster. Münster: Westfälische Wilhelms-Universität Münster.
Nahardani A, Leistikow S, Krämer M, Herrmann KH, Zhao WT, Güllmar D, Linsen L, Reichenbach JR, Hoerr V. „The impact of compressed sensing L1-
ESPIRiT reconstruction on the velocity vector fields acquired by 4D-flow
MRI: A comparison to L2-ESPIRiT.“ contributed to the Proc. Intl. Soc. Mag. Reson. Med. 29, Virtual, .
Evers M, Huesmann K, Linsen L. . ‘Uncertainty-aware Visualization of Regional Time Series Correlation in Spatio-temporal Ensembles.’ Computer Graphics Forum 40, Nr. 3: 519–530. doi: 10.1111/cgf.14326.
Meer, Philipp; Brato, Thorsten; Matute Flores, José A. . ‘Extending automatic vowel formant extraction to New Englishes: A comparison of different methods.’ English World-Wide 42, Nr. 1: 54–84. doi: 10.1075/eww.00060.mee.
Berns F, Strueber JH, Beecks C. . ‘Local Gaussian Process Model Inference Classification for Time Series Data.’ Contributed to the 33rd International Conference on Scientific and Statistical Database Management, Tampa, Florida, USA. doi: 10.1145/3468791.3468839.
Berns F, Ramsdorf T, Beecks C. . ‘Machine Learning for Storage Location Prediction in Industrial High Bay Warehouses.’ In1st International Workshop on Industrial Machine Learning at 25th International Conference on Pattern Recognition 2020, 650–661.: Springer. doi: 10.1007/978-3-030-68799-1_47.
Berns F, Schmidt K, Bracht I, Beecks C. . ‘3CS Algorithm for Efficient Gaussian Process Model Retrieval.’ InProceedings 25th of the International Conference on Pattern Recognition 2020, 1773–1780.: IEEE Computer Society. doi: 10.1109/ICPR48806.2021.9412805.
Hagedorn Bastian, Lenfers Johannes, Koehler Thomas, Qin Xueying, Gorlatch Sergei, Steuwer Michel. . ‘Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies.’ InProceedings of the ACM on Programming Languages. USA.
Salas-Huetos A, Tüttelmann F, Wyrwoll MJ, Kliesch S, Lopes AM, Con{çc}}alves J, Boyden SE, Wöste M, Hotaling JM, {GEMINI Consortium}, Nagirnaja L, Conrad DF, Carrell DT, Aston KI, Jenkins TG, O'Bryan MK, McLachlan R, Schlegel PN, Eisenberg ML, Sandlow JI, Smith JF, Kamal P, Ober C, Sigman M, Hwang K, Jungheim ES, Omurtag KR, Carvalho F, Fernandes S, Barros A, Gon{çc}}alves J, Laan M, Punab M, {Rajpert-De Meyts} E, J{ø}rgensen N, Almstrup K, Krausz CG, Jarvi KA, Jezek D. . ‘Disruption of human meiotic telomere complex genes TERB1, TERB2 and MAJIN in men with non-obstructive azoospermia.’Human Genetics 2020.
Leitão E, Di Persio S, Laurentino S, Wöste M, Dugas M, Kliesch S, Neuhaus N, Horsthemke B. . ‘The sperm epigenome does not display recurrent epimutations in patients with severely impaired spermatogenesis.’ Clinical Epigenetics 121, Nr. 1: 61. doi: 10.1186/s13148-020-00854-0.
Herick M, Molchanov V, Linsen L. . ‘Temporally Coherent Topological Landscapes for Time-varying Scalar Fields.’ InProceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications -- Volume 3: IVAPP, 54–61.: SciTePress. doi: 10.5220/0008956300540061.
Doronin O, Dergun K, Dergachev A, Ilina A, Gorlatch S. . ‘Testing of multithreaded applications with locks on non-atomic variables.’ Scientific and Technical Journal of Information Technologies, Mechanics and Optics 20, Nr. 2: 243–248. doi: 10.17586/2226-1494-2020-20-2-243-248.
Kholod Ivan, Shorov Andrey, Gorlatch Sergei. . ‘Efficient Distribution and Processing of Data for Parallelizing Data Mining in Mobile Clouds.’ Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 11, Nr. 1: 2–17. doi: 10.22667/JOWUA.2020.03.31.002.
Kucher Vladyslav, Hunloh Jens, Gorlatch Sergei. . ‘Performance Portability and Unified Profiling for Finite Element Methods on Parallel Systems.’ Advances in Science, Technology and Engineering Systems Journal (ASTESJ) 5, Nr. 1: 119–127. doi: 10.25046/aj050116.
Kholod I, Shorov A, Gorlatch S. . ‘Improving Parallel Data Mining for Different Data Distributions in IoT Systems.’ InIntelligent Distributed Computing XIII, edited byKotenko I, Badica C, Desnitsky V, El Baz D, Ivanovic M, 75–85. Cham: Springer. doi: 10.1007/978-3-030-32258-8_9.
Abadeer Mina, Gorlatch Sergei. . ‘Simulating Infection Transmission: A Case Study of COVID-19.’ InModelling and Simulation 2020, edited byNketsa Alexandre, Baron Claude, Foucher Clément, 310–317. Toulouse: EUROSIS-ETI.
Garanina N, Anureev I, Siderova E, Koznov D, Zyubin V, Gorlatch S. . ‘An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.’ InFormal Methods. FM 2019 International Workshops, edited bySekerinski E, Moreira N, Oliveira JN, Ratiu D, Guidotti R, Farrell M, Luckcuck M, Marmsoler D, Campos J, Astarte T, Gonnord L, Cerone A, Couto L, Dongol B, Kutrib M, Monteiro P, Delmas D, 114–130. doi: 10.1007/978-3-030-54994-7_9.
Anureev I, Garanina N, Lyakh T, Rozov A, Zyubin V, Gorlatch S. . ‘Dedicative Verification of Reflex Programs.’ Programming and Computer Software 46: 261–272. doi: 10.1134/S0361768820040027.
Zhang Y, Humernbrum T, Gorlatch S. . ‘A Plug-in Framework for Efficient Multicast Using SDN.’ InWireless Internet, edited byDeng DJ, Pang AC, Lin CC, 271–284. Cham: Springer. doi: 10.1007/978-3-030-52988-8_24.
Rasch A, Schulze R, Gorlatch S. . ‘md_poly: A Performance-Portable Polyhedral Compiler Based on Multi-Dimensional Homomorphisms.’ Contributed to the 10th International Workshop on Polyhedral Compilation Techniques, Bologna, Italy.
Kholod I, Rukavitsyn A, Paznikov A, Gorlatch S. . ‘Parallelization of the self-organized maps algorithm for federated learning on distributed sources.’ The Journal of Supercomputing 2020. doi: 10.1007/s11227-020-03509-2.
Garanina N, Anureev I, Zyubin V, Rozov A, Liakh T, Gorlatch S. . ‘Reasoning about Programmable Logic Controllers.’ System Informatics 2020, Nr. 17: 33–42.
Neuert H, Deing P, Krukkert K, Naffin E, Steffes G, Risse B, Silies M, Klämbt C. . ‘The Drosophila NCAM homolog Fas2 signals independently of adhesion.’ Development 147, Nr. 2. doi: 10.1242/dev.181479.
Haalck L, Mangan M, Webb B, Risse B. . ‘Towards image-based animal tracking in natural environments using a freely moving camera.’ Journal of Neuroscience Methods 330: 108455. doi: 10.1016/j.jneumeth.2019.108455.
Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber. . ‘Towards Profile-Guided Optimisation for Safe and Efficient Parallel Stream Processing in Rust.’ Contributed to the Workshop on Applications for Multi-Core Architectures (WAMCA) at IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Virtual Conference.
Dilian Gurov, Paula Herber, Ina Schäfer. . ‘Automated Verification of Embedded Control Software - Track Introduction.’ In9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020).: Springer.
Timm Liebrenz, Paula Herber, Sabine Glesner. . ‘Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink.’ InInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020).: Springer.
Simon Schwan, Paula Herber. . ‘Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver.’ Contributed to the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2020), Virtual Conference.
Fekete SP, Haas A, Lieder Y, Niehs E, Perk M, Sack V, Scheffer C. . ‘Hard Instances of the Minimum-Weight Triangulation Problem.’ InProceedings of the 36th European Workshop on Computational Geometry (EuroCG).
Fekete SP, Kosfeld RT, Rieck C, Scheffer C. . ‘Connected Coordinated Motion Planning.’ InProceedings of the 36th European Workshop on Computational Geometry (Euro{CG}).
Fekete S P, Gurunathan V, Juneja K, Keldenich P, Kleist L, Scheffer C. . ‘Packing Squares into a Disk with Optimal Worst-Case Density.’ InProceedings of the 36th European Workshop on Computational Geometry (EuroCG).
Scheffer C. . ‘Train Scheduling: Hardness and Algorithms.’ InProceedings of the 14th International Conference and Workshops on Algorithms and Computation (WALCOM). doi: 10.1007/978-3-030-39881-1_30.
Abdel-Rahman A, Becker A T, Biediger D E, Cheung K C, Fekete S P, Jenett B, Niehs E, Scheffer C, Schmidt A, Yannuzzi M. . ‘Recognition and Reconfiguration of Lattice-Based Cellular Structures by Simple Robots.’ InProceedings of the International Conference on Robotics and Automation (ICRA).
Fekete S P, Gupta U, Keldenich P, Scheffer C, Shah S. . ‘Worst-Case Optimal Covering of Rectangles by Disks.’ InProceedings of the 36th International Symposium on Computational Geometry (SoCG).
Abdel-Rahman A, Becker A T, Biediger D E, Cheung K, Fekete S P, Gershenfeld N, Hugo S, Jenett B, Keldenich P, Niehs E, Rieck C, Schmidt A, Scheffer C, Yannuzzi M. . ‘Space Ants: Constructing and Reconfiguring Large-Scale Structures with Finite Automata.’ InProceedings of the 36th International Symposium on Computational Geometry (SoCG).
Schilling, M.; Cruse, H. . ‘Decentralized control of insect walking: A simple neural network explains a wide range of behavioral and neurophysiological results.’ PLoS Computational Biology 16, Nr. 4: e1007804. doi: 10.1371/journal.pcbi.1007804.
Mohanty, S.; Czakon, J.; Kaczmarek, K.A.; Pyskir, A.; Tarasiewicz, P.; Kunwar, S.; Rohrbach, J.; Luo, D.; Prasad, M.; Fleer, S.; Göpfert, J.P.; Tandon, A.; Mollard, G.; Rayaprolu, N.; Salathé, M.; Schilling, M. . ‘Deep Learning for Understanding Satellite Imagery: An Experimental Survey.’ Frontiers in artificial intelligence 3: 534696. doi: 10.3389/frai.2020.534696.
Schilling, Malte Rohlfing, K.J.; Vogt, P.; Yu, C.; Spranger, M. . ‘Guest Editorial Special Issue on Multidisciplinary Perspectives on Mechanisms of Language Learning.’ IEEE Transactions on Cognitive and Developmental Systems 12, Nr. 2: 134–138. doi: 10.1109/tcds.2020.2991470.
Schilling, M; Konen, K; Korthals, T. . ‘Modular Deep Reinforcement Learning for Emergent Locomotion on a Six-Legged Robot.’ InProceedings of the 8th IEEE RAS/EMBS International Conference for Biomedical Robotics Biomechatronics (BioRob), edited byAgrawal, S., 946–953. New York: IEEE Press. doi: 10.1109/BioRob49111.2020.9224332.
Bach, N; Melnik, A; Schilling, M; Korthals, T; Ritter, H. . ‘Learn to Move Through a Combination of Policy Gradient Algorithms: DDPG, D4PG, and TD3.’ InLecture Notes in Computer Science, edited byNicosia, G; et al., 617–630. Cham: Springer.
Schilling, M.; Konen, K.; Ohl, F.W.; Korthals, T. . ‘Decentralized Deep Reinforcement Learning for a Distributed Adaptive Locomotion Controller of a Hexapod Robot.’ InProceedings of IEEE/RSJ International Conference on Intelligent Robots Systems, edited by/, 5335–5342. Las Vegas: IEEE Press.
Moreno-García CF, Serratosa F, Jiang X. . ‘Correspondence edit distance to obtain a set of weighted means of graph correspondences.’ Pattern Recognition Letters 134: 29–36.
Xu L, Wang X, Bai L, Xiao J, Liu Q, Chen E, Jiang X, Luo B. . ‘Probabilistic SVM classifier ensemble selection based on GMDH-type neural network.’ Pattern Recognition 106: 107373.
Zhang L, Zhang JZ, Jiang X, Liang B. . ‘Error correctable hand-eye calibration for stripe-laser vision-guided robotics.’ IEEE Transactions on Instrumentation and Measurement 69, Nr. 10: 8314–8327.
Xiao J, Jia Y, Jiang X, Wang S. . ‘Circular complex-valued GMDH-type neural network for real-valued classification problems.’ IEEE Transactions on Neural Networks and Learning Systems 31, Nr. 12: 5285–5299.
Zhang JQ, Jiang X. . ‘Improved computation of affine dynamic time warping.’ Contributed to the International Conference on Applications of Intelligent Systems, Las Palmas de Gran Canaria.
Xiao J, Tian Y, Xie L, Jiang X, Huang J. . ‘A hybrid classification framework based on clustering.’ IEEE Transactions on Industrial Informatics 16, Nr. 4: 2177–2188.
Nienkötter A, Jiang X. . ‘A lower bound for generalized median based consensus learning using kernel-induced distance functions.’ Pattern Recognition Letters 140: 339–347.
Dewi C, Chen RC, Liu YT, Tai SK, Jiang X, Yu H. . ‘Deep Learning for traffic sign recognition based on spatial pyramid pooling with scale analysis.’ Applied Sciences 10: 6997.
Sun Q, Mai Y. Yang R, Ji T, Jiang X, Chen X. . ‘Fast and accurate online calibration of optical see-through head-mounted display for AR based surgical navigation using Microsoft HoloLens.’ International Journal of Computer Assisted Radiology and Surgery 15, Nr. 11: 1907–1919.
Xu J, Wang S, Zhou Z, Liu J, Jiang X, Chen X. . ‘Automatic CT image segmentation of maxillary sinus based on VGG network and improved V-Net.’ International Journal of Computer Assisted Radiology and Surgery 15, Nr. 9: 1457–1465.
Monteiro Silva AC, Hirata N, Jiang X. . ‘Skeletal similarity based performance evaluation for document binarization.’ Contributed to the 17th International Conference on Frontiers in Handwriting Recognition, Dortmund, Germany.
Opel N, Amare AT, Redlich R, Repple J, Kähler C, Grotegerd D, Dohm K, Zaremba D, Leehr EJ, Böhnlein J, Förster K, Bürger C, Meinert S, Enneking V, Emden D, Leenings R, Winter N, Hahn T, Heindel W, Bauer J, Wilhelms D, Schmitt S, Jansen A, Krug A, Nenadic I, Rietschel M, Witt S, Forstner AJ, Nöthen MM, Kircher T, Arolt V, Baune BT, Dannlowski U. . ‘Cortical surface area alterations shaped by genetic load for neuroticism.’Molecular Psychiatry 25. doi: 10.1038/s41380-018-0236-9.
Flint C, Förster K, Koser SA, Konrad C, Zwitserlood P, Berger K, Hermesdorf M, Kircher T, Nenadic I, Krug A, Baune BT, Dohm K, Redlich R, Opel N, Arolt V, Hahn T, Jiang X, Dannlowski U*, Grotegerd D* (*equal contribution). . ‘Biological sex classification with structural MRI data shows increased misclassification in transgender women.’ Neuropsychopharmacology : official publication of the American College of Neuropsychopharmacology 45.
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph. . ‘Propositional Dynamic Logic for Hyperproperties.’ In31st International Conference on Concurrency Theory, edited byKonnov Igor, Kovács Laura.: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. doi: 10.4230/LIPIcs.CONCUR.2020.50.
Lewis, CM, Bers M, Blikstein P, duBoulay B, Falkner K, Fincher SA, Fisler K, Goode J, Guzdial M, Haden P, Hundhausen C, Ko AJ, Lancaster T, Loui MC, Margulieux L, Morrison B, Porter L, Robins A, Shah N, Shapiro BR, Shephard K, Tissenbaum M, Utting I, Vahrenhold J, Waite J, Yadav A. . ‘The Cambridge Handbook of Computing Education Research Summarized in 75 Minutes.’InProceedings of the 51st ACM Technical Symposium on Computer Science Education, edited byHeckman S, Monge A, Cutter P, 323–324. New York, NY: ACM Press. doi: 10.1145/3328778.3366988.
Labusch A, Eickelmann B, Vahrenhold J, Vennemann, M. . „Kompetenzen im Bereich ‚Computational Thinking‘ von Schülerinnen und Schülern im internationalen Vergleich.“ In ICILS 2018 #NRW. Vertiefende Analysen und Befunde für Nordrhein-Westfalen im internationalen Vergleich, herausgegeben von Eickelmann B, Labusch A, Drossel K, Vennemann M (2020), 201–214. Münster: Waxmann.
Vahrenhold J, Vennemann M, Labusch A, Eickelmann B. . „Der Informatikunterricht aus Sicht schulischer Akteurinnen und Akteure - Analysen und Perspektiven.“ In ICILS 2018 #NRW. Vertiefende Analysen und Befunde für Nordrhein-Westfalen im internationalen Vergleich, herausgegeben von Eickelmann B, Labusch A, Drossel K, Vennemann M, 137–154. Münster: Waxmann.
Steinhorst, Phil; Petersen, Andrew; Vahrenhold, Jan. . ‘Revisiting Self-Efficacy in Introductory Programming.’InICER '20: Proceedings of the 2020 ACM Conference on International Computing Education Research, edited byRobins, Anthony V.; Ko, Amy J., 158–169. New York, NY: Association for Computing Machinery. doi: 10.1145/3372782.3406281.
Petre M, Sanders K, McCartney R, Ahmadzadeh M, Connolly C, Hamouda S, Harrington B, Lumbroso J, Maguire J, Malmi L, McGill MM, Vahrenhold J. . ‘Mapping the Landscape of Peer Review in Computing Education Research.’InITiCSE-WGR '20: Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, edited byRößling G, Krogstie B, 173–209. New York, NY: ACM Press. doi: 10.1145/3437800.3439207.
Niehage Mathis, Pilch Carina, Remke Anne. . ‘Simulating Hybrid Petri nets with general transitions and non-linear differential equations.’ Contributed to the 13thth EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2020, Tsukuba, Japan, May 18-20, 2020, Tsukuba, Japan. doi: 10.1145/3388831.3388842.
Pilch Carina, Krause Maurice, Remke Anne, Ábrahám Erika. . ‘A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.’ Contributed to the 12th NASA Formal Methods Symposium, NFM 2020, NASA Ames Research Center, Moffett Field, CA, USA, May 11-15, 2020, Moffett Field, CA, USA. doi: 10.1007/978-3-030-55754-6_23.
Pilch Carina, Hartmanns Arnd, Remke Anne. . ‘Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings.’ Contributed to the 23rd ACM International Conference on Hybrid Systems: Computation and Control, HSCC '20, Sydney, Australia, April 21-24, 2020, Sydney, Australia. doi: 10.1145/3365365.3382198.
Abate Alessandro, Blom Henk, Cauchi Nathalie, Delicaris Joanna, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Pilch Carina, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Vinod Abraham, Wooding Ben, Zamani Majid, Zuliani Paolo. . ‘ARCH-COMP20 Category Report: Stochastic Models.’ Contributed to the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, -. doi: 10.29007/mqzc.
Jawad M, Molchanov V, Linsen L. . ‘A Reproducibility Study for Visual MRSI Data Analytics.’ InComputer Vision, Imaging and Computer Graphics Theory and Applications, edited byCláudio AP, Bouatouch K, Chessa M, Paljic A, Kerren A, Hurter C, Tremeau A, Farinella GM, 362–388. Cham: Springer International Publishing. doi: 10.1007/978-3-030-41590-7_15.
Ngo QQ, Linsen L. . ‘Interactive Generation of 1D Embeddings from 2D Multi-dimensional Data Projections.’ InVision, Modeling, and Visualization, edited byKrüger J, Niessner M, Stückler J.: The Eurographics Association. doi: 10.2312/vmv.20201190.
Jawad M, Molchanov V, Linsen L. . ‘A Reproducibility Study for Visual MRSI Data Analytics.’ InComputer Vision, Imaging and Computer Graphics Theory and Applications, 362–388. Cham: Springer International Publishing. doi: 10.1007/978-3-030-41590-7_15.
Molchanov V, Linsen L. . ‘Smooth Map Deformation Using Integral Images.’ Journal of WSCG 1-2: 18–26.
Shahid MLUR, Molchanov V, Mir J, Shaukat F, Linsen L. . ‘Interactive visual analytics tool for multidimensional quantitative and categorical data analysis.’ Information Visualization 2020: 1–13. doi: 10.1177/1473871620908034.
Nahardani A, Leistikow S, Grün K, Krämer M, Herrmann KH, Schrepper A, Bauer R, Jung C, Berndt A, Schulze PC, Linsen L, Reichenbach JR, Franz M, and Hoerr V. „Evaluation of potential hemodynamic biomarkers in experimental PAH using center-out stack-of-stars 4D phase contrast velocity mapping.“ contributed to the ISMRM 2020, Virtual, .
Berns F, Beecks C. . ‘Automatic Gaussian Process Model Retrieval for Big Data.’ Contributed to the ACM International Conference on Information and Knowledge Management, Virtual Event, Ireland. doi: 10.1145/3340531.3412182.
Berns F, Beecks C. . ‘Towards Large-scale Gaussian Process Models for Efficient Bayesian Machine Learning.’ InProceedings of the 9th International Conference on Data Science, Technology and Applications. doi: 10.5220/0009874702750282.
Berns F, Beecks C. . ‘Large-scale Retrieval of Bayesian Machine Learning Models for Time Series Data via Gaussian Processes.’ InProceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 1: KDIR,, 71–80.: SciTePress. doi: 10.5220/0010109700710080.
Berns F, Lange-Hegermann M, Beecks C. . ‘Towards Gaussian Processes for Automatic and Interpretable Anomaly Detection in Industry 4.0.’ InProceedings of the International Conference on Innovative Intelligent Industrial Production and Logistics - Volume 1: IN4PL,, 87–92.: SciTePress. doi: 10.5220/0010130300870092.
Rasch Ari, Bigge Julian, Wrodarczyk Martin, Schulze Richard, Gorlatch Sergei. . ‘dOCAL: high-level distributed programming with OpenCL and CUDA.’ The Journal of Supercomputing 65: 1–22. doi: 10.1007/s11227-019-02829-2.
Rasch A, Gorlatch S. . ‘ATF: A generic directive‐based auto‐tuning framework.’ Concurrency Computation - Practice and Experience 31, Nr. 5. doi: 10.1002/cpe.4423.
Jawad M, Evers M, Gerwing A, Herick M, Seibert D, Bauer J, Kugel H, Ohrmann P, Linsen L. . ‘A Visual Analytics Approach for Comparing Cohorts in Single-Voxel Magnetic Resonance Spectroscopy Data.’ InAdvances in Experimental Medicine and Biology (AEMB), edited byRea PM, 115–136. Springer International Publishing. doi: 10.1007/978-3-030-14227-8_9.
Riepenhausen S, Varghese J, Neuhaus P, Storck M, Meidt A, Hegselmann S, Dugas M. . ‘Portal of Medical Data Models: Status 2018.’Studies in Health Technology and Informatics 258: 239–240.
Hesse-Edenfeld C, Steinke MJ, Santalidis N, Huesmann K, Leistikow S, Linsen L. . ‘Interactive Multi-Level Visualization of Combined Particle and Multi-Field Cosmology Data.’ InIEEE VIS 2019 - SciVis Contest (Honorable Mention).
Abadeer M, Gorlatch S. . ‘Distributed Simulation of Crowds with Groups in CrowdSim.’ In2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), edited byIEEE, 1–8. Cosenza: Wiley-IEEE Press. doi: 10.1109/DS-RT47707.2019.8958690.
Anureev Igor, Garanina Natalia, Liakh Tatiana, Rozov Andrei, Zyubin Vladimir, Gorlatch Sergei. . ‘Two-Step Deductive Verification of Control Software Using Reflex.’ InPerspectives of System Informatics, edited byBjørner Nikolaj, Virbitskaite Irina, Voronkov Andrei, 50–63. Cham: Springer. doi: 10.1007/978-3-030-37487-7.
Gorlatch S. . ‘Toward Structured Parallel Programming: Send-Receive Considered Harmful.’ InModels, Mindsets, Meta: The What, the How, and the Why Not?, edited byMargaria T, Graf S, Larsen K, 208–217. Cham: Springer VDI Verlag. doi: 10.1007/978-3-030-22348-9_13.
Kholod I, Shorov A, Efimova M, Gorlatch S. . ‘Parallelization of Algorithms for Mining Data from Distributed Sources.’ InParallel Computing Technologies. PaCT 2019, edited byMalyshkin V, 289–303. Cham: Springer. doi: 10.1007/978-3-030-25636-4_23.
Borisenko A, Gorlatch S. . ‘Optimizing a GPU-Parallelized Ant Colony Metaheuristic by Parameter Tuning.’ InParallel Computing Technologies. PaCT 2019, edited byMalyshkin V, 151–165. Cham: Springer. doi: 10.1007/978-3-030-25636-4_12.
Kucher Vladyslav, Fey Florian, Gorlatch Sergei. . ‘Unified Cross-Platform Profiling of Parallel C++ Applications.’ Contributed to the 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS), Dallas, TX, USA. doi: 10.1109/PMBS.2018.8641652.
Gorlatch Sergei. . ‘Send-Receive Considered Harmful: Toward Structured Parallel Programming.’ InThe Art of Structuring: Bridging the Gap Between Information Systems Research and Practice, edited byBergener Katrin, Räckers Michael, Stein Armin, 515–525. Cham: Springer VDI Verlag. doi: 10.1007/978-3-030-06234-7.
Rasch A, Schulze R, Gorlatch S. . ‘Generating Portable High-Performance Code via Multi-Dimensional Homomorphisms.’ Contributed to the 28th International Conference on Parallel Architectures and Compilation Techniques (PACT), Seattle WA.
Valkov D, Mantler A, Linsen L. . ‘Haptic Prop: A Tangible Prop for Semi-passive Haptic Interaction.’ In2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR), 1744–1748. doi: 10.1109/VR.2019.8797718.
Michels T, Berh D, Jiang X. . ‘An RJMCMC-based method for tracking and resolving collisions of Drosophila Larvae.’ IEEE/ACM Transactions on Computational Biology and Bioinformatics 16, Nr. 2: 465–474.
Gkanias E, Risse B, Mangan M, Webb B. . ‘From skylight input to behavioural output: a computational model of the insect polarised light compass.’ PLoS Computational Biology 15, Nr. 7: e1007123. doi: 10.1371/journal.pcbi.1007123.
Timm Liebrenz, Paula Herber and Sabine Glesner. . ‘A Service-oriented Approach for Decomposing and Verifying Hybrid System Models.’ Contributed to the International Conference on Formal Aspects of Component Software, Amsterdam, Niederlande. doi: 10.1007/978-3-030-40914-2\_7.
Moesus Nikolai, Scholze Matthias, Schlesinger Sebastian, Herber, Paula. . ‘A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability.’ InSoftware Technologies, edited byvan Sinderen, Marten, Maciaszek, Leszek A., 28–54.
Ulrike Witteck, Denis Griessbach, Paula Herber. . ‘Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms.’ Contributed to the International Conference on Software Technologies (ICSOFT 2019), Prague, Czech Republic.
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner. . ‘Information Flow Analysis of Combined Simulink/Stateflow Models.’ Information Technology and Control 48, Nr. 2: 299–315. doi: 10.5755/j01.itc.48.2.21759.
Fekete S P, Morr S, Scheffer C. . ‘Split Packing: Algorithms for Packing Circles with Optimal Worst-Case Density.’ Discrete & Computational Geometry 61, Nr. 3: 562–594. doi: 10.1007/s00454-018-0020-2.
Demaine ED, Fekete SP, Keldenich P, Meijer H, Scheffer C. . ‘Coordinated Motion Planning: Coordinating a Swarm of Labeled Robots with Bounded Stretch.’ SIAM Journal on Computing 48, Nr. 6: 1727–1762. doi: 10.1137/18M1194341.
Fekete S P, Höveling S, Scheffer C. . ‘Online Circle Packing.’ InProceedings of the 16th International Symposium on Algorithms and Data Structures (WADS), 366–379. doi: 10.1007/978-3-030-24766-9_27.
Scheffer C. . ‘The Prefix Fréchet Similarity.’ InProceedings of the 13th International Conference and Workshops on Algorithms and Computation (WALCOM), 96–107.
Becker A T, Fekete S P, Keldenich P, Scheffer C. . ‘Packing Geometric Objects with Optimal Worst-Case Density.’ InProceedings of the 35th International Symposium on Computational Geometry, (SoCG), 63:1–63:6.
Fekete S P, Keldenich P, Scheffer C. . ‘Packing Disks into Disks with Optimal Worst-Case Density.’ InProceedings of the 35th International Symposium on Computational Geometry (SoCG), 35:1–35:19.
Schilling, M.; Burgard. W.; Muelling, K.; Wrede, B. Ritter, H. . ‘Editorial: Shared Autonomy- Learning of Joint Action and Human-Robot Collaboration.’ Frontiers in Neurorobotics 13: 16. doi: 10.3389/fnbot.2019.00016.
Dürr, V.; Arena, P.; Cruse, H.; Dallmann, C.J.; Hoinville, T.; Krause, T.; Drimus, A.; Matefi-Tempfli, S.; Paskarbeit, J.; Patanè, L.; Schaeffersmann, M.; Schilling, M.; Schmitz, J.; Strauss, R.; Theunissen, L.M.; Vitanza, A.; Schneider, A. . ‘Integrative Biomimetics of Autonomous Hexapedal Locomotion.’ Frontiers in Neurorobotics 13: 88. doi: 10.3389/fnbot.2019.00088.
Korthals, T; Schilling, M; Leitner, J. . A Perceived Environment Design using a Multi-Modal Variational Autoencoder for learning Active-Sensing arXiv. doi: 10.48550/arXiv.1911.00584.
Melnik, A; Fleer, S; Schilling, M; Ritter, H. . Modularization of End-to-End Learning: Case Study in Arcade Games arxiv.
Schilling, M.; Ritter, H.; Ohl, F.W. . ‘From Crystallized Adaptivity to Fluid Adaptivity in Deep Reinforcement Learning — Insights from Biological Systems on Adaptive Flexibility.’ InProceedings of the 2019 IEEE International Conference on Systems, Man, Cybernetics, edited by/, 1472–1478. Bari: IEEE Press. doi: 10.1109/SMC.2019.8914302.
Schilling, Malte. . ‘Setup of a Recurrent Neural Network as a Body Model for Solving Inverse Forward Kinematics as well as Dynamics for a Redundant Manipulator.’ InProc. of the International Joint Conference on Neural Networks 2019, edited by/, 1–8. Budapest: IEEE Press.
Schilling, M. . ‘Hierarchical Dual Quaternion-Based Recurrent Neural Network as a Flexible Internal Body Model.’ InProc. of the International Joint Conference on Neural Networks 2019, edited by/, 1–8. Budapest: IEEE Press.
Chen X, Hu Y, Zhang Z, Wang B, Zhang L, Shi F, Chen X, Jiang X. . ‘A graph-based approach to automated EUS image layer segmentation and abnormal region detection.’ Neurocomputing 336: 79–91.
Cebollada S, Paya L, Vaiente D, Jiang X, Reinoso O. . ‘An evaluation between global appearance descriptors based on analytic methods and deep learning techniques for localization in autonomous mobile robots.’ Contributed to the 16th International Conference on Informatics in Control, Automation and Robotics, Prague.
Klemm S, Ortkemper RD, Jiang X. . ‘Deploying Deep Learning into practice: A case study on fundus segmentation.’ Contributed to the Proc. of 23rd Conference in Medical Imaging, Understanding and Analysis, Liverpool, UK.
O'Sullivan S, Ali Z, Jiang X, Abdolvand R, Ünlü MS, Placido da Silva H, Baca J, Kim B, Scott S, Sajid M, Moradian S, Mansoorzare H, Holzinger A. . ‘Developments in connectivity and Machine Learning/AI for point-of-care
testing.’ Sensors 19, Nr. 8: 1917.
Drees D, Scherzinger A, Jiang X. . ‘GERoMe – a method for evaluating stability of graph extraction algorithms without ground truth.’ IEEE Access 7: 21744–21755. doi: 10.1109/ACCESS.2019.2898754.
Lewis CM, Clancy MJ, Vahrenhold J. . ‘Student Knowledge and Misconceptions.’ InThe Cambridge Handbook of Computing Education Research, edited byFincher S, Robins AV, 773–800. Cambridge: Cambridge University Press. doi: 10.1017/9781108654555.028.
Vahrenhold J, Cutts Q, Falkner K. . ‘Schools (K-12).’ InThe Cambridge Handbook of Computing Education Research, edited byFincher S, Robins AV, 547–583. Cambridge: Cambridge University Press. doi: 10.1017/9781108654555.019.
Hüls Jannik, Pilch Carina, Schinke Patricia, Delicaris Joanna, Remke Anne. . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ Contributed to the 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, Glasgow, UK, September 10-12, 2019, Glasgow. doi: 10.1007/978-3-030-30281-8_11.
Chromik J, Flosbach R, Remke A. . ‘Architecture and prototype implementation for process-aware intrusion detection in electrical grids.’ In38th International Symposium on Reliable Distributed Systems 2019, 1–10.: IEEE CS.
Abate A, Blom H, Cauchi N, Degiorgio K, Fränzle M, Hahn EM, Haesaert S, Ma H, Oishi M, Pilch C, Remke A, Salamati M, Soudjani S, Huijgevoort B, Vinod AP. . ‘ARCH-COMP19 Category Report: Stochastic Modelling.’ Contributed to the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, Montreal. doi: 10.29007/f2vb.
Jawad. M, Molchanov. V, Linsen. L. . ‘Coordinated Image- and Feature-space Visualization for Interactive Magnetic Resonance Spectroscopy Imaging Data Analysis.’ InProceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP,, 118–128.: SciTePress. doi: 10.5220/0007571801180128.
Last P, Hering-Bertram M, Linsen L. . ‘Interactive History-based Vessel Movement Prediction.’ IEEE Intelligent Systems 2019: 1–1. doi: 10.1109/MIS.2019.2954509.
Sheharyar A, Ruh A, Valkov D, Markl M, Bouhali O, Linsen L. . ‘A Visual Analytics Tool for Cohorts in Motion Data.’ InVision, Modeling and Visualization, edited bySchulz H, Teschner M, Wimmer M.: The Eurographics Association. doi: 10.2312/vmv.20191329.
Ngo Q. Q., Hütt M., Linsen L. . ‘Visual Analytics of Simulation Ensembles for Network Dynamics.’ InVision, Modeling and Visualization, edited bySchulz H, Teschner M, Wimmer M.: The Eurographics Association. doi: 10.2312/vmv.20191322.
Valkov D, Linsen L. . ‘Vibro-tactile Feedback for Real-world Awareness in Immersive Virtual Environments.’ In2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR), 340–349. doi: 10.1109/VR.2019.8798036.
Gebauer E, Linsen L. . ‘Uni- and Multi-modal Uncertainty Visualization in 2D Scalar Field Ensembles.’ InEuroVis Workshop on Trustworthy Visualization (TrustVis), edited byKosara R, Lawonn K, Linsen L, Smit N, 7–11.: The Eurographics Association. doi: 10.2312/trvis.20191184.
Matute J, Fischer M, Telea AC, Linsen L. . ‘Scatterplot Summarization by Constructing Fast and Robust Principal Graphs from Skeletons.’ Contributed to the PacificVis 2019, Bangkok, Thailand.
Berns F, Schmidt K, Grass A, Beecks C. . ‘A New Approach for Efficient Structure Discovery in IoT.’ In2019 IEEE International Conference on Big Data (Big Data), 4152–4156.: IEEE. doi: 10.1109/BigData47090.2019.9006082.
Beecks C, Berns F, Schmidt KW. . ‘Ptolemaic Indexing for Managing and Querying Internet of Things (IoT) Data.’ In2019 IEEE International Conference on Big Data (Big Data), 4148–4151.: IEEE. doi: 10.1109/BigData47090.2019.9005725.
Berns F, Rossetto L, Schoeffmann K, Beecks C, Awad G. . ‘V3C1 Dataset: An Evaluation of Content Characteristics.’InProceedings of the 2019 on International Conference on Multimedia Retrieval, ICMR 2019, Ottawa, ON, Canada, June 10-13, 2019, edited byEl-Saddik A, Bimbo AD, Zhang Z, Hauptmann AG, Candan KS, Bertini M, Xie L, Wei X, 334–338.: ACM. doi: 10.1145/3323873.3325051.
Leibetseder A, Münzer B, Primus MJ, Kletz S, Schoeffmann K, Berns F, Beecks C. . ‘lifeXplore at the Lifelog Search Challenge 2019.’InProceedings of the ACM Workshop on Lifelog Search Challenge, LSC@ICMR 2019, Ottawa, ON, Canada, 10 June 2019, edited byGurrin C, Schöffmann K, Joho H, Dang-Nguyen D, Riegler M, Piras L, 13–17.: ACM. doi: 10.1145/3326460.3329157.
Wöste Marius, Dugas Martin. . ‘VIPER: a web application for rapid expert review of variant calls.’ Bioinformatics 34, Nr. 11: 1928–1929. doi: 10.1093/bioinformatics/bty022.
Rasch A, Gorlatch S. . ‘ATF: A Generic, Directive-Based Auto-Tuning Framework.’ Concurrency Computation - Practice and Experience 30, Nr. 3. doi: 10.1002/cpe.4423.
Ari Rasch, Martin Wrodarczyk, Richard Schulze, Sergei Gorlatch. . ‘OCAL: An Abstraction for Host-Code Programming with OpenCL and CUDA.’ In2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS), edited byIEEE, 408–416. Singapur: Wiley-IEEE Press. doi: 10.1109/PADSW.2018.8644541.
Leistikow S, Huesmann K, Fofonov A, Linsen L. . ‘Visualizing Deep Water Asteroid Impacts: Interactive Visual Analysis of Multi-run Spatio-temporal Simulations.’ InProceedings of IEEE VIS 2018 - Winner of the 2018 SciVis Contest 2018.
Gorlatch S, Kuchen H. . ‘Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.’ International Journal of Parallel Programming 46: 1–3. doi: 10.1007/s10766-017-0512-3.
Meiländer Dominik, Gorlatch Sergei. . ‘Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.’ Future Generation Computer Systems 2018, Nr. 86: 1019–1031. doi: 10.1016/j.future.2017.07.041.
Kholod I, Shorov A, Titkov E, Gorlatch S. . ‘A formally based parallelization of data mining algorithms for multi-core systems.’ The Journal of Supercomputing 2018: 1–12. doi: 10.1007/s11227-018-2473-8.
Borisenko A, Gorlatch S. . ‘Comparing GPU-parallelized metaheuristics to branch-and-bound for batch plants optimization.’ The Journal of Supercomputing 2018: 1–13. doi: 10.1007/s11227-018-2472-9.
Nithin V, Rathod A, Badarla V, Humernbrum T, Gorlatch S. . ‘Efficient Load Balancing for Multicast Traffic in Data Center Networks Using SDN.’ In2018 10th International Conference on Communication Systems & Networks (COMSNETS), edited byIEEE, 113–120. Bengaluru, India: Wiley-IEEE Press. doi: 10.1109/COMSNETS.2018.8328187.
Hagedorn B, Stoltzfus L, Steuwer M, Gorlatch S, Dubach C. . ‘High Performance Stencil Code Generation with Lift.’InProceedings of the 2018 International Symposium on Code Generation and Optimization, {CGO} 2018, Vössendorf / Vienna, Austria, February 24-28, 2018, 100–112. doi: 10.1145/3168824.
Garanina Natalia, Zubin Vladimir, Lyakh Tatiana, Gorlatch Sergei. . ‘An Ontology of Specification Patterns for Verification of Concurrent Systems.’ InNew Trends in Intelligent Software Methodologies, Tools and Techniques, edited byFujita Hamido, Herrera-Viedma Enrique, 515–528. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-900-3-515.
Rasch A, Haidl M, Gorlatch S. . ‘ATF: A Generic Auto-Tuning Framework.’ In2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), edited byIEEE, 64–71. Bangkok: IEEE Press. doi: 10.1109/HPCC-SmartCity-DSS.2017.9.
Berh D, Scherzinger A, Otto N, Jiang X, Klämbt C, Risse B. . ‘Automatic non-invasive heartbeat quantification of Drosophila pupae.’ Computers in Biology and Medicine 93: 189–199.
Scherzinger Aaron. . Data Exploration in Natural Sciences using Machine Learning and Scientific Visualization Dissertationsschrift, Universität Münster.
Otto N, Marelja Z, Schoofs A, Kranenburg H, Bittern J, Yildirim K, Berh D, Bethke M, Thomas S, Rode S, Risse B, Jiang X, Pankratz M, Leimkuehler S, Klämbt C. . ‘The Sulfite Oxidase Shopper controls neuronal activity by regulating glutamate homeostasis in Drosophila ensheathing glia.’ Nature Communications 9, Nr. 1: 3514.
Kiel M, Berh D, Daniel J, Otto N, Steege A, Jiang X, Liebau E, Risse B. . A Multi-Purpose Worm Tracker Based on FIM bioRxiv.
Risse B, Mangan M, Stürzl W, Webb B. . ‘Software to convert terrestrial LiDAR scans of natural environments into photorealistic meshes.’ Environmental Modelling and Software 99: 88–100. doi: 10.1016/j.envsoft.2017.09.018.
Klemm S, Jiang X, Risse B. . ‘Deep distance transform to segment visually indistinguishable merged objects.’ Contributed to the Proc. of 40th German Conference on Pattern Recognition (GCPR), Stuttgart.
Feldner B, Herber P. . ‘A Qualitative Evaluation of IPv6 for the Industrial Internet of Things.’ International Workshop on the Future of the Internet of Things (FIT 2018) 138. doi: 10.1016/j.procs.2018.07.195.
Moesus N, Scholze M, Schlesinger S, Herber P. . ‘Automated Selection of Software Refactorings that Improve Performance.’ In13th International Conference on Software Technologies (ICSOFT'18), 67–78.: SCITEPRESS.
Liebrenz T, Herber P, Glesner S. . ‘Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X.’ InInternational Conference on Formal Engineering Methods (ICFEM 2018, to appear).: Springer. doi: 10.1007/978-3-030-02450-5_6.
Pfeffer T, Herber P, Druschke L, Glesner S. . ‘Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language.’ InProceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018), Paris, France, 27-29 June 2018, 235–240.: IEEE Computer Society. doi: 10.1109/WETICE.2018.00052.
Mikulcak M, Herber P, Göthel T, Glesner S. . ‘Information Flow Analysis of Combined Simulink/Stateflow Models.’ InVSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018), 223–228.: IEEE Computer Society. doi: 10.1109/WETICE.2018.00050.
Schlesinger S, Herber P, Göthel T, Glesner S. . ‘Equivalence Checking for Hybrid Control Systems Modelled in Simulink.’ In2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 572–579.: IEEE. doi: 10.1109/QRS-C.2018.00101.
Sydow S, Nabelsee M, Parzyjegla H, Herber P. . ‘A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing.’ InParallel, Distributed and Network-based Processing (PDP), 2018 26th Euromicro International Conference on, 239–243.: Conference Publishing Services (CPS). doi: 10.1109/PDP2018.2018.00040.
Fekete S P, Li Q, Mitchell J S B, Scheffer C. . ‘Universal Guard Problems.’ Int. J. Comput. Geometry Appl. 28, Nr. 2: 129–160. doi: 10.1142/S0218195918600038.
Maheshwari A, Sack J, Scheffer C. . ‘Approximating the Integral Fréchet Distance.’ Comput. Geom. 70: 13–30.
Becker A T, Fekete S P, Keldenich P, Krupke D, Rieck C, Scheffer C, Schmidt A. . ‘Tilt Assembly: Algorithms for Micro-Factories that Build Objects with Uniform External Forces.’ Algorithmica 2018. doi: 10.1007/s00453-018-0483-9.
Gheibi A, Maheshwari A, Sack J, Scheffer C. . ‘Path Refinement in Weighted Regions.’ Algorithmica 80, Nr. 12: 3766–3802. doi: 10.1007/s00453-018-0414-9.
Fekete S P, Höveling S, Mitchell J S B, Rieck C, Scheffer C, Schmidt A, Zuber J R. . ‘Don't Rock the Boat: Algorithms for Balanced Dynamic Loading and Unloading.’ InProceedings of the 13th Latin American Symposium on Theoretical Informatics (LATIN), 448–460. doi: 10.1007/978-3-319-77404-6_33.
Becker A T, Fekete S P, Keldenich P, Lin L, Scheffer C. . ‘Coordinated Motion Planning: The Video.’ InProceedings of the 34th International Symposium on Computational Geometry (SoCG), 74:1–74:5.
Demaine E D, Fekete S P, Keldenich P, Scheffer C, Meijer H. . ‘Coordinated Motion Planning: Reconfiguring a Swarm of Labeled Robots with Bounded Stretch.’ InProceedings of the 34th International Symposium on Computational Geometry, (SoCG), 29:1–29:15.
Fekete S P, Gmyr R, Hugo S, Keldenich P, Scheffer C, Schmidt A. . ‘Cadbots: Algorithmic aspects of manipulating programmable matter with finite automata.’ Contributed to the In Proceedings of the 13th International Workshop on the Algorithmic Foundations of Robotics (WAFR), Mérida, Mexiko.
Abel Z, Alvarez V, Demaine E D, Fekete S P, Gour A, Hesterberg A, Keldenich P, Scheffer C. . ‘Conflict-Free Coloring of Graphs.’ SIAM J. Discrete Math. 32, Nr. 4: 2675–2702. doi: 10.1137/17M1146579.
Dürr, V.; Schilling, M. . ‘Transfer of Spatial Contact Information Among Limbs and the Notion of Peripersonal Space in Insects.’ Frontiers in Computational Neuroscience 12: 101. doi: 10.3389/fncom.2018.00101.
Schilling, M.; Melnik, A. . ‘An Approach to Hierarchical Deep Reinforcement Learning for a Decentralized Walking Control Architecture.’ InAdvances in Intel. Systems Computing, edited bySamsonovich, A., 272–282. Cham: Springer.
Kidziński Ł; Mohanty SP; Ong C; Huang Z; Zhou S; Pechenko A; Stelmaszczyk A; Jarosik P; Pavlov M; Kolesnikov S; Plis S; Chen Z; Zhang Z; Chen J; Shi J; Zheng Z; Yuan C; Lin Z; Michalewski H; Miłoś P; Osiński B; Melnik A; Schilling M; Ritter H; Carroll S; Hicks J; Levine S; Salathé M; Delp S. . ‘Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments.’ InThe NIPS 2017 Competition: Building Intelligent Systems, edited byEscalera, S.; Weimer, M., 121–154. Long Beach: Springer.
Schilling, M. . ‘Coding Challenge.’ InKompetent Prüfungen gestalten -- 53 Prüfungsformate für die Hochschullehre, edited byGerick J; Sommer A; Zimmermann G, 42–45. Münster: Waxmann.
Schilling, M; Cruse, H. . ‘Getting cognitive.’ InThe Neurocognition of Dance. Mind, movement and motor skills, edited byBläsing B; Puttke M; Schack T, 150–168. New York: Routledge.
Cruse, H; Schilling, M. . ‘Pattern Generation.’ InLiving Machines. A handbook of research in biomimetics and biohybrid systems, edited byPrescott, TJ; Lepora, N; Verschure, PF, 218–226. Oxford: Oxford University Press. doi: 10.1093/oso/9780199674923.003.0024.
Mo L, Xie L, Jiang X, Teng G, Xu L, Xiao J. . ‘GMDH-based hybrid model for container throughput forecasting: Selective combination forecasting in nonlinear subseries.’ Applied Soft Computing 62: 478–490.
Frohwein L, Hess M, Schlicher D, Bolwin K, Büther F, Jiang X, Schäfers K. . ‘PET attenuation correction for flexible MRI surface coils in hybrid PET/MRI using a 3D depth camera.’ Physics in Medicine and Biology 63, Nr. 2: 025033. doi: 10.1088/1361-6560/aa9e2f.
Nienkötter A, Jiang X. . ‘Consensus learning for sequence data.’ InData Mining in Time Series and Streaming Databases, edited byLast M, Bunke H, Kandel A, 69–91. World Scientific Publishing.
Xu L, Jiang X, Bai L, Xiao J, Luo B. . ‘A hybrid reproducing graph kernel based on information entropy.’ Pattern Recognition 73: 89–98.
Valenzuela D, Jiang X, Carrillo A, Rojas I. . ‘Multi-objective genetic algorithms to find most relevant volumes of the brain
related to Alzheimer's disease and mild cognitive impairment.’ International Journal of Neural Systems 28, Nr. 9: 1850022.
Scherzinger A, Hugenroth P, Rüder M, Bogdan S, Jiang X. . ‘Multi-class Cell Segmentation using CNNs with F1-measure Loss Function.’ Contributed to the Proc. of 40th German Conference on Pattern Recognition (GCPR), Stuttgart.
Berh Dimitri. . Behavioral Analysis of Crawling Model Organisms - From FIM Imaging to In-Vial Monitoring Dissertationsschrift, Universität Münster.
Bell T, Vahrenhold J. . ‘CS Unplugged—How Is It Used, and Does It Work?’ InAdventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday, edited byBöckenhauer HJ, Komm D, Unger W, 497–521. Cham: Springer VDI Verlag. doi: 10.1007/978-3-319-98355-4_29.
Chromik J, Remke A, Haverkort B. . ‘Bro in SCADA: dynamic intrusion detection policies based on a system model.’ In5th Int. Symp. for ICS & SCADA Cyber Security Research, 1–10.: BCS Learning & Development Ltd. doi: 10.14236/ewic/ICS2018.13.
Chromik J, Remke A, Haverkort B. . ‘An integrated testbad for locally monitoring SCADA systems in Smart grids.’ Energy Informatics 1, Nr. 65: 1–29. doi: 10.1186/s42162-018-0058-7.
Ristovski Gordan, Jawad Muhammad, K. Hahn Horst, Linsen Lars. . ‘Designing Ensembles for Uncertainty-aware Vessel Segmentations from MRI Data.’ InIn Proceedings of international conference on Computer Assisted Radiology and Surgery.
Molchanov V., Linsen L. . ‘Upsampling for Improved Multidimensional Attribute Space Clustering of Multifield Data.’ Information 9, Nr. 7. doi: 10.3390/info9070156.
Rosenthal P, Molchanov V, Linsen L. . ‘SmoothIsoPoints: Making PDE-based Surface Extraction from Point-based Volume Data Fast.’ InProceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP, 17–28.: SciTePress. doi: 10.5220/0006537200170028.
Molchanov V, Linsen L. . ‘Overcoming the Curse of Dimensionality When Clustering Multivariate Volume Data.’ InProceedings of the 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP, 29–39.: SciTePress. doi: 10.5220/0006541900290039.
Huesmann K, Valkov D, Linsen L. . ‘RealityAlert: Improving Users’ Physical Safety in Immersive Virtual Environments.’ InProceedings of 6th ACM Symposium on Spatial User Interaction (SUI 2018) - Demos.
Molchanov V, Linsen L. . ‘Generation of Implicit Flow Representations for Interactive Visual Exploration of Flow Fields.’ InFull Paper Proceedings of WSCG - 26th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2018, 20–29. doi: 10.24132/CSRN.2018.2801.3.
Pascale AM, Ruge S, Hauth S, Korda{ß} B, Linsen L. . ‘Testing occlusal performance by using chewing simulation with virtually designed substrate.’ International Journal of Computerized Dentistry 21, Nr. 1: 23–30.
Molchanov V, Linsen L. . ‘Shape-preserving Star Coordinates.’ IEEE Transactions on Visualization and Computer Graphics 2018: 1–1. doi: 10.1109/TVCG.2018.2865118.
Ristovski G, Jawad M, Hahn HK, Linsen L. . ‘Designing Ensembles for Uncertainty-aware Vessel Segmentations from {MRI} Data.’ InProceedings of international conference on Computer Assisted Radiology and Surgery.
Antonov A, Lohmann G, Ionita M, Dima M, Linsen L. . ‘Interactive Visual Exploration of Teleconnections in Atmospheric Datasets.’ InWorkshop on Visualisation in Environmental Sciences (EnvirVis), edited byRink K, Zeckzer D, Bujack R, Jänicke S.: The Eurographics Association. doi: 10.2312/envirvis.20181131.
Sheharyar A, Ruh A, Aristova M, Scott M, Jarvis K, Elbaz M, Dolan R, Schnell S, Lin K, Carr J, Markl M, Bouhali O, Linsen L. . ‘Visual Analysis of Regional Anomalies in Myocardial Motion.’ InEurographics Workshop on Visual Computing for Biology and Medicine, edited byPuig Puig A, Schultz T, Vilanova A, Hotz I, Kozlikova B, Vázquez P.: The Eurographics Association. doi: 10.2312/vcbm.20181239.
Molchanov V., Linsen L. . ‘Generation of Implicit Flow Representations for Interactive Visual Exploration of Flow Fields.’ Contributed to the WSCG, Pilsen, Czech Republic. doi: 10.24132/CSRN.2018.2801.3.
Humernbrum T, Ahlbrand C, Gorlatch S. . ‘Towards Simulating the Communication Behavior of Real-Time Interactive Applications.’ Contributed to the 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM PADS'17), Singapore. doi: 10.1145/3064911.3064931.
Riemenschneider M, Herbst A, Rasch A, Gorlatch S, Heider D. . ‘eccCL: Parallelized GPU Implementation of Ensemble Classifier Chains.’ BMC Bioinformatics 2017. doi: 10.1186/s12859-017-1783-9.
Rasch A, Gorlatch S. . ‘Multi-Dimensional Homomorphisms and Their Implementation in OpenCL.’ International Journal of Parallel Programming 2017: 1–19. doi: 10.1007/s10766-017-0508-z.
Kholod I, Shorov A, Gorlatch S. . ‘A Functional Approach to Parallelizing Data Mining Algorithms in Java.’ InLecture Notes in Computer Science (LNCS, volume 10421), edited byMalyshkin V., 459–472. Cham: Springer. doi: 10.1007/978-3-319-62932-2_44.
Borisenko A, Gorlatch S. . ‘Parallelizing Metaheuristics for Optimal Design of Multiproduct Batch Plants on GPU.’ InLecture Notes in Computer Science (LNCS, volume 10421), edited byMalyshkin V., 405–417. Cham: Springer. doi: 10.1007/978-3-319-62932-2_39.
Haidl M, Gorlatch S. . ‘High-Level Programming for Many-Cores using C++14 and the STL.’ International Journal of Parallel Programming 2017. doi: 10.1007/s10766-017-0497-y.
Garanina Natalia, Sidorova Elena, Kononenko Irina, Gorlatch Sergei. . ‘Using Multiple Semantic Measures for Coreference Resolution in Ontology Population.’ International Journal of Computing 16 (3): 166–176.
Hägerling R, Drees D, Scherzinger A, Dierkes C, Martin-Almedina S, Butz S, Gordon K, Schäfers M, Hinrichs K, Ostergaard P, Vestweber D, Goerge T, Mansour S, Jiang X, Mortimer P, Kiefer F. . ‘VIPAR, a quantitative approach to 3D-histopathology applied to lymphatic malformations.’ JCI Insight 2, Nr. 16: e93424.
Scherzinger Aaron, Brix Tobias, Drees Dominik, Völker Andreas, Radkov Kiril, Santalidis Niko, Fieguth Alexander, Hinrichs Klaus H. . ‘Interactive Exploration of Cosmological Dark-Matter Simulation Data.’ IEEE Computer Graphics and Applications 37, Nr. 2: 80–89.
Scherzinger Aaron, Brix Tobias, Hinrichs Klaus. . ‘An Efficient Geometric Algorithm for Clipping and Capping Solid Triangle Meshes.’ Contributed to the 12th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 1: GRAPP, Porto, Portugal.
Bian A, Scherzinger A, Jiang X. . ‘An enhanced multi-label random walk for biomedical image segmentation using statistical seed generation.’ Contributed to the Proc. of 18th Int. Confernce on Advanced Concepts for Intelligent Vision Systems (ACIVS), Antwerp, Belgium.
Scherzinger A, Klemm S, Berh D, Jiang X. . ‘CNN-based background subtraction for long-term in-vial FIM imaging.’ Contributed to the Proc. of 17th Int. Conf. on Computer Analysis of Images and Patterns (CAIP), Ystad, Sweden.
Seifert R, Scherzinger A, Kiefer F, Hermann S, Jiang X, Schäfers M. . ‘Statistical permutation-based artery mapping (SPAM): A novel approach to evaluate imaging signals in the vessel wall.’ BMC Medical Imaging 17, Nr. 1: 36:1–36:11.
Drees D, Scherzinger A, Jiang X. . ‘GERoMe - A novel graph extraction robustness measure.’ Contributed to the Proc. of Int. Workshop on Graph-Based Representations in Pattern Recognition (GbR), Anacapri, Italy.
Almeida-Carvalho MJ, Berh D, ......, Jiang X, ......, Risse B, ......, Zlatic M. . ‘The Ol1mpiad: Concordance of behavioural faculties of stage 1 and stage 3 Drosophila larvae.’ Journal of Experimental Biology 220: 2452–2475. doi: 10.1242/jeb.156646.
Risse B, Berh D, Otto N, Klämbt C, Jiang X. . ‘FIMTrack: An open source tracking and locomotion analysis software for small animals.’ PLoS Computational Biology 13, Nr. 5: e1005530. doi: 10.1371/journal.pcbi.1005530.
Berh D, Risse B, Michels T, Otto N, Jiang X, Klämbt C. . ‘A FIM-based long-term in-vial monitoring system for Drosophila larvae.’ IEEE Transactions on Biomedical Engineering 64, Nr. 8: 1862–1874.
Risse B, Mangan M, Del Pero L, Webb B. . ‘Visual Tracking of Small Animals in Cluttered Natural Environments Using a Freely Moving Camera.’ International Conference on Computer Vision (ICCV), Workshop on Visual Wildlife Monitoring, Venice, Italy 2017: 2840–2849.
Mikulcak M, Herber P, Göthel T, Glesner S. . ‘Timed Path Conditions in MATLAB/Simulink.’ InSystem Level Design from HW/SW to Memory for Embedded Systems. Springer., 64–76.: Springer.
Jaß L, Herber P. . ‘Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving.’ InSystem Level Design from HW/SW to Memory for Embedded Systems, 51–63.: Springer.
Fellmuth J, Herber P, Pfeffer TF, Glesner S. . ‘Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity.’ InDependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence & Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), 2017 IEEE 15th Intl, 454–461.: IEEE. doi: 10.1109/DASC-PICom-DataCom-CyberSciTec.2017.88.
Liebrenz T, Herber P, Göthel T, Glesner S. . ‘Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink.’ InComputer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual, 469–474.: IEEE. doi: 10.1109/COMPSAC.2017.251.
Liebrenz T, Klös V, Herber P. . ‘Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC.’ ACM SIGAda Ada Letters 36, Nr. 2: 9–17. doi: 10.1145/3092893.3092895.
Fekete SP, Rieck C, Scheffer C. . ‘On the Traveling Salesman Problem in Solid Grid Graphs.’ InProceedings of the 33rd European Workshop on Computational Geometry (Euro{CG}), 53–56.
Fekete SP, Reinhardt J, Scheffer C. . ‘An Efficient Data Structure for Dynamic Two-Dimensional Reconfiguration.’ Journal of Systems Architecture - Embedded Systems Design 75: 15–25.
Demaine E D, Fekete S P, Scheffer C, Schmidt A. . ‘New Geometric Algorithms for Fully Connected Staged Self-Assembly.’ Theor. Comput. Sci. 671: 4–18. doi: 10.1016/j.tcs.2016.11.020.
Dörflinger A, Fekete SP, Fiethe B, Keldenich P, Michalik H, Scheffer C. . ‘Resource-Efficient Dynamic Partial Reconfiguration on FPGAs for Space Instruments.’ InProceedings of NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 24–31.
Becker A T, Fekete S P, Keldenich P, Krupke D, Rieck C, Scheffer C, Schmidt A. . ‘Tilt Assembly: Algorithms for Micro-Factories that Build Objects with Uniform External Forces.’ InProceedings of the 28th International Symposium on Algorithms and Computation (ISAAC), 11:1–11:13.
Fekete S P, Morr S, Scheffer C. . ‘Split Packing: Packing Circles into Triangles with Optimal Worst-Case Density.’ InProceedings of the 15th International Symposium on Algorithms and Data Structures (WADS), 373–384. doi: 10.1007/978-3-319-62127-2_32.
Abel Z, Alvarez V, Demaine E D, Fekete S P, Gour A, Hesterberg A, Keldenich P, Scheffer C. . ‘Three Colors Suffice: Conflict-Free Coloring of Planar Graphs.’ InProceedings of the 28th ACM-SIAM Symposium on Discrete Algorithms (SODA), 1951–1963. doi: 10.1137/1.9781611974782.127.
Schilling, M.; Cruse, H. . ‘ReaCog, a Minimal Cognitive Controller Based on Recruitment of Reactive Systems.’ Frontiers in Neurorobotics 11: 3. doi: 10.3389/fnbot.2017.00003.
Schilling, M. . ‘Old Actions in Novel Contexts - a Cognitive Architecture for Safe Explorative Action Selection.’ InProceedings of the Artificial Intelligence and Simulation of Behaviour Conference (AISB 2017), edited byBryson, J. et al., 286–292. Red Hook, NY: Curran Associates.
Xiao J, Cao HW, Jiang X, Gu X, Xie L. . ‘GMDH-based semi-supervised feature selection for customer classification.’ Knowledge-Based Systems 132: 236–248.
Broelemann K, Jiang X, Mukherjee S, Chowdhury AS. . ‘Variants of k-regular nearest neighbor graph and their construction.’ Information Processing Letters 126: 18–23.
Tenbrinck D, Jiang X. . ‘Image segmentation with physical noise models.’ InBiomedical Image Segmentation: Advances and Trends, edited byEl-Baz A, Jiang X, Suri JS, 461–484. CRC Press.
Moreno CFG, Serratosa F, Jiang X. . ‘An edit distance between graph correspondences.’ Contributed to the Proc. of Int. Workshop on Graph-Based Representations in Pattern Recognition (GbR), Anacapri.
Ungru K, Jiang X. . ‘Dynamic programming based segmentation in biomedical imaging.’ Computational and Structural Biotechnology Journal 15: 255–264.
Bian A, Jiang X. . ‘T-Test based adaptive random walk segmentation under multiplicative speckle
noise model.’ Contributed to the Proc. of ACCV-Workshops, Taipei, Taiwan.
Risse B, Otto N, Berh D, Jiang X, Kiel M, Klämbt C. . ‘FIM2c: A multi-colour, multi-purpose imaging system to manipulate and analyse animal behaviour.’ IEEE Transactions on Biomedical Engineering 64, Nr. 3: 610–620.
Roters J, Jiang X. . ‘FestGPU: A framework for fast robust estimation on GPU.’ Journal of Real-Time Image Processing 13, Nr. 4: 759–772.
Vahrenhold J, Lorenz R, Eickelmann B. . „Vermittlung informatischer Grundbildung im Unterricht der Sekundarstufe I im Bundesländervergleich.“ In Schule digital - der Länderindikator 2017. Schulische Medienbildung in der Sekundarstufe I mit besonderem Fokus auf MINT-Fächer im Bundesländervergleich und Trends von 2015 bis 2017, herausgegeben von Lorenz R, Bos W, Endberg M, Eickelmann B, Grafe S, Vahrenhold J, 205–230. Münster: Waxmann.
Danielsiek H, Hubwieser P, Krugel J, Magenheim J, Ohrndorf L, Ossenschmidt D, Schaper N, Vahrenhold J. . „Kompetenzbasierte Gestaltungsempfehlungen für Informatik-Tutorenschulungen.“ In INFORMATIK 2017, herausgegeben von Eibl M, Gaedke M, 241–254. Bonn: Gesellschaft für Informatik. doi: 10.18420/in2017_18.
Pilch Carina, Remke Anne. . ‘Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.’ Contributed to the 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, USA, 26-29 June, 2017, Denver, USA. doi: 10.1109/DSN.2017.41.
Pilch Carina. . ‘Student research paper: Evaluation of the dependability of critical infrastructures using hybrid Petri nets with random variables and stochastic simulation.’ Contributed to the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, USA, 26-29 June, 2017, Denver, USA. doi: 10.1109/DSN-W.2017.21.
Ngo Q. Q., Hütt M, Linsen L. „Visual Analytics of Global Parameters in Simulation Ensembles of
ODE-based Excitable Network Dynamics.“ contributed to the EuroVis 2017 Poster Proceedings, Barcelona, Spain, .
Matute J, Linsen L. „Visual Stratification for Epidemiological Analysis.“ contributed to the EuroVis 2017 Poster Proceedings, Barcelona, Spain, .
Ristovski G, Hahn H, Linsen L. „Uncertainty Visualization of Stenotic Regions in Vascular Structures.“ contributed to the EuroVis 2017 Poster Proceedings, Barcelona, Spain, .
Ivanovska T, Herzog S, Matute J, Ciet P, Linsen L, Duijts L, Tiddens H, Völzke H, Peters A, Wörgötter F. . ‘Potential of Epidemiological Imaging for Image Analysis and Visualization Applications: A Brief Review.’ InIn Proceedings of 4th Int.Conf. on Mathematics and Computers in Sciences and Industry (MCSI 2017).
Linsen L, Telea A, Braz J (Eds.): . Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 3: IVAPP. : SciTePress.
Ristovski G, Matute J, Wehrum T, Harloff A, Hahn H, Linsen L. . ‘Uncertainty visualization for interactive assessment of stenotic regions in vascular structures.’ Computers & Graphics 69: 116–130.
Gerrits T, Rössl C, Theisel H. . ‘Glyphs for Space-Time Jacobians of Time-Dependent Vector Fields.’ Journal of WSCG 25, Nr. 1: 31–38.
Gerrits T, Rössl C, Theisel H. . ‘Glyphs for General Second-Order 2D and 3D Tensors.’ IEEE Transactions on Visualization and Computer Graphics (Proc. IEEE Scientific Visualization 2016) 23, Nr. 1: 980–989. doi: 10.1109/TVCG.2016.2598998.
Haidl M, Steuwer M, Humernbrum T, Gorlatch S. . ‘Multi-Stage Programming for GPUs in Modern C++ using PACXX.’ Contributed to the The 9th Annual Workshop on General Purpose Processing Using Graphics Processing Unit, GPGPU '16, Barcelona, Spain. doi: 10.1145/2884045.2884049.
Meiländer D, Gorlatch S. . ‘Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.’ Contributed to the International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, Chicago, USA.
Meiländer D, Gorlatch S. . ‘Efficient Development and Execution of Adaptable Online Games on Clouds.’ Emerging Technologies and Applications for Cloud-Based Gaming 2016.
Borisenko A, Haidl M, Gorlatch S. . ‘A GPU parallelization of branch-and-bound for multiproduct batch plants optimization.’ The Journal of Supercomputing 72: 1–13. doi: 10.1007/s11227-016-1784-x.
Humernbrum Tim, Hagedorn Bastian, Gorlatch Sergei. . ‘Towards Efficient Multicast Communication in Software-Defined Networks.’ In2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), edited byIEEE, 106–113. Nara: Wiley-IEEE Press. doi: 10.1109/ICDCSW.2016.15.
Scherzinger A, Kleene F, Dierkes C, Kiefer F, Hinrichs KH, Jiang X. . ‘Automated Segmentation of Immunostained Cell Nuclei in 3D Ultramicroscopy Images.’ Contributed to the Proc. of 38th German Conference on Pattern Recognition (GCPR), Hannover, Germany.
Otto N, Risse B, Berh D, Bittern J, Jiang X, Klämbt C. . ‘Interactions among Drosophila larvae before and during collision.’ Scientific Reports 11, Nr. 6: 31564. doi: 10.1038/srep31564.
Risse B, Mangan M, Webb B. „Tracking, Mapping and Reconstruction. Modelling the Visual Perception of Desert Ants.“ contributed to the Animal Movement International Symposium, Lund, Sweden, .
Risse B, Mangan M, Webb B. „Habitat3D: Recreating the History of Visual Experience of Individual Insects.“ contributed to the International Congress of Neuroethology, Montevideo, Uruguay, .
Risse B, Mangan M, Del Pero L, Webb B. „HabiTracks: Visual Tracking of Insects in Their Natural Habitat.“ contributed to the International Congress of Neuroethology, Montevideo, Uruguay, .
Risse B, Otto N, Berh D, Jiang X, Kiel M, Klämbt C. . ‘FIM2c : A Multi-Colour, Multi-Purpose Imaging System to Manipulate and Analyse Animal Behaviour.’ IEEE Transactions on Biomedical Engineering 64: 1–1.
Schlesinger S, Herber P, Göthel T, Glesner S. . ‘Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.’ InInternational Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, 71–86.: IARIA.
Schlesinger S, Herber P, Göthel T, Glesner S. . ‘Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models.’ InICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications., 45–50.
Herber P, Klös V. . ‘A Multi-Robot Search Using LEGO Mindstorms -- An Embedded Software Design Project.’ ACM SIGBED Review, Special Issue on Embedded and Cyber-Physical Systems Education 14, Nr. 1.
Pfeffer TF, Sydow S, Fellmuth J, Herber P. . ‘Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking.’ InSoftware Quality, Reliability and Security (QRS), 2016 IEEE International Conference on, 230–241. doi: 10.1109/QRS.2016.35.
Mikulcak M, Göthel T, Herber P, Glesner S. . ‘Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.’ Contributed to the Informatik 2016, Klagenfurt, Austria.
Fekete S, Mitchell JSB, Li Q, Scheffer C. . ‘Universal Guards: Guarding All Polygonalizations of a Point Set in the Plane.’ InProceedings of the fifth Young Researchers Forum ({YRF}), 7–8.
Fekete S, Reinhardt J, Scheffer C. . ‘An Efficient Data Structure for Dynamic Two-Dimensional Reconfiguration.’ InProceedings of 29th International Conference on Architecture of Computing Systems (ARCS), 306–318. doi: 10.1007/978-3-319-30695-7_23.
Maheshwari A, Sack J, Scheffer C. . ‘Approximating the Integral Fréchet Distance.’ InProceedings of the 15th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT), 26:1–26:14.
Fekete SP, Li Q, Mitchell JSB, Scheffer C. . ‘Universal Guard Problems.’ InProceedings of the 27th International Symposium on Algorithms and Computation (ISAAC), 32:1–32:13.
Scheffer C. . ‘More Flexible Curve Matching via the Partial Fréchet Similarity.’ Int. J. Comput. Geometry Appl. 26, Nr. 1: 33–52.
Scheffer C. . ‘Near-Linear Time Medial Axis Approximation of Smooth Curves in R^3.’ JoCG 7, Nr. 1: 360–429.
Paskarbeit, J.; Otto, M.; Schilling, M.; Schneider, A. . ‘Stick(y) Insects — Evaluation of Static Stability for Bio-inspired Leg Coordination in Robotics.’ InProceedings of the 5th International Conference on Living Machines, edited byLepora, N.F.; Mura, A.; Mangan, M.; Verschure, P.; Desmulliez, M.; Prescott, T.J., 239–250. Cham: Springer International Publishing. doi: 10.1007/978-3-319-42417-0_22.
Schilling, M.; Cruse, H. . ‘Avoid the hard problem: Employment of mental simulation for prediction is already a crucial step.’ Proceedings of the National Academy of Sciences of the United States of America 113, Nr. 27: E3811. doi: 10.1073/pnas.1607146113.
Schilling, M; Kopp, S; Wachsmuth, S; Wrede, B; Ritter, H; Brox, T; Nebel, B; Burgard, W. . ‘Towards A Multidimensional Perspective on Shared Autonomy.’ InProceedings of the AAAI Fall Symposium Series 2016, Stanford (USA), edited by/, 338–344. Stanford: AAAI Press.
Cruse, H; Schilling, M. . ‘Mental states as emergent properties. From walking to consciousness.’ InOpen Mind, Philosophy and the Mind Sciences in the 21st Century. Vol 1, edited byMetzinger, T; Windt, JM, 349–386. Cambridge: MIT Press.
Lücking, P; Rohlfing, K; Wrede, B; Schilling, M. . ‘Preschoolers' engagement in social interaction with an autonomous robotic system.’ In2016 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics (ICDL-EpiRob), edited by/, 210–216. Paris: IEEE Press. doi: 10.1109/devlrn.2016.7846821.
Nomikou, I.; Schilling, M.; Heller, V. Rohlfing, K. J. . ‘Language at all times. Action interaction as contexts for enriching representations.’ Interaction Studies 17, Nr. 1: 128–153.
Schilling, M. . ‘Lose a leg but not your head – a cognitive extension of a biologically-inspired walking architecture.’ Procedia Computer Science 88: 102–106.
Nienkötter A, Jiang X. . ‘Distance-preserving vector space embedding for the closest string problem.’ Contributed to the Proc. of 23rd Int. Conf. on Pattern Recognition (ICPR), Cancun, Mexico. doi: 10.1109/ICPR.2016.7899854.
Nienkötter A, Jiang X. . ‘Improved prototype embedding based generalized median computation by means of refined reconstruction methods.’ Contributed to the Proc. of Joint IAPR Int. Workshop on Structural, Syntactic, and Statistical Pattern Recognition (S+SSPR), Merida, Mexico.
Wiesemann T, Jiang X. . ‘Fog augmentation of road images for performance analysis of traffic sign detection algorithms.’ Contributed to the Proc. of 17th Int. Confernce on Advanced Concepts for Intelligent Vision Systems (ACIVS), Lecce, Italy.
Bian A, Jiang X. . ‘Statistical modeling based adaptive parameter setting for random walk segmentation.’ Contributed to the Proc. of 17th Int. Confernce on Advanced Concepts for Intelligent Vision Systems (ACIVS), Lecce, Italy.
Siegert Y, Jiang X, Krieg V, Bartholomäus S. . ‘Classification-based record linkage with pseudonymized data for epidemiological cancer registries.’ IEEE Transactions on Multimedia 18, Nr. 10: 1929–1941.
Xiao J, Jiang X, He C, Teng G. . ‘Churn prediction in customer relationship management via GMDH-based multiple classifiers ensemble.’ IEEE Intelligent Systems 31, Nr. 2: 37–44.
Teng G, He C, Xiao J, He Y, Zhu B, Jiang X. . ‘Cluster ensemble framework based on the group method of data handling.’ Applied Soft Computing 43: 35–46.
Broelemann K, Jiang X, Schwering A. . ‘Automatic understanding of sketch maps using context-aware classification.’ Expert Systems with Applications 45: 195–207.
El-Baz A, Jiang X, Suri JS (Eds.): . Biomedical Image Segmentation: Advances and Trends. : CRC Press.
Caspersen ME, Fisler K, Vahrenhold J. . Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072) Dagstuhl Reports, Nr. 6(2), . doi: 10.4230/DagRep.6.2.78.
Vahrenhold, Jan; Barendsen, Erik (Eds.): . Proceedings of the 11th Workshop in Primary and Secondary Computing Education, WiPSCE 2016, Münster, Germany, October 13-15, 2016. New York, NY: Association for Computing Machinery. doi: 10.1145/2978249.
Scheffer C, Vahrenhold J. . ‘Approximate Shortest Distances Among Smooth Obstacles in 3D.’ InProceedings of the 27th International Symposium on Algorithms and Computation, edited byHong S-H, 60:1–60:13.: Dagstuhl Publishing. doi: 10.4230/LIPIcs.ISAAC.2016.60.
Blunck H, Bhattacharya S, Stisen A, Prentow TS, Kjærgaard MB, Dey A, Jensen MM, Sonne T. . ‘ACTIVITY RECOGNITION ON SMART DEVICES: Dealing with diversity in the wild.’ GetMobile: Mobile Computing and Communications 20, Nr. 1: 34–38. doi: 10.1145/2972413.2972425.
Stisen A, Mathisen A, Blunck H, Kjærgaard MB, Prentow TS, Mathisen A, Sørensen S. . ‘Task phase recognition for highly mobile workers in large building complexes.’ In2016 IEEE International Conference on Pervasive Computing and Communications (PerCom), 1–9.: IEEE. doi: 10.1109/PERCOM.2016.7456504.
Linsen L., Hamann B., Hege H. . ‘Preface.’InVisualization in Medicine and Life Sciences III, edited byLinsen L., Hamann B., Hege H., V–Vi. Springer VDI Verlag.
Ristovski G, Garbers N, Hahn H, Preusser T, Linsen L. „Capturing and Visualizing Uncertainty in Liver Ablation.“ contributed to the IEEE VIS Poster Proceedings, Baltimore, 2016, .
Matute J, Linsen L. „Visual Analysis of Mixed Numerical and Categorical Data in Cohort Studies.“ contributed to the IEEE VIS Poster Proceedings, Baltimore, USA, .
Fofonov A, Linsen L. „MultiVISA: A Visual Analysis System for Simulation Data.“ contributed to the Abstract Proceedings of Workshop on ’East Siberian Shelf: observations, data analysis, modelling efforts, Bremerhaven, Germany, .
Sheharyar A, Chitiboi T, Keller E, Rahman O, Schnell S, Markl M, Bouhali O, Linsen L. . ‘Spatio-temporal Visualization of Regional Myocardial Velocities.’ InEurographics Workshop on Visual Computing for Biology and Medicine, edited byBruckner S, Preim B, Vilanova A, Hauser H, Hennemuth A, Lundervold A.: The Eurographics Association. doi: 10.2312/vcbm.20161275.
Fofonov A., Molchanov V., Linsen L. . ‘Visual Analysis of Multi-run Spatio-temporal Simulations Using Isocontour Similarity for Projected Views.’ IEEE Transactions on Visualization and Computer Graphics 22, Nr. 8: 2037–2050.
Toral S, Dobre C, Dorronsoro B, Günes M, Reina DG. . ‘Computational Intelligence in Wireless Sensor and Ad Hoc Networks.’ International Journal of Distributed Sensor Networks 2016: 2. doi: 10.1155/2016/7049593.
Chen B, Günes M, Huang Y. . ‘CoAP Option for Capability-Based Access Control for IoT-Applications.’ InInternational Conference on Internet of Things and Big Data. Rome, Italy: IEEE. doi: 10.5220/0005950902660274.
Nies TD, Beecks C, Godin F, Neve WD, Stepien G, Arndt D, Vocht LD, Verborgh R, Seidl T, Mannens E, Walle RV. . ‘Normalized Semantic Web Distance.’InThe Semantic Web. Latest Advances and New Domains - 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Proceedings, edited bySack H, Blomqvist E, d'Aquin M, Ghidini C, Ponzetto SP, Lange C, 69–84.: Springer. doi: 10.1007/978-3-319-34129-3_5.
Beecks C, Uysal MS, Seidl T. . ‘Distance-based Multimedia Indexing.’InProceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016., edited byPitoura E, Maabout S, Koutrika G, Marian A, Tanca L, Manolescu I, Stefanidis K, 722–723.: OpenProceedings.org. doi: 10.5441/002/edbt.2016.105.
Uysal MS, Beecks C, Sabinasz D, Schmücking J, Seidl T. . ‘Efficient Query Processing using the Earth's Mover Distance in Video Databases.’InProceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016., edited byPitoura E, Maabout S, Koutrika G, Marian A, Tanca L, Manolescu I, Stefanidis K, 389–400.: OpenProceedings.org. doi: 10.5441/002/edbt.2016.36.
Bolte B., Lappe M. (2015). . ‘Subliminal reorientation and reposition in immersive virtual environments using saccadic suppression. Proceedings of the IEEE Conference on Virtual Reality, IEEE-VR, in press.’ IEEE Conference on Virtual Reality, IEEE-VR 2015.
Steuwer, Michel. . Improving Programmability and Performance Portability on Many-Core Processors Dissertationsschrift, University of Münster.
Stahl Florian, Godde Adrian, Hagedorn Bastian, Köpcke Bastian, Rehberger Martin, Vossen Gottfried. . ‘High Quality Information Delivery: Demonstrating the Web in Your Pocket for Cineast Tourists.’ Contributed to the BTW 2015, Hamburg, Deutschland.
Humernbrum Tim, Delker Stefan, Glinka Frank, Schamel Folker, Gorlatch Sergei. . ‘RTF+Shark: Using Software-Defined Networks for Multiplayer Online Games.’ Contributed to the 14th IEEE/ACM International Workshop on Network and Systems Support for Games (NetGames) 2015, Zagreb.
Choksuchat C, Chantrapornchai C, Haidl M, Gorlatch S. . ‘Accelerating Keyword Search for Large RDF Data on Many-Core Systems.’ Contributed to the The 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, Naples, Italy.
Borisenko A, Haidl M, Gorlatch S. . ‘Parallelizing Branch-and-Bound on GPUs for Optimization of Multiproduct Batch Plants.’ InParallel Computing Technologies, edited bySpringer, 324–337. Cham: Springer. doi: 10.1007/978-3-319-21909-7_33.
Gorlatch Sergei, Humernbrum Tim. . ‘Enabling High-Level QoS Metrics for Interactive Online Applications Using SDN.’ Contributed to the International Conference on Computing, Networking and Communications (ICNC'15), Anaheim.
Brix Tobias, Scherzinger Aaron, Völker Andreas, Hinrichs Klaus. . ‘Interactive Position-dependent Customization of Transfer Function Classification Parameters in Volume Rendering.’ Contributed to the Eurographics Workshop on Visual Computing for Biology and Medicine, VCBM 2015, Chester, England.
Schlesinger S, Herber P, Göthel T, Glesner S. . ‘Towards the verification of refactorings of hybrid Simulink models.’ InProceedings of 3rd International Workshop on Verification and Program Transformation, EPTCS, 69.
Herber P, Glesner S. . ‘Verification of Embedded Real-time Systems.’ InFormal Modeling and Verification of Cyber-Physical Systems, edited byDrechsler R., Kühne U., 1–25. Springer Vieweg. doi: 10.1007/978-3-658-09994-7_1.
Herber P, Pockrandt M, Glesner S. . ‘STATE--A SystemC to Timed Automata Transformation Engine.’ InHigh Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), 2015 IEEE 17th International Conference on, 1074–1077. doi: 10.1109/HPCC-CSS-ICESS.2015.188.
Scheffer C, Vahrenhold J. . ‘Subquadratic Medial-Axis Approximation in R^3.’ Journal of Computational Geometry 6, Nr. 1: 249–287. doi: 10.20382/jocg.v6i1a11.
Demaine E D, Fekete S, Scheffer C, Schmidt A. . ‘New Geometric Algorithms for Fully Connected Staged Self-Assembly.’ InProceedings of 21st International Conference on Computing and Molecular Programming (DNA), 104–116.
Paskarbeit, J; Schilling, M; Schmitz, J; Schneider, A. . ‘Obstacle crossing of a real, compliant robot based on local evasion movements and averaging of stance heights using singular value decomposition.’ InProceedings IEEE International Conference on Robotics and Automation (ICRA), edited by/, 3140–3145. Seattle: IEEE Press. doi: 10.1109/ICRA.2015.7139631.
Hoinville, T; Schilling, M; Cruse, H. . ‘Control of rhythmic behavior: Central and Peripheral Influences to pattern Generation.’ InICRA 2015 CPG Workshop : CPGs for Locomotion Control: Pros, Cons & Alternatives, edited by/, 1–3. Seattle: IEEE Press.
Baum, M; Meier, M; Schilling, M. . ‘Population based Mean of Multiple Computations networks: A building block for kinematic models.’ In2015 International Joint Conference on Neural Networks (IJCNN), edited by/, 3616–3623. Killarney: IEEE Press. doi: 10.1109/ijcnn.2015.7280791.
Priesters, M; Schilling, M; Kopp, S. . ‘Towards a layered framework for embodied language processing in situated human-robot interaction.’ InProceedings of the 19th Workshop on the Semantics and Pragmatics of Dialogue, edited byHowes, C; Larsson, S, 206–207. Gothenburg: University of Gothenburg.
Cruse, H; Schilling, M. . The Bottom-Up Approach: Benefits and Limits : MIND Group. doi: 10.15502/9783958570931.
Z. Wu, X. Jiang, N. Zheng, Y. Liu, and D. Cheng. . ‘Exact solution to median surface problem using 3D graph search and application to parameter space exploration.’ Pattern Recognition 48, Nr. 2: 380–390.
T. Chakraborti, D.K. Jha, A.S. Chowdhury, X. Jiang. . ‘A self-adaptive matched filter for retinal blood vessel detection.’ Machine Vision and Applications 26, Nr. 1: 68. doi: 10.1007/s00138-014-0636-z.
V.N. Gangapure, S. Nanda, A.S. Chowdhury, X. Jiang. . ‘Causal video segmentation using superseeds and graph matching.’ Contributed to the IAPR International Workshop on Graph-based Representations in Pattern Recognition, Beijing.
V. Carletti, P. Foggia, M. Vento, X. Jiang. . ‘Report on the first contest on graph matching algorithms for pattern search in biological databases.’ Contributed to the IAPR International Workshop on Graph-based Representations in Pattern Recognition, Beijing.
X. Jiang, G. Percannella, M. Vento. . ‘A verification-based multithreshold probing approach to HEp-2 cell segmentation.’ Contributed to the CAIP, Malta.
S. Schmid, X. Jiang, K. Schäfers. . ‘Puzzle approach to pose tracking of a rigid object in a multi camera system.’ Contributed to the CAIP, Malta.
T. Araki, N. Ikeda, N. Dey, S. Chakraborty, L. Saba, D. Kumar, E.C. Godia, X. Jiang,
A. Gupta, P. Radeva, J.R. Laird, A. Nicolaides, J.S. Suri. . ‘A comparative approach of four different image registration techniques for quantitative assessment of coronary artery calcium lesions using intravascular ultrasound.’ Computer Methods and Programs in Biomedicine 118, Nr. 2: 158–172.
Z. Wu, X. Jiang, N. Zheng, D. Cheng. . ‘Efficient block-wise temporally consistent contour extraction in image sequences.’ Neurocomputing 152: 127–138.
B. Zhu, C. He, X. Jiang. . ‘Customer choice prediction based on transfer learning.’ Journal of the Operational Research Society 66, Nr. 6: 1044–1051.
B. Risse, D. Berh, N. Otto, X. Jiang, C. Klämbt. . ‘Quantifying subtle locomotion phenotypes of drosophila larvae using internal structures based on FIM images.’ Computers in Biology and Medicine 63: 269–276.
B. Zhu, C. He, X. Jiang. . ‘A consistency-based validation for data clustering.’ Intelligent Data Analysis 19, Nr. 3: 471–484.
J. Seebach, A.A. Taha, J. Lenk, N. Lindemann, X. Jiang , K. Brinkmann, S. Bogdan,
and H.-J. Schnittler. . ‘The CellBorderTracker, a novel tool to quantitatively analyse spatiotemporal endothelial junction dynamics at the subcellular level.’ Histochemistry and Cell Biology 144, Nr. 6: 517–532.
M. Schmeing, X. Jiang. . ‘Faithful disocclusion filling in depth image based rendering using superpixel-based inpainting.’ IEEE Transactions on Multimedia 17, Nr. 12: 2160–2173.
Benjamin Risse. . FIM Imaging and the Analysis of Drosophila Locomotion Dissertationsschrift, Universität Münster.
D. Tenbrinck, X. Jiang. . ‘Image Segmentation with Arbitrary Noise Models by Solving Minimal Surface Problems.’ Pattern Recognition 48, Nr. 11: 2393–3309. doi: 10.1016/j.patcog.2015.01.006.
Klemm S, Andreu Y, Henriquez P, Matuszewski B. . ‘Robust Face Recognition using Key-point Descriptors.’ InVISAPP 2015 - Proceedings of the 10th International Conference on Computer Vision Theory and Applications, Volume 2, Berlin, Germany, 11-14 March, 2015, edited byBraz José, Battiato Sebastiano, Imai Francisco H., 447–454.: SciTePress.
Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander. . ‘Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis.’ InLogic-Based Program Synthesis and Transformation, edited byFalaschi Moreno.: Springer International Publishing. doi: 10.1007/978-3-319-27436-2_12.
Arzt Steven, Bartel Alexandre, Gay Richard, Lortz Steffen, Lovat Enrico, Mantel Heiko, Mohr Martin, Nordhoff Benedikt, Perner Matthias, Rasthofer Siegfried, Schneider David, Snelting Gregor, Starostin Artem, Weber Alexandra. „Software Security for Mobile Devices.“ contributed to the 36th IEEE Symposium on Security and Privacy, San Jose, CA, USA, .
Vahrenhold J. . ‘B-Trees.’ InEncyclopedia of Algorithms, edited byKao M-Y, 1–8. 2. Aufl. New York: Springer Science+Business Media. doi: 10.1007/978-3-642-27848-8_57-2.
Gal-Ezer, Judith; Sentance, Sue; Vahrenhold, Jan (Eds.): . Proceedings of the Workshop in Primary and Secondary Computing Education, WiPSCE 2015, London, United Kingdom, November 9-11, 2015. New York, NY: Association for Computing Machinery. doi: 10.1145/2818314.
Brodnik, Andrej; Vahrenhold, Jan (Eds.): . Informatics in Schools. Curricula, Competences, and Competitions. Berlin: Springer VDI Verlag. doi: 10.1007/978-3-319-25396-1.
Vahrenhold J. . ‘Polygon Triangulation.’ InEncyclopedia of Algorithms, edited byKao M-Y, 1–5. 2. Aufl. New York: Springer Science+Business Media. doi: 10.1007/978-3-642-27848-8_506-1.
Dewji N, Wolfman SA, Herman GL, Porter L, Taylor C, Vahrenhold J. . ‘The CS Concept Inventory Quiz Show.’InProceedings of the 46th SIGCSE Technical Symposium on Computer Science Education (SICGSE 2015), edited byDecker A, Eiselt K, Alphonce C, Tims J, 669–670.: ACM. doi: 10.1145/2676723.2677315.
Ghasemieh, H., Remke, A., Haverkort, B. . ‘Hybrid Petri nets with multiple stochastic transition firings.’ EAI Endorsed Transactions on Self-Adaptive Systems 1(3):e1.
Braz J., Kerren A., Linsen L. . ‘Foreword.’ Contributed to the 6th International Conference on Information Visualization Theory and Applications, IVAPP 2015, deu.
Shahid MLUR, Chitiboi T, Ivanovska T, Molchanov V, Völzke H, Hahn HK, Linsen L. . ‘Automatic Pharynx Segmentation from MRI Data for Obstructive Sleep Apnea Analysis.’ InProceedings of the International Conference on Computer Vision Theory and Applications (VISAPP). doi: 10.5220/0005315905990608.
Reina D, Toral S, Barrero F, Günes M. . ‘Dissimilarity Metrics for Probabilistic Broadcasting in Wireless Multi-hop Networks.’ In41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), edited byIEEE. Yokohama, Japan: IEEE.
Barrero F, Toral S, Johnson P, Günes M, Asimakopoulou E. . ‘Ad Hoc Networks for Disaster Scenarios and/or Threat Detection.’ International Journal of Distributed Sensor Networks 2015: 2. doi: 10.1155/2015/949214.
Frey Michael, Günes Mesut. . ‘"Follow the Pheromone Trail?" On Studying Ant Routing Algorithms in Simulation andWireless Testbeds.’ InSpring Simulation Multi-Conference (SpringSim 15), edited byAbhari A, El Aarag H. Alexandria, Virginia, USA.
Feeney LM, Frey M, Fodorz V, Günes Mesut. . ‘Modes of Inter-network Interaction in Beacon-Enabled IEEE 802.15.4 Networks.’ In14th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net'15). Vilamoura, Portugal: IEEE.
Beecks C, Hassani M, Hinnell J, Schüller D, Brenger B, Mittelberg I, Seidl T. . ‘Spatiotemporal Similarity Search in 3D Motion Capture Gesture Streams.’InAdvances in Spatial and Temporal Databases - 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings, edited byClaramunt C, Schneider M, Wong RC, Xiong L, Loh W, Shahabi C, Li K, 355–372.: Springer. doi: 10.1007/978-3-319-22363-6_19.
Uysal MS, Beecks C, Sabinasz D, Seidl T. . ‘Large-scale Efficient and Effective Video Similarity Search.’InProceedings of the 2015 Workshop on Large-Scale and Distributed System for Information Retrieval, LSDS-IR 2015, Melbourne, Australia, October 23, 2015, edited byAltingovde IS, Cambazoglu BB, Tonellotto N, 3–8.: ACM. doi: 10.1145/2809948.2809950.
Hassani M, Beecks C, Töws D, Serbina T, Haberstroh M, Niemietz P, Jeschke S, Neumann S, Seidl T. . ‘Sequential Pattern Mining of Multimodal Streams in the Humanities.’InDatenbanksysteme für Business, Technologie und Web (BTW), 16. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS), 4.-6.3.2015 in Hamburg, Germany. Proceedings, edited bySeidl T, Ritter N, Schöning H, Sattler K, Härder T, Friedrich S, Wingerath W, 683–686.: GI.
Beecks C, Uysal MS, Seidl T. . ‘Distance-based Multimedia Indexing.’InDatenbanksysteme für Business, Technologie und Web (BTW 2015) - Workshopband, 2.-3. März 2015, Hamburg, Germany, edited byRitter N, Henrich A, Lehner W, Thor A, Friedrich S, Wingerath W, 265–268.: GI.
Töws D, Hassani M, Beecks C, Seidl T. . ‘Optimizing Sequential Pattern Mining Within Multiple Streams.’InDatenbanksysteme für Business, Technologie und Web (BTW 2015) - Workshopband, 2.-3. März 2015, Hamburg, Germany, edited byRitter N, Henrich A, Lehner W, Thor A, Friedrich S, Wingerath W, 223–232.: GI.
Brix Tobias, Lindemann Florian, Praßni Jörg-Stefan, Diepenbrock Stefan, Hinrichs Klaus. . ‘Visual Analysis of Polarization Domains in Barium Titanate during Phase Transitions.’ Contributed to the 22nd International Conference on Computer Graphics, Visualization and Computer Vision (WSCG 2014), Plzen, Czech Republic.
Brix Tobias, Praßni Jörg-Stefan, Hinrichs Klaus. . ‘Visualization of Large Volumetric Multi-Channel Microscopy Data Streams on Standard PCs.’ Contributed to the 4th Symposium on Biological Data Visualization (BioVis 2014), Boston, USA.
Steuwer Michel, Haidl Michael, Breuer Stefan, Gorlatch Sergei. . ‘High-Level Programming of Stencil Computations on Multi-GPU Systems using the SkelCL Library.’ Parallel Processing Letters 24, Nr. 03: 1441005. doi: 10.1142/S0129626414410059.
Olejnik Michael, Steuwer Michel, Dybowski J. Nikolaj, Gorlatch Sergei, Heider Dominik. . ‘gCUP: Rapid GPU-based HIV-1 Coreceptor Usage Prediction for Next-Generation Sequencing.’ Bioinformatics 30, Nr. 22: 3272–3273. doi: 10.1093/bioinformatics/btu535.
Fumero Juan Jose, Steuwer Michel, Christophe Dubach. . ‘A Composable Array Function Interface for Heterogeneous Computing in Java.’ InProceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, 44–49. New York, NY, USA: ACM. doi: 10.1145/2627373.2627381.
Gorlatch Sergei, Steuwer Michel. . ‘Towards High-Level Programming for Systems with Many Cores.’ InPerspectives of Systems Informatics - 9th International Andrei Ershov Memorial Conference, PSI 2014, edited byMarchuk Alexander, Terekhov Andrey.: Springer.
Steuwer Michel, Gorlatch Sergei. . ‘SkelCL: a high-level extension of OpenCL for multi-GPU systems.’ The Journal of Supercomputing 69, Nr. 1: 25–33. doi: 10.1007/s11227-014-1213-y.
Steuwer Michel, Friese Malte, Albers Sebastian, Gorlatch Sergei. . ‘Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems.’ International Journal of Parallel Programming 42, Nr. 4: 601–618. doi: 10.1007/s10766-013-0265-6.
Vahrenhold J, Paul W. . ‘Developing and Validating Test Items for First-Year Computer Science Courses.’ Computer Science Education 24, Nr. 4: 304–333. doi: 10.1080/08993408.2014.970782.
Meiländer D, Glinka F, Gorlatch S, Lin L, Zhang W, Liao X. . ‘Using Mobile Cloud Computing for Real-Time Online Applications.’ Contributed to the IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, Oxford, UK.
Meiländer D, Glinka F, Gorlatch S, Lin L, Zhang W, Liao X. . ‘Bringing Mobile Online Games to Clouds.’ Contributed to the IEEE INFOCOM Workshop on Mobile Cloud Computing, Toronto, Canada.
Humernbrum T., Glinka F., Gorlatch S. . ‘Using Software-Defined Networking for Real-Time Internet Applications.’ InProc. of the International MultiConference of Engineers and Computer Scientists (IMECS 2014), edited byNewswood Limited, 150–155.
Giesler Alexander, Valkov Dimitar, Hinrichs Klaus. . ‘Void shadows: Multi-touch interaction with stereoscopic objects on the tabletop.’ Contributed to the 2nd ACM Symposium on Spatial User Interaction (SUI 14), Honolulu, Hawaii, USA. doi: 10.1145/2659766.2659779.
Valkov Dimitar, Giesler Alexander, Hinrichs Klaus. . ‘Imperceptible depth shifts for touch interaction with stereoscopic objects.’ Contributed to the 32nd SIGCHI Conference on Human Factors in Computing Systems (CHI 2014), Toronto, Ontario, Canada. doi: 10.1145/2556288.2557134.
Risse B, Berh D, Otto N, Jiang X, Klämbt C. . ‘Imaging Modalities for Semi-Translucent Animals and Their Impact on Quantitative Analysis.’ InVAIB Workshop, ICPR, 1––4.
Risse B, Berh D, Otto N, Jiang X, Klämbt C. „FIM2C and the Analysis of Collision Behavior.“ contributed to the Flies, Worms and Robots: Combining Perspectives on Minibrains and Behavior Conference, Sant Feliu de Guixols, Spain, .
Herber P. . ‘The RESCUE Approach-Towards Compositional Hardware/Software Co-verification.’ InHigh Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC, CSS, ICESS), 2014 IEEE Intl Conf on, 721–724. doi: 10.1109/HPCC.2014.109.
Herber P, Hünnemeyer B. . ‘Formal Verification of SystemC Designs using the BLAST Software Model Checker.’ InACESMB@ MoDELS, 44–53.
Pfeffer TF, Herber P, Schneider J. . ‘Reverse engineering of ARM binaries using formal transformations.’ InProceedings of the 7th International Conference on Security of Information and Networks, 345. doi: 10.1145/2659651.2659697.
Scheffer C, Vahrenhold J. . ‘Approximating Geodesic Distances on 2-Manifolds in R^3: The Weighted Case.’ Computational Geometry: Theory & Applications 47, Nr. 8: 789–808. doi: 10.1016/j.comgeo.2014.04.003.
Scheffer C, Vahrenhold J. . ‘Approximating Geodesic Distances on 2-Manifolds in R^3.’ Computational Geometry: Theory & Applications 47, Nr. 2: 125–140. doi: 10.1016/j.comgeo.2012.05.001.
Scheffer C. . Approximation algorithms for geometrical distance problems that are not solvable exactly Dissertationsschrift, Universität Münster.
Gheibi A, Maheshwari A, Sack J, Scheffer C. . ‘Minimum Backward Fréchet Distance.’ InProceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 381–388.
Hoinville, T; Krause, AF; Schilling, M; Cruse, H. . ‘Bridging an Interspecies Gap? Toward Human-Insectoid Robot Interaction.’ InProceedings of 9th ACM/IEEE International Conference on Human-Robot Interaction (HRI 2014), edited by/.
Schneide,r A; Paskarbeit, J; Schilling, M; Schmitz, J. . ‘HECTOR, a bio-inspired and compliant hexapod robot.’ InProceedings of the 3rd Conference on Biomimetics and Biohybrid Systems, edited byDuff, A; Prescott, T.; Verschure, P.; Lepora, N., 427–430. Milan: Springer.
Cruse, H; Schilling, M. . ‘Action Selection within short time windows.’ InProceedings of Biomimetic and Biohybrid Systems: Third International Conference, Living Machines 2014, Milan, Italy, edited byDuff A; Prescott T; Verschure P; Lepora N, 47–58. Milan: Springer International Publishing. doi: 10.1007/978-3-319-09435-9_5.
Schack, T; Bläsing, B; Hughes, C; Flash, T; Schilling, M. . ‘Elements and Construction of Motor Control.’ InRoutledge Companion to Sport and Exercise Psychology:Global Perspectives and Fundamental Concepts, edited byPapaioannou, A; Hackfort, D, 306–321. London: Routledge. doi: 10.4324/9781315880198.ch20.
Schmeing M. . Disocclusion Filling in Depth-Based View Synthesis and Depth Map Enhancement Dissertationsschrift, Universität Münster.
M. Schmeing, E. Krauskopf, X. Jiang. . ‘Real-time depth fusion using a low-cost depth sensor array.’ In3DTV Conference: The True Vision - Capture, Transmission and Display of 3D Video (to appear).
M. Schmeing, X. Jiang. . ‘Edge-aware depth image filtering using color segmentation.’ Pattern Recognition Letters 50: 63–71. doi: 10.1016/j.patrec.2014.03.026.
M. Schmeing, X. Jiang. . ‘Superpixel-based disocclusion filling in depth image based rendering.’ InIEEE International Conference on Pattern Recognition.
Michael Aloys Schmeing. . Disocclusion Filling in Depth-Based View Synthesis and Depth Map Enhancement Dissertationsschrift, Universität Münster.
K. Broelemann. . Automatic Offline Understanding of Hand-Drawn Sketch Maps Dissertationsschrift, Universität Münster.
X. Jiang, J. Hornegger, and R. Koch (Eds.): . Pattern Recognition. : Springer VDI Verlag.
F. Gigengack, X. Jiang, M. Dawood, and K.P. Schäfers. . Motion Correction in Thoracic Positron Emission Tomography.: Springer VDI Verlag.
T. Tham, K. Ichikawa, M. Oyama-Higa, D. Coomans, X. Jiang (Eds.): . Biomedical Informatics and Technology. : Springer VDI Verlag.
B. Risse, N. Otto, D. Berh, X. Jiang, C. Klämbt. . ‘FIM imaging and FIMTrack: Two new tools allowing high-throughput and cost effective locomotion analysis.’ Journal of Visualized Experiments 94.
K. Ungru, D. Tenbrinck, X. Jiang, and J. Stypmann. . ‘Automatic classification of left ventricular wall segments in small animal ultrasound imaging.’ Computer Methods and Programs in Biomedicine 117, Nr. 1: 2-12.
M. Fieseler, F. Gigengack, X. Jiang, and K. Schäfers. . ‘Motion correction of whole-body PET data with a joint PET-MRI registration functional.’ BioMedical Engineering OnLine 13(Suppl 1).
L. Franek, X. Jiang, C. He. . ‘Weighted mean of a pair of clusterings.’ Pattern Analysis and Applications 17, Nr. 1: 166. doi: 10.1007/s10044-012-0304-8.
L. Franek, X. Jiang. . ‘Ensemble clustering by means of clustering embedding in vector spaces.’ Pattern Recognition 47, Nr. 2: 842. doi: 10.1016/j.patcog.2013.08.019.
Y. Chan, D. Huang, K. Liu, R. Chen, X. Jiang. . ‘An automatic indirect immunofluorescence cell segmentation system.’ Mathematical Problems in Engineering 2014. doi: 10.1155/2014/501206.
U. Lammel, M. Bechtold, B. Risse B, D. Berh, A. Fleige, I. Bunse, X. Jiang, C. Klämbt, S. Bogdan. . ‘The Drosophila FHOD1-like formin Knittrig acts through Rok to promote stress fiber formation and directed macrophage migration during the cellular immune response.’ Development 141, Nr. 6: 1366–1380. doi: 10.1242/dev.101352.
Tao J, Risse B, Jiang X. . ‘Stereo and Motion Based 3D High Density Object Tracking.’ Image and Video Technology 2014: 136–148. doi: 10.1007/978-3-642-53842-1_12.
Risse B, Otto N, Berh D, Jiang X, Klämbt C. . „FIM Imaging and FIMtrack: Two New Tools Allowing High-throughput and Cost Effective Locomotion Analysis.“ Journal of Visualized Experiments e52207. doi: 10.3791/52207.
Wüstenberg Markus, Blunck Henrik, Grønbæk Kaj, Kjærgaard Mikkel Baun. . ‘Henrik Blunck
Distinguishing Electric Vehicles from Fossil-Fueled Vehicles with Mobile Sensing.’ Contributed to the Proceedings of the 15th IEEE International Conference on Mobile Data Management (MDM), Brisbane, Australia.
Christensen Henrik, Blunck Henrik, Bouvin Niels-Olaf , Brewer Robert, Wüstenberg Markus. . ‘Karibu: A Flexible, Highly-Available, and Scalable Architecture for Urban Data Collection.’ Contributed to the Proceedings of the !st International Conference on IoT in Urban Space, London, UK.
Stisen Allan, Blunck Henrik, Kjærgaard Mikkel Baun, Grønbæk Kaj. . ‘Handheld versus wearable interaction design for professionals: a case study of hospital service work.’ Contributed to the Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design, Sydney, Australia. doi: 10.1145/2686612.2686651.
Molchanov V, Linsen L. . ‘Interactive Design of Multidimensional Data Projection Layout.’ InProceedings of EuroVis 2014 -- Short Papers, 25–29. doi: 10.2312/eurovisshort.20141152.
Molchanov V., Linsen L. . ‘Visual Exploration of Patterns in Multi-run Time-varying Multi-field Simulation Data Using Projected Views.’ Contributed to the WSCG, Pilsen, Czech Republic.
Prätorius M, Valkov D, Burgbacher U, Hinrichs KH. . ‘DigiTap: an eyes-free {VR/AR} symbolic input device.’InProceedings of the 20th {ACM} Symposium on Virtual Reality Software and Technology, {VRST} 2014, Edinburgh, United Kingdom, November 11-13, 2014, edited byLau RWH, Manocha D, Komura T, Majumder A, Xu W, 9–18.: ACM. doi: 10.1145/2671015.2671029.
Frey M, Grosse F, Günes M. . ‘Energy-Aware Ant Routing in Wireless Multi-Hop Networks.’ InIEEE International Conference on Communications (ICC). Sydney, Australia.
B. Risse, S. Thomas, N. Otto, T. Löpmeier, D. Valkov, X. Jiang, C. Klämbt. . ‘FIM, a novel FTIR-based imaging method for high throughput locomotion analysis.’ PLoS ONE 8, Nr. 1: e53963. doi: 10.1371/journal.pone.0053963.
M. Fieseler, H. Kugel, F. Gigengack, T. Kösters, F. Büther, H.H. Quick, C. Faber, X. Jiang, and K.P. Schäfers. . ‘A dynamic thorax phantom for the assessment of cardiac and respiratory motion correction in PET/MRI: A preliminary evaluation.’ Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment 702: 59–63. doi: 10.1016/j.nima.2012.09.039.
Dawood M, Gigengack F, Jiang X, Schafers KP. . ‘A mass conservation-based optical flow method for cardiac motion correction in 3D-PET.’ Medical Physics 40, Nr. 1: 012505. doi: 10.1118/1.4770276.
Bruder G, Wieland P, Bolte B, Lappe M, Steinicke F. . ‘Goint with the flow: Modifying self-motion perception with computer-mediated optic flow.’ InMixed and Augmented Reality (ISMAR), 67–74. doi: 10.1109/ISMAR.2013.6671765.
Kegel Philipp, Steuwer Michel, Gorlatch Sergei. . ‘dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems.’ Journal of Parallel and Distributed Computing 73, Nr. 12: 1639–1648. doi: 10.1016/j.jpdc.2013.07.021.
Kegel, Philipp. . A Uniform, OpenCL-based Approach for Programming Distributed Systems With Multicores and GPUs Dissertationsschrift, University of Münster.
Kegel Philipp, Steuwer Michel, Gorlatch Sergei. . ‘Uniform High-Level Programming of Many-Core and Multi-GPU Systems.’ InTransition of HPC Towards Exascale Computing, edited byD'Hollander Erik, Dongarra Jack, Foster Ian, Grandinetti Lucio, Joubert Gerhard, 159–176. IOS Press. doi: 10.3233/978-1-61499-324-7-159.
Steuwer Michel, Gorlatch Sergei. . ‘SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems.’ InParallel Computing Technologies - 12th International Conference (PaCT 2013), edited byMalyshkin Victor, 258–272.: Springer. doi: 10.1007/978-3-642-39958-9_24.
Steuwer Michel, Gorlatch Sergei. . ‘High-Level Programming for Medical Imaging on Multi-GPU Systems using the SkelCL Library.’ Procedia Computer Science 18: 749–758. doi: 10.1016/j.procs.2013.05.239.
Danielsiek Holger, Paul Wolfgang, Vahrenhold Jan. . „Entwurf eines Diagnosekonzepts für die Sekundarstufe I am Beispiel des Fachs Informatik.“ In Diagnose und individuelle Förderung in der MINT-Lehrerbildung: Das Projekt dortMINT, herausgegeben von Hußmann Stephan, Selter Christoph, 101–114. Münster: Waxmann.
Anus Sandra, Danielsiek Holger, Fischer Sandra, Girulat Annika, Graf Dittmar, Jelemenská Patrícia, Melle Insa, Nührenbörger Marcus, Paul Wolfgang, Vahrenhold Jan. . „Diagnose und individuelle Förderung erlernen.“ In Diagnose und individuelle Förderung in der MINT-Lehrerbildung: Das Projekt dortMINT, herausgegeben von Hußmann Stephan, Selter Christoph, 97–100. Münster: Waxmann.
Thies R, Vahrenhold J. . ‘On Plugging "Unplugged" into CS Classes.’InProceedings of the 44th SIGCSE Technical Symposium on Computer Science Education (SICGSE 2013), edited byCamp T, Tymann PT, Dougherty JD, Nagel K, 365–370.: ACM Press. doi: 10.1145/2445196.2445303.
Meiländer Dominik, Köttinger Sebastian, Gorlatch Sergei. . ‘A Scalability Model for Distributed Resource Management in Real-Time Online Applications.’ InProceedings of the 2013 International Conference on Parallel Processing (ICPP), 763–772.
Knitter S, Kues M, Haidl M, Fallnich C. . ‘Linearly polarized emission from random lasers with anisotropically amplifying media.’ Optics Express 21, Nr. 25: 31591–31603. doi: 10.1364/OE.21.031591.
Valkov Dimitar, Mantler Andreas, Hinrichs Klaus. „Haptic props: Semi-actuated tangible props for haptic interaction on the surface.“ contributed to the 26th annual ACM symposium on User interface software and technology (UIST 2013), St. Andrews, UK, . doi: 10.1145/2508468.2514736.
Strothoff Sven, Hinrichs Klaus. „Adding context to multi-touch region selections.“ contributed to the 2013 ACM International Conference on Interactive Tabletops and Surfaces (ITS '13), Dresden, Germany, . doi: 10.1145/2512349.2514913.
Strothoff Sven, Hinrichs Klaus. . ‘Adding context to multi-touch region selections.’ Contributed to the 12th International Conference on Mobile and Ubiquitous Multimedia (MUM '13), Lulea, Sweden. doi: 10.1145/2541831.2541846.
U. Burgbacher, J. Braun, A. K. Brüning, A. B. Schmidt, M. Donath. . ‘Spin-dependent surface barrier from very-low-energy electron diffraction fine structures: A feasibility study.’ Physical Review B 87.
Risse B, Otto N, Berh D, Jiang X, Klämbt C. „Tracking of Colliding Larvae.“ contributed to the Conference on Neurobiology of Drosophila, New York, USA, .
Pockrandt M, Herber P, Klös V, Glesner S. . ‘Model checking memory-related properties of hardware/software co-designs.’ InInternational Embedded Systems Symposium, 92–103. doi: 10.1007/978-3-642-38853-8_9.
Herber P, Reicherdt R, Bittner P. . ‘Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving.’ InEmbedded Software (EMSOFT), 2013 Proceedings of the International Conference on, 1–10. doi: 10.1109/EMSOFT.2013.6658586.
Herber P, Glesner S. . ‘A HW/SW co-verification framework for SystemC.’ ACM Transactions on Embedded Computing Systems (TECS) 12, Nr. 1s: 61. doi: 10.1145/2435227.2435257.
Scheffer C, Vahrenhold J. . ‘Approximating Weighted Geodesic Distances in R^3.’ InProceedings of the 29th European Workshop on Computational Geometry, edited byFekete, S, 107–110.
Schilling, M.; Paskarbeit, J.; Hoinville, T.; Hüffmeier, A.; Schneider, A.; Schmitz, J.; Cruse, H. . ‘A hexapod walker using a heterarchical architecture for action selection.’ Frontiers in Computational Neuroscience 7, Nr. 126: 126. doi: 10.3389/fncom.2013.00126.
Cruse, H.; Schilling, M. . ‘How and to what end may consciousness contribute to action? Attributing properties of consciousness to an embodied, minimally cognitive artificial neural network.’ Frontiers in Psychology 4, Nr. 324: 324. doi: 10.3389/fpsyg.2013.00324.
Schilling, M.; Hoinville, T.; Schmitz, J.; Cruse, H. . ‘Walknet, a bio-inspired controller for hexapod walking.’ Biological Cybernetics 107, Nr. 4: 397–419. doi: 10.1007/s00422-013-0563-5.
Schilling, M; Narayanan, S. . ‘Communicating with Executable Action Representations.’ InProceedings of AAAI Spring Symposium Series 2013, Stanford, edited by/, 1–8. Stanford: AAAI Press.
M. Schmeing, X. Jiang. . ‘Color segmentation based depth image filtering.’ InAdvances in Depth Image Analysis and Applications, edited byJiang X, Bellon O, Goldgof D, Oishi T, 68–77. Springer VDI Verlag. doi: 10.1007/978-3-642-40303-3\_8.
M. Schmeing, X. Jiang. . ‘A background modeling-based faithful approach to the disocclusion problem in depth image-based rendering.’ International Journal of Pattern Recognition and Artificial Intelligence 27, Nr. 02: 1354005. doi: 10.1142/S0218001413540050.
F. Gigengack. . Mass-Preserving Motion Correction and Multimodal Image Segmentation in Positron Emission Tomography Dissertationsschrift, Universität Münster.
D. Tenbrinck. . Variational Methods for Medical Ultrasound Imaging Dissertationsschrift, Universität Münster.
J. Roters. . Incremental Multi-View 3D Reconstruction with Application to Disaster Management Dissertationsschrift, Universität Münster.
W.G. Kropatsch, N.M. Artner, Y. Haxhimusa, and X. Jiang (Eds.): . Graph-Based Representations in Pattern Recognition. : Springer VDI Verlag.
X. Jiang, O. Bellon, D. Goldgof, and T. Oishi (Eds.): . Advances in Depth Image Analysis and Applications. : Springer VDI Verlag.
L. Franek and X. Jiang. . ‘Orthogonal design of experiments for parameter learning in image segmentation.’ Signal Processing 93.
B. Risse, D. Berh, J. Tao, X. Jiang, R. Klette, and C. Klämbt. . ‘Comparison of two 3D tracking paradigms for freely flying insects.’ Eurasip Journal on Image and Video Processing 2013.
A. Sawatzky, D. Tenbrinck, X. Jiang, and M. Burger. . ‘A variational framework for region-based segmentation incorporating physical noise models.’ Journal of Mathematical Imaging and Vision 47.
G.-E. Teng, C. He, J. Xiao, and X. Jiang. . ‘Customer credit scoring based on HMM-GMDH hybrid model.’ Knowledge and Information Systems 36.
D. Tenbrinck, S. Schmid, X. Jiang, K. Schäfers, J. Stypmann. . ‘Histogram-based optical flow for motion estimation in ultrasound imaging.’ Journal of Mathematical Imaging and Vision 47.
Risse B, Jiang X, Klämbt C. . ‘FIM: Frustrated Total Internal Reflection Based Imaging for Biomedical Applications.’ ERCIM News 95, Nr. Image Understanding: 11–12.
M. Sander, A.J. Squarr, B. Risse, X. Jiang, S. Bogdan. . ‘Drosophila pupal macrophages - A versatile tool for combined ex vivo and in vivo imaging of actin dynamics at high resolution.’ European Journal of Cell Biology 2013. doi: 10.1016/j.ejcb.2013.09.003.
Jiang X, Dawood M, Gigengack F, Risse B, Schmid S, Tenbrinck D, Schäfers K. . ‘Biomedical Imaging: a Computer Vision Perspective.’ InComputer Analysis of Images and Patterns, edited byR. Wilson et al.: CAIP 2013, 1–19. Berlin, Heidelberg: Springer VDI Verlag.
Risse B, Berh D, Tao J, Jiang X, Klette R, Klämbt C. . ‘Comparison of two 3D tracking paradigms for freely flying insects.’ EURASIP J Image Video Process 2013, Nr. 1: 57. doi: 10.1186/1687-5281-2013-57.
Nordhoff Benedikt, Müller-Olm Markus, Lammich Peter. . ‘Iterable Forward Reachability Analysis of Monitor-DPNs.’ InSemantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, edited byBanerjee A, Danvy O, Doh K, Hatcliff J, 384–403. Manhattan, Kansas, USA: Open Publishing Association. doi: 10.4204/EPTCS.129.24.
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt. . Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks. 1. Aufl. International Workshop on Interference and Dependence.
Vahrenhold J. . „Diagnose und individuelle Förderung (im Informatik-Unterricht).“ In Informatik erweitert Horizonte: 15. GI-Fachtagung Informatik und Schule, herausgegeben von Breier N, Stechert P, Wilke Th, 23. Bonn: Köllen.
Knobelsdorf M, Vahrenhold J. . ‘Addressing the Full Range of Students: Challenges in K-12 Computer Science Education.’ IEEE Computer 46, Nr. 9: 32–37. doi: 10.1109/MC.2013.263.
Danielsiek H, Humbert L, Vahrenhold J. . ‘Research-Based Learning Revisited: On Using a Delphi Process in Informatics Teacher Education.’ InProceedings of the 6th Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP 2013), edited byDiethelm I, Mittermeir R, 196–208. Berlin: Springer. doi: 10.1007/978-3-642-36617-8_17.
Kjærgaard Mikkel Baun, Krarup Mads Vering , Stisen Allan, Prentow Thor Siiger, Blunck Henrik, Grønbæk Kaj, Jensen Christian S. . ‘Indoor positioning using wi-fi–how well is the problem understood?’ Contributed to the Proceedings of the 4th International Conference on Indoor Positioning and Indoor Navigation, Montbéliard, France.
Reis Santos T., Paulovich F., Molchanov V., Linsen L., De Oliveira M. . ‘Visualizing temporal behavior in multifield particle simulations.’ Contributed to the International Conference on Computer Graphics Theory and Applications, GRAPP 2013 and International Conference on Information Visualization Theory and Applications, IVAPP 2013, Barcelona, esp.
Molchanov V, Fofonov A, Rosswog S, Rosenthal P, Linsen L. . ‘SmoothViz: An Interactive Visual Analysis System for SPH Data.’ InProceedings of the 8th International SPHERIC Workshop, 350–356.
Reis Santos T. S., Paulovich F. V., Molchanov V., Linsen L., de Oliveira M. C. F. . ‘Visualizing temporal behavior in multifield particle simulations.’ Contributed to the International Conferenceon Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Barcelona, Spain.
Molchanov V., Fofonov A., Linsen L. . ‘Continuous Representation of Projected Attribute Spaces of Multifields over Any Spatial Sampling.’ Computer Graphics Forum 33, Nr. 3: 301–310. doi: 10.1111/cgf.12117.
Molchanov V., Fofonov A., Linsen L. . ‘Frequency-based Progressive Rendering of Continuous Scatterplots.’ Journal of WSCG 22, Nr. 1: 49–58.
Juraschek F, Seif S, Günes M. . ‘Distributed Channel Assignment in Large-Scale Wireless Mesh Networks: A Performance Analysis.’ InIEEE International Conference on Communications (ICC), edited byIEEE.
Juraschek F, Günes M. . ‘External Interference-Aware Channel Assignment.’ InThe 9th International Wireless Communications & Mobile Computing Conference (IWCMC). Cagliari, Italy: IEEE.
Hahm O, Baccelli E, Günes M, Wählisch M, Schmidt TC. . ‘RIOT OS -- Towards an OS for the Internet of Things.’ InProceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM 2013).: IEEE.
Hahm O, Baccelli E, Günes M, Wählisch M, Schmidt TC. . ‘OS for the IoT : Goals, Challenges, and Solutions.’ InProceedings of the French Interdisciplinary Workshop on Global Security (WISG).
Frey M, Grosse F, Günes M. . ‘libARA: A framework for simulation and testbed based studies on ant routing algorithms in wireless multi-hop networks.’ InThe 7th International Conference on Performance Evaluation Methodologies and Tools (ValueTools'13). Turin, Italy: ACM. doi: 10.1145/2541475.2541512.
Fischer J, Redlich J, Scheuermann B, Schiller J, Günes M, Nagel K, Wagner P, Scheidgen M, Zubow A, Eveslage I, Sombrutzki R, Juraschek F. . ‘From Earthquake Detection to Traffic Surveillance--About Information and Communication Infrastructures for Smart Cities.’ InSystem Analysis and Modeling: Theory and Practice, edited bySystem Analysis and Modeling: Theory and Practice, 121–141. Springer VDI Verlag.
Gigengack F, Fieseler M, Tenbrinck D, Jiang X. . ‘Image Processing Techniques in Emission Tomography.’ InCorrection Techniques in Emission Tomography, edited byDawood M, Jiang X, Schäfers K, 119–156. Taylor & Francis.
Ruthotto L, Gigengack F, Burger M, Wolters C, Jiang X, Schäfers K, Modersitzki J. . ‘A Simplified Pipeline for Motion Correction in Dual Gated Cardiac PET.’ Contributed to the Bildverarbeitung für die Medizin 2012, Berlin (Germany). doi: 10.1007/978-3-642-28502-8_11.
Gigengack F, Ruthotto L, Burger M, Wolters C, Jiang X, Schafers K. . ‘Motion Correction in Dual Gated Cardiac PET Using Mass-Preserving Image Registration.’ IEEE Transactions on Medical Imaging 31, Nr. 3: 698–712.
Bruder G, Steinicke F, Wieland P, Lappe M. . ‘Tuning Self-Motion Perception in Virtual Reality with Visual Illusions.’ IEEE Transactions on Visualization and Computer Graphics 18.
Steuwer, Michel; Kegel, Philipp; Gorlatch, Sergei. . ‘Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library.’ InProceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, edited byIEEE, 1858–1865. Shanghai: Wiley-IEEE Press. doi: 10.1109/IPDPSW.2012.229.
Gorlatch Sergei, Glinka Frank, Ploss Alexander, Rawlings Chris, Surridge Mike. . ‘Developing Infrastructures for Online Games and Distance Learning using RTF.’InProceedings of the International MultiConference of Engineers and Computer Scientists 2012, edited byAo S. I., Castillo Oscar, Douglas Craig, Feng David Dagan, Lee Jeong-A, 614–619. Hongkong: Newswood Limited.
Glinka F, Gorlatch S, Meilaender D, Ploss A. . ‘Designing Scalable Multiplayer Online Games.’ Game Coder Magazine 05/2012: 24–30.
Gorlatch S, Glinka F, Ploss A, Meiländer D. . ‘Designing Multiplayer Online Games Using the Real-Time Framework.’ InAlgorithmic and Architectural Gaming Design: Implementation and Development, edited byIGI Global, 290–321.
Bucchiarone A, Cappiello C, Nitto ED, Gorlatch S, Meiländer D, Metzger A. . ‘Design for Self-Adaptation in Service-Oriented Systems in the Cloud.’ InEuropean Research Activities in Cloud Computing, edited byCambridge Scholars Publishing, 214–240. Cambridge Scholars Publishing.
Di Nitto E, Meiländer D, Gorlatch S, Metzger A, Psaier H, Dustdar S, Razavian M, Tamburri DA, Lago P. . ‘Research challenges on engineering service-oriented applications.’ Contributed to the ICSE 2012 Workshop on European Software Services and Systems Research -- Results and Challenges (S-Cube), Zurich, Switzerland.
Risse B, Thomas S, Jiang X, Klämbt C. „FIM: FTIR Based Image Acquisition and Tracking.“ contributed to the Conference on Behavioral Neurogenetics of Drosophila Larva (Maggot Meeting), Ashburn, USA, .
Pockrandt M, Herber P, Gross H, Glesner S. . ‘Optimized Transformation and Verification of SystemC Methods.’ Electronic Communications of the EASST 53.
Herber P. . ‘Automated HW/SW Co-Verification of SystemC Designs using Timed Automata.’ it-Information Technology Methoden und innovative Anwendungen der Informatik und Informationstechnik 54, Nr. 6: 296–300.
Scheffer C, Vahrenhold J. . ‘Simplified Medial-Axis Approximation with Guarantees.’ In28th European Workshop on Computational Geometry, Booklet of Abstracts, edited byDidimo W, Liotta G, 161–164.
Scheffer C, Vahrenhold J. . ‘Simplied Medial-Axis Approximation with Guarantees.’ InProceedings of the first Young Researchers Forum (YRF), 9–10.
Schilling, Malte; Paskarbeit, J.; Schmitz, J.; Schneider, A.; Cruse, H. . ‘Grounded internal body models for communication: Integration of sensory, motor and visual spaces for mediating conceptualization.’ InLanguage Grounding in Robots, edited bySteels, L.; Hild, M., 131–150. Berlin: Springer.
Schilling, M.; Rohlfing, K.; Cruse, H. . ‘Prediction as internal simulation: taking chances in what to do next.’ Frontiers in Psychology 3, Nr. 405: 405. doi: 10.3389/fpsyg.2012.00405.
Schilling, M.; Cruse, H. . ‘What's Next: Recruitment of a Grounded Predictive Body Model for Planning a Robot's Actions.’ Frontiers in Psychology 3: 383. doi: 10.3389/fpsyg.2012.00383.
Schilling, M; Paskarbeit, J; Schmitz, J; Schneider, A; Cruse, H. . ‘Grounding an internal body model of a hexapod walker - Control of curve walking in a biological inspired robot.’ InProceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, edited by/, 2762–2768. Vilamoura: IEEE Press. doi: 10.1109/iros.2012.6385709.
Schilling, M; Paskarbeit, J; Schneider, A; Cruse, H. . ‘Flexible internal body models for motor control: On the convergence of constrained dual quaternion mean of multiple computation networks.’ InProceedings of the International Joint Conference on Neural Networks 2012, edited by/, 1–8. Brisbane: IEEE Press. doi: 10.1109/ijcnn.2012.6252846.
Schmeing M, Jiang X. . ‘Faithful Spatio-Temporal Disocclusion Filling Using Local Optimization.’ InIEEE International Conference on Pattern Recognition, 3799–3802.
Broelemann Klaus, Dutta Anjan, Jiang Xiaoyi, Llados Josep. . ‘Hierarchical Graph Representation for Symbol Spotting in Graphical Document Images.’ Contributed to the Joint IAPR International Workshops on Structural and Syntactic Pattern Recognition and Statistical Techniques in Pattern Recognition, Hiroshima, Japan.
Dawood M, Jiang X, Schäfers K (Eds.): . Correction Techniques in Emission
Tomographic Imaging. : CRC Press.
Xiao J, Xie L, He C, Jiang X. . ‘Dynamic classifier ensemble model for customer classification with imbalanced class distribution.’ Expert Systems with Applications 39, Nr. 3: 3668–3675. doi: 10.1016/j.eswa.2011.09.059.
Jiang X, Wentker J, Ferrer M. . ‘Generalized median string computation by means of string embedding in vector spaces.’ Pattern Recognition Letters 33, Nr. 7.
Jiang X, Lambers M, Bunke H. . ‘Structural performance evaluation of curvilinear structure detection algorithms with application to retinal vessel segmentation.’ Pattern Recognition Letters 33, Nr. 15.
Franek L, Jiang X, Wattuya P. . ‘Local Instability Problem of Image Segmentation Algorithms: Systematic Study and an Ensemble-Based Solution.’ International Journal of Pattern Recognition and Artificial Intelligence 26.
Broelemann Klaus, Jiang Xiaoyi. . ‘A region-based method for sketch map segmentation.’ InGraphics Recognition. New Trends and Challenges, edited byKwon Young-Bin, Ogier Jean-Marc, 1–14. Berlin Heidelberg: Springer. doi: 10.1007/978-3-642-36824-0_1.
Lucas Franek. . Ensemble Algorithms with Applications to Clustering and Image Segmentation Dissertationsschrift, Universität Münster.
Schmidt I, Thomas S, Kain P, Risse B, Naffin E, Klämbt C. . ‘Kinesin heavy chain function in Drosophila glial cells controls neuronal activity.’ Journal of Neuroscience 32, Nr. 22: 7466–7476. doi: 10.1523/JNEUROSCI.0349-12.2012.
Tao J, Risse B, Jiang X, Klette R. . ‘3D Trajectory Estimation of Simulated Fruit Flies.’ In Proc 27th IVCNZ, Dunedin 2012.
Nordhoff Benedikt. „Tree-Regular Analysis of Parallel Programs with Dynamic Thread Creation and Locks.“ contributed to the School for young researchers about Modelling and Verifying Parallel processes, Marseille, Frankreich, .
Gudmundsson J, Thom A, Vahrenhold J. . ‘Of Motifs and Goals: Mining Trajectory Data.’InProceedings of the 20th ACM SIGSPATIAL
International Conference on Advances in Geographic Information Systems
(ACM SIGSPATIAL GIS 2012), edited byTanin E, Kröger P, Widmayer P, 129–138. doi: 10.1145/2424321.2424339.
Temme S, Vahrenhold J. . ‘Revisiting the Construction of SSPDs in the Presence of Memory Hierarchies.’ In28th European Workshop on Computational Geometry, Booklet of Abstracts, edited byDidimo W, Liotta G, 57–60.
Gieseke F, Moruz G, Vahrenhold J. . ‘Resilient K-d Trees: K-Means in Space Revisited.’ Frontiers of Computer Science 6, Nr. 2: 166–178. doi: 10.1007/s11704-012-2870-8.
Kumar P, Günes M. . ‘Medium Access Control Protocols in Wireless Sensor Networks: Design Space, Challenges, and Future Directions.’ InWireless Sensor Networks and Energy Efficiency: Protocols, Routing and Management, edited byZaman N, Ragab K, Abdullah A, 367–395. IGI Global. doi: 10.4018/978-1-4666-0101-7.ch018.
Juraschek F, Zubow A, Hahm O, Scheidgen M, Blywis B, Sombrutzki R, Günes M, Fischer J. . ‘Towards Smart Berlin - an Experimental Facility for Heterogeneous Smart City Infrastructures.’ InProceedings of 1st Workshop on GlObal Trends in Smart Cities 2012 (goSMART), 886–892. doi: 10.1109/LCNW.2012.6424078.
Juraschek F, Seif S, Günes M, Blywis B. . ‘A Benchmark for Channel Assignment Algorithms in Wireless Testbeds.’ InInproceedings of The 8th International Workshop on Wireless Network Measurements (WiNMee), 324–329. Paderborn.
Juraschek F, Günes M, Blywis B. . ‘A Framework for External Interference-Aware Distributed Channel Assignment.’ International Journal of Wireless Networks and Broadband Technologies (IJWNBT) 1, Nr. 4: 40–54. doi: 10.4018/ijwnbt.2011100103.