Guha, Shibashis; Jecker, Ismaël; Lehtinen, Karoliina; Zimmermann, Martin A bit of nondeterminism makes pushdown automata expressive and succinct. (English) Zbl 07789014 Log. Methods Comput. Sci. 20, No. 1, Paper No. 3, 39 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Guha} et al., Log. Methods Comput. Sci. 20, No. 1, Paper No. 3, 39 p. (2024; Zbl 07789014) Full Text: DOI arXiv
Schmidt, Marcel; Zimmermann, Ian A non-linear characterization of stochastic completeness of graphs. arXiv:2403.15125 Preprint, arXiv:2403.15125 [math.AP] (2024). BibTeX Cite \textit{M. Schmidt} and \textit{I. Zimmermann}, ``A non-linear characterization of stochastic completeness of graphs'', Preprint, arXiv:2403.15125 [math.AP] (2024) Full Text: arXiv OA License
Mataigne, Simon; Zimmermann, Ralf; Miolane, Nina An efficient algorithm for the Riemannian logarithm on the Stiefel manifold for a family of Riemannian metrics. arXiv:2403.11730 Preprint, arXiv:2403.11730 [math.NA] (2024). MSC: 15B10 15B57 53Z50 65B99 15A16 BibTeX Cite \textit{S. Mataigne} et al., ``An efficient algorithm for the Riemannian logarithm on the Stiefel manifold for a family of Riemannian metrics'', Preprint, arXiv:2403.11730 [math.NA] (2024) Full Text: arXiv OA License
Axenovich, Maria; Zimmermann, Jakob Induced Turán problem in bipartite graphs. arXiv:2401.11296 Preprint, arXiv:2401.11296 [math.CO] (2024). MSC: 05C35 BibTeX Cite \textit{M. Axenovich} and \textit{J. Zimmermann}, ``Induced Tur\'an problem in bipartite graphs'', Preprint, arXiv:2401.11296 [math.CO] (2024) Full Text: arXiv OA License
Huisgen-Zimmermann, Birge; Nazemian, Zahra; Saorín, Manuel Contravariant finiteness and iterated strong tilting. (English) Zbl 07787979 Algebr. Represent. Theory 26, No. 6, 2433-2465 (2023). MSC: 16D90 16G10 16E05 16E30 16S90 PDFBibTeX XMLCite \textit{B. Huisgen-Zimmermann} et al., Algebr. Represent. Theory 26, No. 6, 2433--2465 (2023; Zbl 07787979) Full Text: DOI arXiv OA License
Zimmermann, Maximilian; Pilat-Lohinger, Elke GANBISS: a new GPU accelerated \(N\)-body code for binary star systems. (English) Zbl 1516.70003 Celest. Mech. Dyn. Astron. 135, No. 3, Paper No. 33, 14 p. (2023). MSC: 70-08 70F10 70F15 PDFBibTeX XMLCite \textit{M. Zimmermann} and \textit{E. Pilat-Lohinger}, Celest. Mech. Dyn. Astron. 135, No. 3, Paper No. 33, 14 p. (2023; Zbl 1516.70003) Full Text: DOI
Lenz, Daniel; Schmidt, Marcel; Zimmermann, Ian Blow-up of nonnegative solutions of an abstract semilinear heat equation with convex source. (English) Zbl 1512.35120 Calc. Var. Partial Differ. Equ. 62, No. 4, Paper No. 140, 19 p. (2023). MSC: 35B44 35K08 35K58 35K90 47D07 PDFBibTeX XMLCite \textit{D. Lenz} et al., Calc. Var. Partial Differ. Equ. 62, No. 4, Paper No. 140, 19 p. (2023; Zbl 1512.35120) Full Text: DOI arXiv
Heimendahl, Arne; Marafioti, Aurelio; Thiemeyer, Antonia; Vallentin, Frank; Zimmermann, Marc Christian Critical even unimodular lattices in the Gaussian core model. (English) Zbl 1520.11065 Int. Math. Res. Not. 2023, No. 6, 5352-5396 (2023). Reviewer: Gabriele Nebe (Aachen) MSC: 11H06 11H50 11H56 11H71 11F11 PDFBibTeX XMLCite \textit{A. Heimendahl} et al., Int. Math. Res. Not. 2023, No. 6, 5352--5396 (2023; Zbl 1520.11065) Full Text: DOI arXiv
Kar, Manas; Railo, Jesse; Zimmermann, Philipp The fractional \(p\)-biharmonic systems: optimal Poincaré constants, unique continuation and inverse problems. (English) Zbl 1516.35518 Calc. Var. Partial Differ. Equ. 62, No. 4, Paper No. 130, 36 p. (2023). Reviewer: Tommi Brander (Horten) MSC: 35R30 26A33 35B60 35J92 42B37 46F12 35J25 35J91 PDFBibTeX XMLCite \textit{M. Kar} et al., Calc. Var. Partial Differ. Equ. 62, No. 4, Paper No. 130, 36 p. (2023; Zbl 1516.35518) Full Text: DOI arXiv
Lorenz, Nico; Zimmermann, Marc Christian Cliques in Representation Graphs of Quadratic Forms. arXiv:2306.07108 Preprint, arXiv:2306.07108 [math.NT] (2023). MSC: 05C69 11E04 BibTeX Cite \textit{N. Lorenz} and \textit{M. C. Zimmermann}, ``Cliques in Representation Graphs of Quadratic Forms'', Preprint, arXiv:2306.07108 [math.NT] (2023) Full Text: arXiv OA License
Rolfes, Jan; Schüler, Robert; Zimmermann, Marc Christian Bounds on polarization problems on compact sets via mixed integer programming. arXiv:2303.10101 Preprint, arXiv:2303.10101 [math.OC] (2023). MSC: 31C20 51-08 90C11 BibTeX Cite \textit{J. Rolfes} et al., ``Bounds on polarization problems on compact sets via mixed integer programming'', Preprint, arXiv:2303.10101 [math.OC] (2023) Full Text: arXiv OA License
Grosen, Thomas Møller; Kauffman, Sean; Larsen, Kim Guldstrand; Zimmermann, Martin Monitoring timed properties (revisited). (English) Zbl 07643427 Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 43-62 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. M. Grosen} et al., Lect. Notes Comput. Sci. 13465, 43--62 (2022; Zbl 07643427) Full Text: DOI arXiv
Zimmermann, Georg; Brunner, Edgar; Brannath, Werner; Happ, Martin; Bathke, Arne C. Pseudo-ranks: the better way of ranking? (English) Zbl 07619670 Am. Stat. 76, No. 2, 124-130 (2022). MSC: 62-XX PDFBibTeX XMLCite \textit{G. Zimmermann} et al., Am. Stat. 76, No. 2, 124--130 (2022; Zbl 07619670) Full Text: DOI
Alekseyev, Max A.; Myers, Joseph Samuel; Schroeppel, Richard; Shannon, S. R.; Sloane, N. J. A.; Zimmermann, Paul Three cousins of Recamán’s sequence. (English) Zbl 1502.11032 Fibonacci Q. 60, No. 3, 201-219 (2022). MSC: 11B83 PDFBibTeX XMLCite \textit{M. A. Alekseyev} et al., Fibonacci Q. 60, No. 3, 201--219 (2022; Zbl 1502.11032) Full Text: arXiv Link
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Robust, expressive, and quantitative linear temporal logics: pick any two for free. (English) Zbl 07538307 Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{D. Neider} et al., Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022; Zbl 07538307) Full Text: DOI Link
Zimmermann, Martin Approximating the minimal lookahead needed to win infinite games. (English) Zbl 07537423 Inf. Process. Lett. 177, Article ID 106264, 5 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Zimmermann}, Inf. Process. Lett. 177, Article ID 106264, 5 p. (2022; Zbl 07537423) Full Text: DOI arXiv
Asgarli, Shamil; Lai, Kuan-Wen; Nakahara, Masahiro; Zimmermann, Susanna Bijective Cremona transformations of the plane. (English) Zbl 07498250 Sel. Math., New Ser. 28, No. 3, Paper No. 53, 58 p. (2022). MSC: 14E07 PDFBibTeX XMLCite \textit{S. Asgarli} et al., Sel. Math., New Ser. 28, No. 3, Paper No. 53, 58 p. (2022; Zbl 07498250) Full Text: DOI arXiv
Lehtinen, Karoliina; Zimmermann, Martin Good-for-games \(\omega\)-pushdown automata. (English) Zbl 1518.68182 Log. Methods Comput. Sci. 18, No. 1, Paper No. 3, 35 p. (2022). MSC: 68Q45 91A80 PDFBibTeX XMLCite \textit{K. Lehtinen} and \textit{M. Zimmermann}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 3, 35 p. (2022; Zbl 1518.68182) Full Text: arXiv Link
Hogan, Aidan; Blomqvist, Eva; Cochez, Michael; d’Amato, Claudia; de Melo, Gerard; Gutierrez, Claudio; Kirrane, Sabrina; Labra Gayo, Jose Emilio; Navigli, Roberto; Neumaier, Sebastian; Ngonga Ngomo, Axel-Cyrille; Polleres, Axel; Rashid, Sabbir M.; Rula, Anisa; Schmelzeisen, Lukas; Sequeda, Juan; Staab, Steffen; Zimmermann, Antoine Knowledge graphs. (English) Zbl 1475.68007 Synthesis Lectures on Data, Semantics, and Knowledge 22. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-63639-237-0/hbk; 978-1-63639-235-6/pbk; 978-3-031-01918-0/ebook). xix, 237 p. (2022). MSC: 68-02 68R10 68T09 68T30 PDFBibTeX XMLCite \textit{A. Hogan} et al., Knowledge graphs. San Rafael, CA: Morgan \& Claypool Publishers (2022; Zbl 1475.68007) Full Text: DOI arXiv
Kar, Manas; Lin, Yi-Hsuan; Zimmermann, Philipp Determining coefficients for a fractional \(p\)-Laplace equation from exterior measurements. arXiv:2212.03057 Preprint, arXiv:2212.03057 [math.AP] (2022). MSC: 35R30 26A33 42B37 46F12 BibTeX Cite \textit{M. Kar} et al., ``Determining coefficients for a fractional $p$-Laplace equation from exterior measurements'', Preprint, arXiv:2212.03057 [math.AP] (2022) Full Text: arXiv OA License
Heimendahl, Arne; Lücke, Moritz; Vallentin, Frank; Zimmermann, Marc Christian A semidefinite program for least distortion embeddings of flat tori into Hilbert spaces. arXiv:2210.11952 Preprint, arXiv:2210.11952 [math.OC] (2022). BibTeX Cite \textit{A. Heimendahl} et al., ``A semidefinite program for least distortion embeddings of flat tori into Hilbert spaces'', Preprint, arXiv:2210.11952 [math.OC] (2022) Full Text: arXiv OA License
Cheltsov, Ivan; Mangolte, Frédéric; Yasinsky, Egor; Zimmermann, Susanna Birational involutions of the real projective plane. arXiv:2208.00217 Preprint, arXiv:2208.00217 [math.AG] (2022). MSC: 14E07 14E05 14E30 14J45 14P99 BibTeX Cite \textit{I. Cheltsov} et al., ``Birational involutions of the real projective plane'', Preprint, arXiv:2208.00217 [math.AG] (2022) Full Text: arXiv OA License
Zimmermann, Martha Lina; Bernstein, Swanhild; Schneider, Baruch First steps towards \(q\)-deformed Clifford analysis. arXiv:2203.14560 Preprint, arXiv:2203.14560 [math.CV] (2022). MSC: 30G35 81R50 BibTeX Cite \textit{M. L. Zimmermann} et al., ``First steps towards $q$-deformed Clifford analysis'', Preprint, arXiv:2203.14560 [math.CV] (2022) Full Text: arXiv OA License
Nayak, Satya Prakash; Neider, Daniel; Zimmermann, Martin Adaptive strategies for rLTL games. (English) Zbl 07807705 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 32, 2 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. P. Nayak} et al., in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 32, 2 p. (2021; Zbl 07807705) Full Text: DOI
Raßloff, Alexander; Schulz, Paul; Kühne, Robert; Ambati, Marreddy; Koch, Ilja; Zeuner, André T.; Gude, Maik; Zimmermann, Martina; Kästner, Markus Accessing pore microstructure-property relationships for additively manufactured materials. (English) Zbl 07778837 GAMM-Mitt. 44, No. 4, Article ID 202100012, 20 p. (2021). MSC: 74Sxx 74Cxx 74Exx PDFBibTeX XMLCite \textit{A. Raßloff} et al., GAMM-Mitt. 44, No. 4, Article ID 202100012, 20 p. (2021; Zbl 07778837) Full Text: DOI OA License
Guha, Shibashis; Jecker, Ismaël; Lehtinen, Karoliina; Zimmermann, Martin A bit of nondeterminism makes pushdown automata expressive and succinct. (English) Zbl 07724226 Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 53, 20 p. (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Guha} et al., LIPIcs -- Leibniz Int. Proc. Inform. 202, Article 53, 20 p. (2021; Zbl 07724226) Full Text: DOI arXiv
Fortin, Marie; Kuijer, Louwe B.; Totzke, Patrick; Zimmermann, Martin HyperLTL satisfiability is \(\Sigma_1^1\)-complete, HyperCTL\(^*\) satisfiability is \(\Sigma_1^2\)-complete. (English) Zbl 07724220 Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 47, 19 p. (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Fortin} et al., LIPIcs -- Leibniz Int. Proc. Inform. 202, Article 47, 19 p. (2021; Zbl 07724220) Full Text: DOI arXiv
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin From LTL to rLTL monitoring: improved monitorability through robust semantics. (English) Zbl 1522.68334 Form. Methods Syst. Des. 59, No. 1-3, 170-204 (2021). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{C. Mascle} et al., Form. Methods Syst. Des. 59, No. 1--3, 170--204 (2021; Zbl 1522.68334) Full Text: DOI
Zimmermann, Wolf; Weißbach, Mandy A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines. (English) Zbl 07495067 Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 326-352 (2021). MSC: 68-XX 03-XX PDFBibTeX XMLCite \textit{W. Zimmermann} and \textit{M. Weißbach}, Lect. Notes Comput. Sci. 12750, 326--352 (2021; Zbl 07495067) Full Text: DOI
Bauzet, Caroline; Lebon, Frédéric; Maitlo, Asghar Ali; Zimmermann, Aleksandra Well-posedness for the coupling of a random heat equation with a multiplicative stochastic Barenblatt equation. (English) Zbl 1479.60121 Stochastic Anal. Appl. 39, No. 6, 1095-1129 (2021). MSC: 60H15 47J35 35K05 35R60 PDFBibTeX XMLCite \textit{C. Bauzet} et al., Stochastic Anal. Appl. 39, No. 6, 1095--1129 (2021; Zbl 1479.60121) Full Text: DOI arXiv
Saorín, Manuel; Zimmermann, Alexander Degenerating 0 in triangulated categories. (English) Zbl 1475.18021 Nagoya Math. J. 244, 158-167 (2021). MSC: 18G80 16E35 13D09 PDFBibTeX XMLCite \textit{M. Saorín} and \textit{A. Zimmermann}, Nagoya Math. J. 244, 158--167 (2021; Zbl 1475.18021) Full Text: DOI arXiv
Seifi, Cinna; Schulze, Marco; Zimmermann, Jürgen Solution procedures for block selection and sequencing in flat-bedded potash underground mines. (English) Zbl 1476.90132 OR Spectrum 43, No. 2, 409-440 (2021). MSC: 90B35 90C59 90C11 90C30 PDFBibTeX XMLCite \textit{C. Seifi} et al., OR Spectrum 43, No. 2, 409--440 (2021; Zbl 1476.90132) Full Text: DOI
Huisgen-Zimmermann, Birge; Saorín, Manuel Dualities for modules of finite projective dimension. (English) Zbl 1470.16025 Assem, Ibrahim (ed.) et al., Advances in representation theory of algebras, ARTA VII. Conference in honor of José Antonio de la Peña’s 60th birthday, Instituto de Matemáticas, Universidad Nacional Autónoma de Mexico City, Mexico, September 24–28, 2018. Providence, RI: American Mathematical Society (AMS); Montreal: Centre de Recherches Mathématiques (CRM). Contemp. Math. 761, 61-101 (2021). MSC: 16G10 16D90 16E05 16E10 16G20 PDFBibTeX XMLCite \textit{B. Huisgen-Zimmermann} and \textit{M. Saorín}, Contemp. Math. 761, 61--101 (2021; Zbl 1470.16025) Full Text: DOI
Atzmueller, Martin; Günnemann, Stephan; Zimmermann, Albrecht Mining communities and their descriptions on attributed graphs: a survey. (English) Zbl 1473.68135 Data Min. Knowl. Discov. 35, No. 3, 661-687 (2021). MSC: 68T05 05C82 62H30 68T10 PDFBibTeX XMLCite \textit{M. Atzmueller} et al., Data Min. Knowl. Discov. 35, No. 3, 661--687 (2021; Zbl 1473.68135) Full Text: DOI
Benner, Peter (ed.); Breiten, Tobias (ed.); Faßbender, Heike (ed.); Hinze, Michael (ed.); Stykel, Tatjana (ed.); Zimmermann, Ralf (ed.) Model reduction of complex dynamical systems. Selected papers based on the presentations at the workshop, University of Graz, Graz, Austria, August 28–30, 2019. (English) Zbl 1470.93005 ISNM. International Series of Numerical Mathematics 171. Cham: Birkhäuser (ISBN 978-3-030-72982-0/hbk; 978-3-030-72985-1/pbk; 978-3-030-72983-7/ebook). xiii, 415 p. (2021). MSC: 93-06 65-06 37-06 74-06 76-06 00B25 PDFBibTeX XMLCite \textit{P. Benner} (ed.) et al., Model reduction of complex dynamical systems. Selected papers based on the presentations at the workshop, University of Graz, Graz, Austria, August 28--30, 2019. Cham: Birkhäuser (2021; Zbl 1470.93005) Full Text: DOI
Seifi, Cinna; Schulze, Marco; Zimmermann, Jürgen A new mathematical formulation for a potash-mine shift scheduling problem with a simultaneous assignment of machines and workers. (English) Zbl 1487.90322 Eur. J. Oper. Res. 292, No. 1, 27-42 (2021). MSC: 90B35 90C11 PDFBibTeX XMLCite \textit{C. Seifi} et al., Eur. J. Oper. Res. 292, No. 1, 27--42 (2021; Zbl 1487.90322) Full Text: DOI
Orlandini, Andrea (ed.); Zimmermann, Martin (ed.) Preface. (English) Zbl 1462.68006 Inf. Comput. 278, Article ID 104591, 2 p. (2021). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDFBibTeX XMLCite \textit{A. Orlandini} (ed.) and \textit{M. Zimmermann} (ed.), Inf. Comput. 278, Article ID 104591, 2 p. (2021; Zbl 1462.68006) Full Text: DOI
Cakir, Merve Nur; Saleemi, Mehwish; Zimmermann, Karl-Heinz On the Theory of Stochastic Automata. arXiv:2103.14423 Preprint, arXiv:2103.14423 [cs.FL] (2021). MSC: 68Q70 68Q87 20M35 BibTeX Cite \textit{M. N. Cakir} et al., ``On the Theory of Stochastic Automata'', Preprint, arXiv:2103.14423 [cs.FL] (2021) Full Text: arXiv OA License
Mascle, Corto; Zimmermann, Martin The keys to decidable hyperltl satisfiability: small models or very simple formulas. (English) Zbl 07650842 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 29, 16 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{C. Mascle} and \textit{M. Zimmermann}, LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 29, 16 p. (2020; Zbl 07650842) Full Text: DOI arXiv
Neider, Daniel; Totzke, Patrick; Zimmermann, Martin Optimally resilient strategies in pushdown safety games. (English) Zbl 07559445 Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 74, 15 p. (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Neider} et al., LIPIcs -- Leibniz Int. Proc. Inform. 170, Article 74, 15 p. (2020; Zbl 07559445) Full Text: DOI arXiv
Murano, Aniello; Rubin, Sasha; Zimmermann, Martin Optimal strategies in weighted limit games. (English) Zbl 07455744 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 114-130 (2020). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{A. Murano} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 114--130 (2020; Zbl 07455744) Full Text: arXiv Link
Wang, Chao; Wang, Shicheng; Zhang, Yimu; Zimmermann, Bruno Finite group actions on the genus-2 surface, geometric generators and extendability. (English) Zbl 1460.57027 Rend. Ist. Mat. Univ. Trieste 52, 513-524 (2020). Reviewer: Ryo Ohashi (Wilkes-Barre) MSC: 57M60 57S17 57S25 PDFBibTeX XMLCite \textit{C. Wang} et al., Rend. Ist. Mat. Univ. Trieste 52, 513--524 (2020; Zbl 1460.57027) Full Text: DOI Link
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin From LTL to rLTL monitoring. Improved monitorability through robust semantics. (English) Zbl 07300848 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{C. Mascle} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020; Zbl 07300848) Full Text: DOI arXiv
Lehtinen, Karoliina; Zimmermann, Martin Good-for-games \(\omega \)-pushdown automata. (English) Zbl 1518.68181 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 689-702 (2020). MSC: 68Q45 91A80 PDFBibTeX XMLCite \textit{K. Lehtinen} and \textit{M. Zimmermann}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 689--702 (2020; Zbl 1518.68181) Full Text: DOI arXiv
Jacobs, Swen; Sakr, Mouhammad; Zimmermann, Martin Promptness and bounded fairness in concurrent and parameterized systems. (English) Zbl 07228514 Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 337-359 (2020). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Jacobs} et al., Lect. Notes Comput. Sci. 11990, 337--359 (2020; Zbl 07228514) Full Text: DOI arXiv
Skrodzki, Martin; Zimmermann, Eric; Polthier, Konrad Variational shape approximation of point set surfaces. (English) Zbl 1505.65093 Comput. Aided Geom. Des. 80, Article ID 101875, 16 p. (2020). MSC: 65D17 68U05 PDFBibTeX XMLCite \textit{M. Skrodzki} et al., Comput. Aided Geom. Des. 80, Article ID 101875, 16 p. (2020; Zbl 1505.65093) Full Text: DOI arXiv
Winter, Sarah; Zimmermann, Martin Finite-state strategies in delay games. (English) Zbl 1443.68100 Inf. Comput. 272, Article ID 104500, 19 p. (2020). MSC: 68Q45 91A43 91A80 PDFBibTeX XMLCite \textit{S. Winter} and \textit{M. Zimmermann}, Inf. Comput. 272, Article ID 104500, 19 p. (2020; Zbl 1443.68100) Full Text: DOI arXiv
Paul, Karsten; Zimmermann, Christopher; Mandadapu, Kranthi K.; Hughes, Thomas J. R.; Landis, Chad M.; Sauer, Roger A. An adaptive space-time phase field formulation for dynamic fracture of brittle shells based on LR NURBS. (English) Zbl 1464.74150 Comput. Mech. 65, No. 4, 1039-1062 (2020). MSC: 74R10 74K25 74S22 74S05 PDFBibTeX XMLCite \textit{K. Paul} et al., Comput. Mech. 65, No. 4, 1039--1062 (2020; Zbl 1464.74150) Full Text: DOI arXiv
Zimmermann, Georg; Pauly, Markus; Bathke, Arne C. Multivariate analysis of covariance with potentially singular covariance matrices and non-normal responses. (English) Zbl 1435.62284 J. Multivariate Anal. 177, Article ID 104594, 19 p. (2020). MSC: 62J10 62H15 62F40 PDFBibTeX XMLCite \textit{G. Zimmermann} et al., J. Multivariate Anal. 177, Article ID 104594, 19 p. (2020; Zbl 1435.62284) Full Text: DOI arXiv
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Synthesizing optimally resilient controllers. (English) Zbl 1435.68066 Acta Inf. 57, No. 1-2, 195-221 (2020). MSC: 68N30 68Q60 91A80 PDFBibTeX XMLCite \textit{D. Neider} et al., Acta Inf. 57, No. 1--2, 195--221 (2020; Zbl 1435.68066) Full Text: DOI arXiv
Skrodzki, Martin; Reitebuch, Ulrich; Zimmermann, Eric Experimental visually-guided investigation of sub-structures in three-dimensional Turing-like patterns. arXiv:2006.16676 Preprint, arXiv:2006.16676 [q-bio.NC] (2020). MSC: 92C15 37N25 37B15 92-05 BibTeX Cite \textit{M. Skrodzki} et al., ``Experimental visually-guided investigation of sub-structures in three-dimensional Turing-like patterns'', Preprint, arXiv:2006.16676 [q-bio.NC] (2020) Full Text: arXiv OA License
Cakir, Merve Nur; Saleemi, Mehwish; Zimmermann, Karl-Heinz Dynamic Programming in Topological Spaces. arXiv:2010.12266 Preprint, arXiv:2010.12266 [math.OC] (2020). MSC: 90C39 54B40 54D70 BibTeX Cite \textit{M. N. Cakir} et al., ``Dynamic Programming in Topological Spaces'', Preprint, arXiv:2010.12266 [math.OC] (2020) Full Text: arXiv OA License
Mvubu, Mhlasakululeka; Kabuga, Emmanuel; Plitz, Christian; Bah, Bubacarr; Becker, Ronnie; Zimmermann, Hans Georg On Error Correction Neural Networks for Economic Forecasting. arXiv:2004.05277 Preprint, arXiv:2004.05277 [cs.LG] (2020). MSC: 37M10 62M10 91B84 BibTeX Cite \textit{M. Mvubu} et al., ``On Error Correction Neural Networks for Economic Forecasting'', Preprint, arXiv:2004.05277 [cs.LG] (2020) Full Text: arXiv OA License
Klai, Sihem; Zimmermann, Antoine; Khadir, Mohamed Tarek Networked ontologies with contextual alignments. (English) Zbl 1518.68372 Comput. Inform. 38, No. 1, 115-150 (2019). MSC: 68T30 PDFBibTeX XMLCite \textit{S. Klai} et al., Comput. Inform. 38, No. 1, 115--150 (2019; Zbl 1518.68372) Full Text: DOI
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Robust, expressive, and quantitative linear temporal logics: pick any two for free. (English) Zbl 1487.68159 Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 1-16 (2019). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{D. Neider} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 1--16 (2019; Zbl 1487.68159) Full Text: arXiv Link
Gavalec, Martin; Ponce, Daniela; Zimmermann, Karel Steady states in the scheduling of discrete-time systems. (English) Zbl 1443.90179 Inf. Sci. 481, 219-228 (2019). MSC: 90B35 PDFBibTeX XMLCite \textit{M. Gavalec} et al., Inf. Sci. 481, 219--228 (2019; Zbl 1443.90179) Full Text: DOI
Zimmermann, Christopher; Toshniwal, Deepesh; Landis, Chad M.; Hughes, Thomas J. R.; Mandadapu, Kranthi K.; Sauer, Roger A. An isogeometric finite element formulation for phase transitions on deforming surfaces. (English) Zbl 1441.74286 Comput. Methods Appl. Mech. Eng. 351, 441-477 (2019). MSC: 74S05 65M60 65D07 74N15 PDFBibTeX XMLCite \textit{C. Zimmermann} et al., Comput. Methods Appl. Mech. Eng. 351, 441--477 (2019; Zbl 1441.74286) Full Text: DOI arXiv
Vogt, Marc Eric; Duddeck, Fabian; Wahle, Martin; Zimmermann, Markus Optimizing tolerance to uncertainty in systems design with early- and late-decision variables. (English) Zbl 07110068 IMA J. Manag. Math. 30, No. 3, 269-280 (2019). MSC: 90-XX 91-XX PDFBibTeX XMLCite \textit{M. E. Vogt} et al., IMA J. Manag. Math. 30, No. 3, 269--280 (2019; Zbl 07110068) Full Text: DOI
Saorín, Manuel; Zimmermann, Alexander Symmetry of the definition of degeneration in triangulated categories. (English) Zbl 1423.18045 Algebr. Represent. Theory 22, No. 4, 801-836 (2019). MSC: 18E30 16E45 14B05 PDFBibTeX XMLCite \textit{M. Saorín} and \textit{A. Zimmermann}, Algebr. Represent. Theory 22, No. 4, 801--836 (2019; Zbl 1423.18045) Full Text: DOI arXiv
Schewe, Sven; Weinert, Alexander; Zimmermann, Martin Parity games with weights. (English) Zbl 1509.68104 Log. Methods Comput. Sci. 15, No. 3, Paper No. 20, 50 p. (2019). MSC: 68Q25 68Q17 68Q60 91A44 PDFBibTeX XMLCite \textit{S. Schewe} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 20, 50 p. (2019; Zbl 1509.68104) Full Text: arXiv
Kildetoft, Tobias; Mackaay, Marco; Mazorchuk, Volodymyr; Zimmermann, Jakob Simple transitive 2-representations of small quotients of Soergel bimodules. (English) Zbl 1409.18005 Trans. Am. Math. Soc. 371, No. 8, 5551-5590 (2019). Reviewer: Dmitry Artamonov (Moskva) MSC: 18D05 16G10 17B10 PDFBibTeX XMLCite \textit{T. Kildetoft} et al., Trans. Am. Math. Soc. 371, No. 8, 5551--5590 (2019; Zbl 1409.18005) Full Text: DOI arXiv
Zimmermann, Paul; Casamayou, Alexandre; Cohen, Nathann; Connan, Guillaume; Dumont, Thierry; Fousse, Laurent; Maltey, François; Meulien, Matthias; Mezzarobba, Marc; Pernet, Clément; Thiéry, Nicolas M.; Bray, Eric; Cremona, John; Forets, Marcelo; Ghitza, Alexandru; Thomas, Hugh Computational mathematics with SageMath. Translated from the 2013 French original by the authors. (English) Zbl 1434.65001 Other Titles in Applied Mathematics 160. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-545-1/pbk; 978-1-61197-546-8 /ebook). xiv, 464 p. (2019). MSC: 65-01 65-04 PDFBibTeX XMLCite \textit{P. Zimmermann} et al., Computational mathematics with SageMath. Translated from the 2013 French original by the authors. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2019; Zbl 1434.65001) Full Text: DOI
Schewe, Sven; Weinert, Alexander; Zimmermann, Martin Parity games with weights. (English) Zbl 1509.68105 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 36, 17 p. (2018). MSC: 68Q25 68Q17 68Q60 91A44 PDFBibTeX XMLCite \textit{S. Schewe} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 36, 17 p. (2018; Zbl 1509.68105) Full Text: DOI
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Synthesizing optimally resilient controllers. (English) Zbl 1528.68085 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018). MSC: 68N30 68Q60 91A80 PDFBibTeX XMLCite \textit{D. Neider} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018; Zbl 1528.68085) Full Text: DOI
Hague, Matthew; Meyer, Roland; Muskalla, Sebastian; Zimmermann, Martin Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 1512.68154 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018). MSC: 68Q60 68Q25 68Q45 91A43 91A80 PDFBibTeX XMLCite \textit{M. Hague} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018; Zbl 1512.68154) Full Text: DOI arXiv
Krebs, Andreas; Meier, Arne; Virtema, Jonni; Zimmermann, Martin Team semantics for the specification and verification of hyperproperties. (English) Zbl 1510.68043 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 10, 16 p. (2018). MSC: 68Q60 03B44 68Q55 PDFBibTeX XMLCite \textit{A. Krebs} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 10, 16 p. (2018; Zbl 1510.68043) Full Text: DOI arXiv
Orlandini, Andrea (ed.); Zimmermann, Martin (ed.) Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. (English) Zbl 1436.68032 Electronic Proceedings in Theoretical Computer Science (EPTCS) 277. Waterloo: Open Publishing Association (OPA). 279 p., electronic only, open access (2018). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDFBibTeX XMLCite \textit{A. Orlandini} (ed.) and \textit{M. Zimmermann} (ed.), Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26--28, 2018. Waterloo: Open Publishing Association (OPA) (2018; Zbl 1436.68032) Full Text: DOI arXiv Link
Bali, Gunnar S.; Bruns, Peter C.; Castagnini, Luca; Diehl, Markus; Gaunt, Jonathan R.; Gläßle, Benjamin; Schäfer, Andreas; Sternbeck, André; Zimmermann, Christian Two-current correlations in the pion on the lattice. (English) Zbl 1405.81084 J. High Energy Phys. 2018, No. 12, Paper No. 61, 48 p. (2018). MSC: 81T25 81V05 PDFBibTeX XMLCite \textit{G. S. Bali} et al., J. High Energy Phys. 2018, No. 12, Paper No. 61, 48 p. (2018; Zbl 1405.81084) Full Text: DOI arXiv
Benner, Peter (ed.); Faßbender, Heike (ed.); Hinze, Michael (ed.); Stykel, Tatjana (ed.); Zimmermann, Ralf (ed.) Model reduction of complex dynamical systems. Editorial of the special issue corresponding to a workshop held at SDU Odense, Denmark, January 11–13, 2017. (English) Zbl 1475.00089 Adv. Comput. Math. 44, No. 6, 1687-1691 (2018). MSC: 00B25 65-06 93-06 37-06 PDFBibTeX XMLCite \textit{P. Benner} (ed.) et al., Adv. Comput. Math. 44, No. 6, 1687--1691 (2018; Zbl 1475.00089) Full Text: DOI
Robayo, Maria Fernanda; Zimmermann, Susanna Infinite algebraic subgroups of the real Cremona group. (English) Zbl 1423.14100 Osaka J. Math. 55, No. 4, 681-712 (2018). MSC: 14E07 14P05 PDFBibTeX XMLCite \textit{M. F. Robayo} and \textit{S. Zimmermann}, Osaka J. Math. 55, No. 4, 681--712 (2018; Zbl 1423.14100) Full Text: arXiv Euclid
Simsen, Jacson; Simsen, Mariza Stefanello; Zimmermann, Aleksandra Study of ODE limit problems for reaction-diffusion equations. (English) Zbl 1402.35151 Opusc. Math. 38, No. 1, 117-131 (2018). MSC: 35K57 35B40 35B41 35K59 PDFBibTeX XMLCite \textit{J. Simsen} et al., Opusc. Math. 38, No. 1, 117--131 (2018; Zbl 1402.35151) Full Text: DOI
Cimler, R.; Gavalec, M.; Zimmermann, K. An optimization problem on the image set of a (max, min) fuzzy operator. (English) Zbl 1397.65045 Fuzzy Sets Syst. 341, 113-122 (2018). MSC: 65F10 15A80 15B15 90C70 PDFBibTeX XMLCite \textit{R. Cimler} et al., Fuzzy Sets Syst. 341, 113--122 (2018; Zbl 1397.65045) Full Text: DOI
Jacobs, Swen; Tentrup, Leander; Zimmermann, Martin Distributed synthesis for parameterized temporal logics. (English) Zbl 1400.68124 Inf. Comput. 262, Part 2, 311-328 (2018). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{S. Jacobs} et al., Inf. Comput. 262, Part 2, 311--328 (2018; Zbl 1400.68124) Full Text: DOI arXiv
Weinert, Alexander; Zimmermann, Martin Visibly linear dynamic logic. (English) Zbl 1400.68059 Theor. Comput. Sci. 747, 100-117 (2018). MSC: 68N30 03B44 68Q25 68Q45 68Q60 PDFBibTeX XMLCite \textit{A. Weinert} and \textit{M. Zimmermann}, Theor. Comput. Sci. 747, 100--117 (2018; Zbl 1400.68059) Full Text: DOI arXiv Link
Boileau, Michel; Franchi, Clara; Mecchia, Mattia; Paoluzzi, Luisa; Zimmermann, Bruno Finite group actions on 3-manifolds and cyclic branched covers of knots. (English) Zbl 1410.57019 J. Topol. 11, No. 2, 283-308 (2018). Reviewer: Joan Porti (Bellaterra) MSC: 57S17 57M40 57M60 57M12 57M25 57M50 PDFBibTeX XMLCite \textit{M. Boileau} et al., J. Topol. 11, No. 2, 283--308 (2018; Zbl 1410.57019) Full Text: DOI arXiv
Wang, Chao; Wang, Shicheng; Zhang, Yimu; Zimmermann, Bruno Bordered surfaces in the 3-sphere with maximum symmetry. (English) Zbl 1395.57048 J. Pure Appl. Algebra 222, No. 9, 2490-2504 (2018). Reviewer: Karl Heinz Dovermann (Honolulu) MSC: 57S17 57N05 20F65 57M60 PDFBibTeX XMLCite \textit{C. Wang} et al., J. Pure Appl. Algebra 222, No. 9, 2490--2504 (2018; Zbl 1395.57048) Full Text: DOI arXiv
Torfah, Hazem; Zimmermann, Martin The complexity of counting models of linear-time temporal logic. (English) Zbl 1390.68441 Acta Inf. 55, No. 3, 191-212 (2018). MSC: 68Q60 03B44 68Q25 PDFBibTeX XMLCite \textit{H. Torfah} and \textit{M. Zimmermann}, Acta Inf. 55, No. 3, 191--212 (2018; Zbl 1390.68441) Full Text: DOI Link
Zimmermann, Martin Parameterized linear temporal logics meet costs: still not costlier than LTL. (English) Zbl 1390.68445 Acta Inf. 55, No. 2, 129-152 (2018). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{M. Zimmermann}, Acta Inf. 55, No. 2, 129--152 (2018; Zbl 1390.68445) Full Text: DOI
Wang, Chao; Wang, Shicheng; Zhang, Yimu; Zimmermann, Bruno Graphs in the 3-sphere with maximum symmetry. (English) Zbl 1422.57048 Discrete Comput. Geom. 59, No. 2, 331-362 (2018). MSC: 57M60 57M15 05E18 PDFBibTeX XMLCite \textit{C. Wang} et al., Discrete Comput. Geom. 59, No. 2, 331--362 (2018; Zbl 1422.57048) Full Text: DOI arXiv
Chen, Chih-Whi; Dubsky, Brendan Frisk; Jonsson, Helena; Mazorchuk, Volodymyr; Westin, Elin Persson; Zhang, Xiaoting; Zimmermann, Jakob Extreme representations of semirings. arXiv:1806.06501 Preprint, arXiv:1806.06501 [math.RT] (2018). BibTeX Cite \textit{C.-W. Chen} et al., ``Extreme representations of semirings'', Preprint, arXiv:1806.06501 [math.RT] (2018) Full Text: arXiv OA License
Zimmermann, Martin Finite-state strategies in delay games. (English) Zbl 1484.91014 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 151-165 (2017). MSC: 91A10 68Q45 PDFBibTeX XMLCite \textit{M. Zimmermann}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 151--165 (2017; Zbl 1484.91014) Full Text: Link
Zimmermann, Martin Games with costs and delays. (English) Zbl 1458.68110 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 65, 12 p. (2017). MSC: 68Q45 91A44 PDFBibTeX XMLCite \textit{M. Zimmermann}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 65, 12 p. (2017; Zbl 1458.68110) Full Text: arXiv Link
Finkbeiner, Bernd; Zimmermann, Martin The first-order logic of hyperproperties. (English) Zbl 1402.03036 Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 30, 14 p. (2017). MSC: 03B70 03B20 03B44 PDFBibTeX XMLCite \textit{B. Finkbeiner} and \textit{M. Zimmermann}, LIPIcs -- Leibniz Int. Proc. Inform. 66, Article 30, 14 p. (2017; Zbl 1402.03036) Full Text: DOI arXiv
Schulze, Marco; Zimmermann, Jürgen Staff and machine shift scheduling in a German potash mine. (English) Zbl 1386.90064 J. Sched. 20, No. 6, 635-656 (2017). MSC: 90B35 68M20 PDFBibTeX XMLCite \textit{M. Schulze} and \textit{J. Zimmermann}, J. Sched. 20, No. 6, 635--656 (2017; Zbl 1386.90064) Full Text: DOI
Wang, Chao; Wang, Shi Cheng; Zhang, Yi Mu; Zimmermann, Bruno Embedding compact surfaces into the 3-dimensional Euclidean space with maximum symmetry. (English) Zbl 1387.57033 Sci. China, Math. 60, No. 9, 1599-1614 (2017). Reviewer: Adrián Bacelo Polo (Madrid) MSC: 57M60 57S25 PDFBibTeX XMLCite \textit{C. Wang} et al., Sci. China, Math. 60, No. 9, 1599--1614 (2017; Zbl 1387.57033) Full Text: DOI arXiv
Hanif, Muhammad Kashif; Zimmermann, Karl-Heinz Accelerating Viterbi algorithm on graphics processing units. (English) Zbl 1430.68434 Computing 99, No. 11, 1105-1123 (2017). MSC: 68W10 65Y05 65Y20 90C39 PDFBibTeX XMLCite \textit{M. K. Hanif} and \textit{K.-H. Zimmermann}, Computing 99, No. 11, 1105--1123 (2017; Zbl 1430.68434) Full Text: DOI
Kaytoue, Mehdi; Plantevit, Marc; Zimmermann, Albrecht; Bendimerad, Anes; Robardet, Céline Exceptional contextual subgraph mining. (English) Zbl 1458.05246 Mach. Learn. 106, No. 8, 1171-1211 (2017). MSC: 05C90 68T05 PDFBibTeX XMLCite \textit{M. Kaytoue} et al., Mach. Learn. 106, No. 8, 1171--1211 (2017; Zbl 1458.05246) Full Text: DOI
Weinert, Alexander; Zimmermann, Martin Easy to win, hard to master: optimal strategies in parity games with costs. (English) Zbl 1401.68128 Log. Methods Comput. Sci. 13, No. 3, Paper No. 29, 42 p. (2017). MSC: 68Q25 68Q17 68Q60 91A44 PDFBibTeX XMLCite \textit{A. Weinert} and \textit{M. Zimmermann}, Log. Methods Comput. Sci. 13, No. 3, Paper No. 29, 42 p. (2017; Zbl 1401.68128) Full Text: DOI arXiv
Schindler, Stefan; Mergheim, Julia; Zimmermann, Marco; Aurich, Jan C.; Steinmann, Paul Numerical homogenization of elastic and thermal material properties for metal matrix composites (MMC). (English) Zbl 1365.74147 Contin. Mech. Thermodyn. 29, No. 1, 51-75 (2017). MSC: 74Q15 74B10 74E30 PDFBibTeX XMLCite \textit{S. Schindler} et al., Contin. Mech. Thermodyn. 29, No. 1, 51--75 (2017; Zbl 1365.74147) Full Text: DOI
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin Bounding average-energy games. (English) Zbl 1392.68115 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 179-195 (2017). MSC: 68M20 68Q25 91A80 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 10203, 179--195 (2017; Zbl 1392.68115) Full Text: DOI arXiv
Jürgens, Michael; Zimmermann, Marc C. Steinitz classes and partial genera of unimodular lattices over imaginary-quadratic fields. (English) Zbl 1426.11029 J. Number Theory 177, 263-284 (2017). MSC: 11E39 11E41 11R11 PDFBibTeX XMLCite \textit{M. Jürgens} and \textit{M. C. Zimmermann}, J. Number Theory 177, 263--284 (2017; Zbl 1426.11029) Full Text: DOI arXiv
Faymonville, Peter; Zimmermann, Martin Parametric linear dynamic logic. (English) Zbl 1362.68169 Inf. Comput. 253, Part 2, 237-256 (2017). MSC: 68Q60 03B44 03B70 68Q25 68Q45 PDFBibTeX XMLCite \textit{P. Faymonville} and \textit{M. Zimmermann}, Inf. Comput. 253, Part 2, 237--256 (2017; Zbl 1362.68169) Full Text: DOI arXiv
Liu, Yuming; Zhou, Guodong; Zimmermann, Alexander Stable equivalences of Morita type do not preserve tensor products and trivial extensions of algebras. (English) Zbl 1406.16002 Proc. Am. Math. Soc. 145, No. 5, 1881-1890 (2017). MSC: 16D90 16D50 16S70 PDFBibTeX XMLCite \textit{Y. Liu} et al., Proc. Am. Math. Soc. 145, No. 5, 1881--1890 (2017; Zbl 1406.16002) Full Text: DOI
Bolotnik, N.; Pivovarov, M.; Zeidis, I.; Zimmermann, K. On the motion of lumped-mass and distributed-mass self-propelling systems in a linear resistive environment. (English) Zbl 07775062 ZAMM, Z. Angew. Math. Mech. 96, No. 6, 747-757 (2016). MSC: 70Exx 70-XX 70Fxx PDFBibTeX XMLCite \textit{N. Bolotnik} et al., ZAMM, Z. Angew. Math. Mech. 96, No. 6, 747--757 (2016; Zbl 07775062) Full Text: DOI
Bolotnik, N.; Pivovarov, M.; Zeidis, I.; Zimmermann, K. The motion of a two-body limbless locomotor along a straight line in a resistive medium. (English) Zbl 07775032 ZAMM, Z. Angew. Math. Mech. 96, No. 4, 429-452 (2016). MSC: 70Exx 70-XX 34Cxx PDFBibTeX XMLCite \textit{N. Bolotnik} et al., ZAMM, Z. Angew. Math. Mech. 96, No. 4, 429--452 (2016; Zbl 07775032) Full Text: DOI
Tentrup, Leander; Weinert, Alexander; Zimmermann, Martin Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time. (English) Zbl 1478.68179 Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 302-315 (2016). MSC: 68Q60 03B44 68Q25 PDFBibTeX XMLCite \textit{L. Tentrup} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 302--315 (2016; Zbl 1478.68179) Full Text: arXiv Link
Jacobs, Swen; Tentrup, Leander; Zimmermann, Martin Distributed PROMPT-LTL synthesis. (English) Zbl 1478.68163 Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 228-241 (2016). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{S. Jacobs} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 228--241 (2016; Zbl 1478.68163) Full Text: arXiv Link
Bai, Mei; Xin, Junchang; Wang, Guoren; Zimmermann, Roger; Wang, Xite Skyline-join query processing in distributed databases. (English) Zbl 1403.68049 Front. Comput. Sci. 10, No. 2, 330-352 (2016). MSC: 68P15 68P05 PDFBibTeX XMLCite \textit{M. Bai} et al., Front. Comput. Sci. 10, No. 2, 330--352 (2016; Zbl 1403.68049) Full Text: DOI
Walter, Matthias; Zimmermann, Jürgen Minimizing average project team size given multi-skilled workers with heterogeneous skill levels. (English) Zbl 1391.90325 Comput. Oper. Res. 70, 163-179 (2016). MSC: 90B35 90B80 90C27 90C11 90B70 PDFBibTeX XMLCite \textit{M. Walter} and \textit{J. Zimmermann}, Comput. Oper. Res. 70, 163--179 (2016; Zbl 1391.90325) Full Text: DOI
Klein, Felix; Zimmermann, Martin Prompt delay. (English) Zbl 1391.68073 Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 43, 14 p. (2016). MSC: 68Q45 03B44 03D05 68Q17 68Q60 91A43 PDFBibTeX XMLCite \textit{F. Klein} and \textit{M. Zimmermann}, LIPIcs -- Leibniz Int. Proc. Inform. 65, Article 43, 14~p. (2016; Zbl 1391.68073) Full Text: DOI arXiv