Wang, Mengdi Randomized linear programming solves the Markov decision problem in nearly linear (sometimes sublinear) time. (English) Zbl 1455.90148 Math. Oper. Res. 45, No. 2, 517-546 (2020). MSC: 90C40 90C47 68W20 PDFBibTeX XMLCite \textit{M. Wang}, Math. Oper. Res. 45, No. 2, 517--546 (2020; Zbl 1455.90148) Full Text: DOI arXiv
Hahn, Georg On the expected runtime of multiple testing algorithms with bounded error. (English) Zbl 1450.62055 Stat. Probab. Lett. 165, Article ID 108844, 4 p. (2020). MSC: 62H15 62J15 65C05 PDFBibTeX XMLCite \textit{G. Hahn}, Stat. Probab. Lett. 165, Article ID 108844, 4 p. (2020; Zbl 1450.62055) Full Text: DOI arXiv
Corus, Dogan; Oliveto, Pietro S.; Yazdani, Donya When hypermutations and ageing enable artificial immune systems to outperform evolutionary algorithms. (English) Zbl 1443.68226 Theor. Comput. Sci. 832, 166-185 (2020). MSC: 68W50 68W40 PDFBibTeX XMLCite \textit{D. Corus} et al., Theor. Comput. Sci. 832, 166--185 (2020; Zbl 1443.68226) Full Text: DOI arXiv Link
Krejca, Martin S.; Witt, Carsten Lower bounds on the run time of the univariate marginal distribution algorithm on OneMax. (English) Zbl 1443.68228 Theor. Comput. Sci. 832, 143-165 (2020). MSC: 68W50 68Q17 68W40 PDFBibTeX XMLCite \textit{M. S. Krejca} and \textit{C. Witt}, Theor. Comput. Sci. 832, 143--165 (2020; Zbl 1443.68228) Full Text: DOI Link
Covantes Osuna, Edgar; Gao, Wanru; Neumann, Frank; Sudholt, Dirk Design and analysis of diversity-based parent selection schemes for speeding up evolutionary multi-objective optimisation. (English) Zbl 1443.90333 Theor. Comput. Sci. 832, 123-142 (2020). MSC: 90C59 68W50 90C29 PDFBibTeX XMLCite \textit{E. Covantes Osuna} et al., Theor. Comput. Sci. 832, 123--142 (2020; Zbl 1443.90333) Full Text: DOI arXiv Link
Friedrich, Tobias; Kötzing, Timo; Lagodzinski, J. A. Gregor; Neumann, Frank; Schirneck, Martin Analysis of the \((1 + 1)\) EA on subclasses of linear functions under uniform and linear constraints. (English) Zbl 1443.68227 Theor. Comput. Sci. 832, 3-19 (2020). MSC: 68W50 68W40 90C59 PDFBibTeX XMLCite \textit{T. Friedrich} et al., Theor. Comput. Sci. 832, 3--19 (2020; Zbl 1443.68227) Full Text: DOI Link
Gratien, Jean-Marc A robust and scalable multi-level domain decomposition preconditioner for multi-core architecture with large number of cores. (English) Zbl 1503.65308 J. Comput. Appl. Math. 373, Article ID 112614, 17 p. (2020). MSC: 65N55 65F08 65Y10 PDFBibTeX XMLCite \textit{J.-M. Gratien}, J. Comput. Appl. Math. 373, Article ID 112614, 17 p. (2020; Zbl 1503.65308) Full Text: DOI
Castenow, Jannik; Fischer, Matthias; Harbig, Jonas; Jung, Daniel; Meyer auf der Heide, Friedhelm Gathering anonymous, oblivious robots on a grid. (English) Zbl 1433.68597 Theor. Comput. Sci. 815, 289-309 (2020). MSC: 68W15 68T40 68U05 PDFBibTeX XMLCite \textit{J. Castenow} et al., Theor. Comput. Sci. 815, 289--309 (2020; Zbl 1433.68597) Full Text: DOI
Doerr, Benjamin; Kötzing, Timo; Lagodzinski, J. A. Gregor; Lengler, Johannes The impact of lexicographic parsimony pressure for ORDER/MAJORITY on the run time. (English) Zbl 1432.68622 Theor. Comput. Sci. 816, 144-168 (2020). MSC: 68W50 68W40 90C59 PDFBibTeX XMLCite \textit{B. Doerr} et al., Theor. Comput. Sci. 816, 144--168 (2020; Zbl 1432.68622) Full Text: DOI
Kötzing, Timo; Lagodzinski, J. A. Gregor; Lengler, Johannes; Melnichenko, Anna Destructiveness of lexicographic parsimony pressure and alleviation by a concatenation crossover in genetic programming. (English) Zbl 1432.68623 Theor. Comput. Sci. 816, 96-113 (2020). MSC: 68W50 68W40 90C59 PDFBibTeX XMLCite \textit{T. Kötzing} et al., Theor. Comput. Sci. 816, 96--113 (2020; Zbl 1432.68623) Full Text: DOI arXiv
Tiger, Mattias; Heintz, Fredrik Incremental reasoning in probabilistic signal temporal logic. (English) Zbl 1434.68562 Int. J. Approx. Reasoning 119, 325-352 (2020). MSC: 68T30 03B44 68T27 68T40 PDFBibTeX XMLCite \textit{M. Tiger} and \textit{F. Heintz}, Int. J. Approx. Reasoning 119, 325--352 (2020; Zbl 1434.68562) Full Text: DOI
Wawrzyniak, Jakub; Drozdowski, Maciej; Sanlaville, Éric Selecting algorithms for large berth allocation problems. (English) Zbl 1441.90069 Eur. J. Oper. Res. 283, No. 3, 844-862 (2020). MSC: 90B35 PDFBibTeX XMLCite \textit{J. Wawrzyniak} et al., Eur. J. Oper. Res. 283, No. 3, 844--862 (2020; Zbl 1441.90069) Full Text: DOI
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn Determinizing monitors for HML with recursion. (English) Zbl 1494.68155 J. Log. Algebr. Methods Program. 111, Article ID 100515, 38 p. (2020). MSC: 68Q60 03B70 68Q45 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 111, Article ID 100515, 38 p. (2020; Zbl 1494.68155) Full Text: DOI arXiv
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Hongwei A novel approach to verifying context free properties of programs. (English) Zbl 1436.68200 Theor. Comput. Sci. 809, 519-530 (2020). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 809, 519--530 (2020; Zbl 1436.68200) Full Text: DOI
Basin, David; Klaedtke, Felix; Zălinescu, Eugen Runtime verification over out-of-order streams. (English) Zbl 1433.68208 ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020). MSC: 68Q60 03B44 68Q10 68Q85 PDFBibTeX XMLCite \textit{D. Basin} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020; Zbl 1433.68208) Full Text: DOI arXiv
Doerr, Benjamin; Doerr, Carola; Yang, Jing Optimal parameter choices via precise black-box analysis. (English) Zbl 1436.68408 Theor. Comput. Sci. 801, 1-34 (2020). MSC: 68W50 68W40 PDFBibTeX XMLCite \textit{B. Doerr} et al., Theor. Comput. Sci. 801, 1--34 (2020; Zbl 1436.68408) Full Text: DOI arXiv
Raß, Alexander; Schreiner, Jonas; Wanka, Rolf Runtime analysis of discrete particle swarm optimization applied to shortest paths computation. (English) Zbl 1525.68213 Liefooghe, Arnaud (ed.) et al., Evolutionary computation in combinatorial optimization. 19th European conference, EvoCOP 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11452, 115-130 (2019). MSC: 68W50 60J20 68W40 90C35 90C59 PDFBibTeX XMLCite \textit{A. Raß} et al., Lect. Notes Comput. Sci. 11452, 115--130 (2019; Zbl 1525.68213) Full Text: DOI
Yan, Hui; Zhu, Xiaomin; Chen, Huangke; Guo, Hui; Zhou, Wen; Bao, Weidong DEFT: dynamic fault-tolerant elastic scheduling for tasks with uncertain runtime in cloud. (English) Zbl 1442.68020 Inf. Sci. 477, 30-46 (2019). MSC: 68M20 68M15 PDFBibTeX XMLCite \textit{H. Yan} et al., Inf. Sci. 477, 30--46 (2019; Zbl 1442.68020) Full Text: DOI
Antipov, Denis; Doerr, Benjamin; Karavaev, Vitalii A tight runtime analysis for the \((1+(\lambda,\lambda))\) GA on LeadingOnes. (English) Zbl 1433.68641 Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 169-182 (2019). MSC: 68W50 68W40 90C59 PDFBibTeX XMLCite \textit{D. Antipov} et al., in: Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27--29, 2019. New York, NY: Association for Computing Machinery (ACM). 169--182 (2019; Zbl 1433.68641) Full Text: DOI
Shi, Feng; Neumann, Frank; Wang, Jianxin Runtime analysis of evolutionary algorithms for the depth restricted \((1,2)\)-minimum spanning tree problem. (English) Zbl 1433.68652 Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 133-146 (2019). MSC: 68W50 68W40 90C59 PDFBibTeX XMLCite \textit{F. Shi} et al., in: Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27--29, 2019. New York, NY: Association for Computing Machinery (ACM). 133--146 (2019; Zbl 1433.68652) Full Text: DOI
Roostapour, Vahid; Pourhassan, Mojgan; Neumann, Frank Analysis of baseline evolutionary algorithms for the packing while travelling problem. (English) Zbl 1433.68650 Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 124-132 (2019). MSC: 68W50 68W40 90C27 90C59 PDFBibTeX XMLCite \textit{V. Roostapour} et al., in: Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27--29, 2019. New York, NY: Association for Computing Machinery (ACM). 124--132 (2019; Zbl 1433.68650) Full Text: DOI arXiv
Bossek, Jakob; Sudholt, Dirk Time complexity analysis of RLS and (1+1) EA for the edge coloring problem. (English) Zbl 1433.68642 Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 102-115 (2019). MSC: 68W50 05C15 68W40 PDFBibTeX XMLCite \textit{J. Bossek} and \textit{D. Sudholt}, in: Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27--29, 2019. New York, NY: Association for Computing Machinery (ACM). 102--115 (2019; Zbl 1433.68642) Full Text: DOI Link
Lengler, Johannes; Zou, Xun Exponential slowdown for larger populations. The \((\mu+1)\)-EA on monotone functions. (English) Zbl 1433.68647 Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 87-101 (2019). MSC: 68W50 68W40 90C59 PDFBibTeX XMLCite \textit{J. Lengler} and \textit{X. Zou}, in: Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27--29, 2019. New York, NY: Association for Computing Machinery (ACM). 87--101 (2019; Zbl 1433.68647) Full Text: DOI
Doerr, Benjamin An exponential lower bound for the runtime of the compact genetic algorithm on jump functions. (English) Zbl 1433.68643 Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 25-33 (2019). MSC: 68W50 68W40 PDFBibTeX XMLCite \textit{B. Doerr}, in: Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27--29, 2019. New York, NY: Association for Computing Machinery (ACM). 25--33 (2019; Zbl 1433.68643) Full Text: DOI arXiv
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software). (English) Zbl 1425.68268 Form. Methods Syst. Des. 54, No. 3, 279-335 (2019). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Sánchez} et al., Form. Methods Syst. Des. 54, No. 3, 279--335 (2019; Zbl 1425.68268) Full Text: DOI arXiv
Basin, David; Bhatt, Bhargav Nagaraja; Krstić, Srđan; Traytel, Dmitriy Almost event-rate independent monitoring. (English) Zbl 1425.68249 Form. Methods Syst. Des. 54, No. 3, 449-478 (2019). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{D. Basin} et al., Form. Methods Syst. Des. 54, No. 3, 449--478 (2019; Zbl 1425.68249) Full Text: DOI Link
Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander Monitoring hyperproperties. (English) Zbl 1425.68254 Form. Methods Syst. Des. 54, No. 3, 336-363 (2019). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{B. Finkbeiner} et al., Form. Methods Syst. Des. 54, No. 3, 336--363 (2019; Zbl 1425.68254) Full Text: DOI arXiv
Bittens, Sina; Plonka, Gerlind Real sparse fast DCT for vectors with short support. (English) Zbl 1464.65296 Linear Algebra Appl. 582, 359-390 (2019). Reviewer: Manfred Tasche (Rostock) MSC: 65T50 65Y20 94A12 PDFBibTeX XMLCite \textit{S. Bittens} and \textit{G. Plonka}, Linear Algebra Appl. 582, 359--390 (2019; Zbl 1464.65296) Full Text: DOI arXiv
Baake, Ellen; González Casanova, Adrián; Probst, Sebastian; Wakolbinger, Anton Modelling and simulating Lenski’s long-term evolution experiment. (English) Zbl 1415.92128 Theor. Popul. Biol. 127, 58-74 (2019). MSC: 92D15 92-04 PDFBibTeX XMLCite \textit{E. Baake} et al., Theor. Popul. Biol. 127, 58--74 (2019; Zbl 1415.92128) Full Text: DOI arXiv
Doerr, Benjamin Analyzing randomized search heuristics via stochastic domination. (English) Zbl 1451.68363 Theor. Comput. Sci. 773, 115-137 (2019). MSC: 68W50 68T20 68W20 68W40 PDFBibTeX XMLCite \textit{B. Doerr}, Theor. Comput. Sci. 773, 115--137 (2019; Zbl 1451.68363) Full Text: DOI arXiv
Oliveto, Pietro S.; Sudholt, Dirk; Zarges, Christine On the benefits and risks of using fitness sharing for multimodal optimisation. (English) Zbl 1431.90180 Theor. Comput. Sci. 773, 53-70 (2019). MSC: 90C59 90C90 PDFBibTeX XMLCite \textit{P. S. Oliveto} et al., Theor. Comput. Sci. 773, 53--70 (2019; Zbl 1431.90180) Full Text: DOI
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag Portfolio theorem proving and prover runtime prediction for geometry. (English) Zbl 1431.68123 Ann. Math. Artif. Intell. 85, No. 2-4, 119-146 (2019). MSC: 68V15 51M04 68T05 68T20 PDFBibTeX XMLCite \textit{M. Nikolić} et al., Ann. Math. Artif. Intell. 85, No. 2--4, 119--146 (2019; Zbl 1431.68123) Full Text: DOI
Sudholt, Dirk; Witt, Carsten On the choice of the update strength in estimation-of-distribution algorithms and ant colony optimization. (English) Zbl 1421.68155 Algorithmica 81, No. 4, 1450-1489 (2019). MSC: 68T20 68W20 68W40 90C59 PDFBibTeX XMLCite \textit{D. Sudholt} and \textit{C. Witt}, Algorithmica 81, No. 4, 1450--1489 (2019; Zbl 1421.68155) Full Text: DOI Link
Doerr, Benjamin; Fischbeck, Philipp; Frahnow, Clemens; Friedrich, Tobias; Kötzing, Timo; Schirneck, Martin Island models meet rumor spreading. (English) Zbl 1411.68142 Algorithmica 81, No. 2, 886-915 (2019). MSC: 68T20 68W40 PDFBibTeX XMLCite \textit{B. Doerr} et al., Algorithmica 81, No. 2, 886--915 (2019; Zbl 1411.68142) Full Text: DOI
Shi, Feng; Schirneck, Martin; Friedrich, Tobias; Kötzing, Timo; Neumann, Frank Reoptimization time analysis of evolutionary algorithms on linear functions under dynamic uniform constraints. (English) Zbl 1411.68149 Algorithmica 81, No. 2, 828-857 (2019); correction ibid. 82, No. 10, 3117–3123 (2020). MSC: 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{F. Shi} et al., Algorithmica 81, No. 2, 828--857 (2019; Zbl 1411.68149) Full Text: DOI
Doerr, Benjamin; Doerr, Carola; Kötzing, Timo Solving problems with unknown solution length at almost no extra cost. (English) Zbl 1414.68103 Algorithmica 81, No. 2, 703-748 (2019). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{B. Doerr} et al., Algorithmica 81, No. 2, 703--748 (2019; Zbl 1414.68103) Full Text: DOI arXiv
Dang, Duc-Cuong; Lehre, Per Kristian; Nguyen, Phan Trung Hai Level-based analysis of the univariate marginal distribution algorithm. (English) Zbl 1411.68140 Algorithmica 81, No. 2, 668-702 (2019). MSC: 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{D.-C. Dang} et al., Algorithmica 81, No. 2, 668--702 (2019; Zbl 1411.68140) Full Text: DOI arXiv
Doerr, Benjamin; Gießen, Christian; Witt, Carsten; Yang, Jing The \((1+\lambda)\) evolutionary algorithm with self-adjusting mutation rate. (English) Zbl 1411.68143 Algorithmica 81, No. 2, 593-631 (2019). MSC: 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{B. Doerr} et al., Algorithmica 81, No. 2, 593--631 (2019; Zbl 1411.68143) Full Text: DOI arXiv Link
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Hongwei A novel approach to verifying context free properties of programs. (English) Zbl 1522.68353 Tang, Shaojie (ed.) et al., Algorithmic aspects in information and management. 12th international conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11343, 74-87 (2018). MSC: 68Q60 68N30 68Q45 PDFBibTeX XMLCite \textit{N. Zhang} et al., Lect. Notes Comput. Sci. 11343, 74--87 (2018; Zbl 1522.68353) Full Text: DOI
Emmi, Michael; Enea, Constantin Monitoring weak consistency. (English) Zbl 1511.68181 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 487-506 (2018). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. Emmi} and \textit{C. Enea}, Lect. Notes Comput. Sci. 10981, 487--506 (2018; Zbl 1511.68181) Full Text: DOI
Grigore, Radu; Kiefer, Stefan Selective monitoring. (English) Zbl 1520.68101 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 20, 16 p. (2018). MSC: 68Q87 60J20 68Q45 PDFBibTeX XMLCite \textit{R. Grigore} and \textit{S. Kiefer}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 20, 16 p. (2018; Zbl 1520.68101) Full Text: DOI arXiv
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna Monitoring for silent actions. (English) Zbl 1491.68104 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018; Zbl 1491.68104) Full Text: DOI
Xia, Xiaoyun; Zhou, Yuren On the effectiveness of immune inspired mutation operators in some discrete optimization problems. (English) Zbl 1447.90078 Inf. Sci. 426, 87-100 (2018). MSC: 90C59 68W50 PDFBibTeX XMLCite \textit{X. Xia} and \textit{Y. Zhou}, Inf. Sci. 426, 87--100 (2018; Zbl 1447.90078) Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico Weakest precondition reasoning for expected runtimes of randomized algorithms. (English) Zbl 1426.68298 J. ACM 65, No. 5, Article No. 30, 68 p. (2018). MSC: 68W20 68W40 PDFBibTeX XMLCite \textit{B. L. Kaminski} et al., J. ACM 65, No. 5, Article No. 30, 68 p. (2018; Zbl 1426.68298) Full Text: DOI Link
Reyes, Alberto; Ribeiro, Celso C. Extending time-to-target plots to multiple instances. (English) Zbl 1407.90278 Int. Trans. Oper. Res. 25, No. 5, 1515-1536 (2018). MSC: 90C27 90C59 PDFBibTeX XMLCite \textit{A. Reyes} and \textit{C. C. Ribeiro}, Int. Trans. Oper. Res. 25, No. 5, 1515--1536 (2018; Zbl 1407.90278) Full Text: DOI
Duff, Iain; Hogg, Jonathan; Lopez, Florent Experiments with sparse Cholesky using a sequential task-flow implementation. (English) Zbl 1405.65036 Numer. Algebra Control Optim. 8, No. 2, 237-260 (2018). MSC: 65F05 65F50 65Y05 PDFBibTeX XMLCite \textit{I. Duff} et al., Numer. Algebra Control Optim. 8, No. 2, 237--260 (2018; Zbl 1405.65036) Full Text: DOI
Roohi, Nima; Kaur, Ramneet; Weimer, James; Sokolsky, Oleg; Lee, Insup Parameter invariant monitoring for signal temporal logic. (English) Zbl 1409.68174 Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 187-196 (2018). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{N. Roohi} et al., in: Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11--13, 2018. New York, NY: Association for Computing Machinery (ACM). 187--196 (2018; Zbl 1409.68174) Full Text: DOI Link
Duff, Iain; Lopez, Florent; Nakov, Stojce Sparse direct solution on parallel computers. (English) Zbl 1478.65032 Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2–5, 2017. Cham: Springer. Springer Proc. Math. Stat. 235, 67-98 (2018). Reviewer: T. C. Mohan (Chennai) MSC: 65F50 65F05 65Y05 65-04 PDFBibTeX XMLCite \textit{I. Duff} et al., Springer Proc. Math. Stat. 235, 67--98 (2018; Zbl 1478.65032) Full Text: DOI Link
Duque, Robinson; Arbelaez, Alejandro; Díaz, Juan F. Online over time processing of combinatorial problems. (English) Zbl 1402.90145 Constraints 23, No. 3, 310-334 (2018). MSC: 90C27 90B35 90C11 PDFBibTeX XMLCite \textit{R. Duque} et al., Constraints 23, No. 3, 310--334 (2018; Zbl 1402.90145) Full Text: DOI
Bhatti, Muhammad Khurram; Oz, Isil; Amin, Sarah; Mushtaq, Maria; Farooq, Umer; Popov, Konstantin; Brorsson, Mats Locality-aware task scheduling for homogeneous parallel computing systems. (English) Zbl 1398.68062 Computing 100, No. 6, 557-595 (2018). MSC: 68M20 PDFBibTeX XMLCite \textit{M. K. Bhatti} et al., Computing 100, No. 6, 557--595 (2018; Zbl 1398.68062) Full Text: DOI Link
Jeannot, Emmanuel; Fournier, Yvan; Lorendeau, Benjamin Experimenting task-based runtimes on a legacy computational fluid dynamics code with unstructured meshes. (English) Zbl 1410.76005 Comput. Fluids 173, 51-58 (2018). MSC: 76-04 PDFBibTeX XMLCite \textit{E. Jeannot} et al., Comput. Fluids 173, 51--58 (2018; Zbl 1410.76005) Full Text: DOI HAL
Jakšić, Stefan; Bartocci, Ezio; Grosu, Radu; Nguyen, Thang; Ničković, Dejan Quantitative monitoring of STL with edit distance. (English) Zbl 1394.68230 Form. Methods Syst. Des. 53, No. 1, 83-112 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Jakšić} et al., Form. Methods Syst. Des. 53, No. 1, 83--112 (2018; Zbl 1394.68230) Full Text: DOI
Shi, Jinghao; Lahiri, Shuvendu K.; Chandra, Ranveer; Challen, Geoffrey Wireless protocol validation under uncertainty. (English) Zbl 1394.68027 Form. Methods Syst. Des. 53, No. 1, 33-53 (2018). MSC: 68M12 68Q60 PDFBibTeX XMLCite \textit{J. Shi} et al., Form. Methods Syst. Des. 53, No. 1, 33--53 (2018; Zbl 1394.68027) Full Text: DOI
Falcone, Yliès (ed.); Sánchez, César (ed.) Introduction to the special issue on runtime verification. (English) Zbl 1394.68005 Form. Methods Syst. Des. 53, No. 1, 1-5 (2018). MSC: 68-06 68Q60 00B15 PDFBibTeX XMLCite \textit{Y. Falcone} (ed.) and \textit{C. Sánchez} (ed.), Form. Methods Syst. Des. 53, No. 1, 1--5 (2018; Zbl 1394.68005) Full Text: DOI
Hassanieh, Haitham The sparse Fourier transform: theory and practice. Revised version of the author’s 2016 ACM Dissertation. (English) Zbl 1447.65004 ACM Books 19. New York, NY: Association for Computing Machinery (ACM); Williston, VT: Morgan & Claypool Publishers (ISBN 978-1-94748-707-9//hbk; 978-1-94748-704-8/pbk; 978-1-947487-05-5/ebook). xvii, 260 p. (2018). Reviewer: Manfred Tasche (Rostock) MSC: 65-02 65T50 94A12 PDFBibTeX XMLCite \textit{H. Hassanieh}, The sparse Fourier transform: theory and practice. Revised version of the author's 2016 ACM Dissertation. New York, NY: Association for Computing Machinery (ACM); Williston, VT: Morgan \& Claypool Publishers (2018; Zbl 1447.65004) Full Text: DOI
Hensel, Jera; Giesl, Jürgen; Frohn, Florian; Ströder, Thomas Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution. (English) Zbl 1395.68093 J. Log. Algebr. Methods Program. 97, 105-130 (2018). MSC: 68N30 68Q25 PDFBibTeX XMLCite \textit{J. Hensel} et al., J. Log. Algebr. Methods Program. 97, 105--130 (2018; Zbl 1395.68093) Full Text: DOI
Bistaffa, Filippo; Farinelli, Alessandro A COP model for graph-constrained coalition formation. (English) Zbl 1445.68235 J. Artif. Intell. Res. (JAIR) 62, 133-153 (2018). MSC: 68T42 05C82 68R10 PDFBibTeX XMLCite \textit{F. Bistaffa} and \textit{A. Farinelli}, J. Artif. Intell. Res. (JAIR) 62, 133--153 (2018; Zbl 1445.68235) Full Text: Link
Doerr, Benjamin; Doerr, Carola; Kötzing, Timo Static and self-adjusting mutation strengths for multi-valued decision variables. (English) Zbl 1390.68593 Algorithmica 80, No. 5, 1732-1768 (2018). MSC: 68T20 68W20 68W40 90C59 PDFBibTeX XMLCite \textit{B. Doerr} et al., Algorithmica 80, No. 5, 1732--1768 (2018; Zbl 1390.68593) Full Text: DOI
Gießen, Christian; Witt, Carsten Optimal mutation rates for the \((1+\lambda)\) EA on OneMax through asymptotically tight drift analysis. (English) Zbl 1390.68596 Algorithmica 80, No. 5, 1710-1731 (2018). MSC: 68T20 68W20 68W40 PDFBibTeX XMLCite \textit{C. Gießen} and \textit{C. Witt}, Algorithmica 80, No. 5, 1710--1731 (2018; Zbl 1390.68596) Full Text: DOI Link
Doerr, Benjamin; Doerr, Carola Optimal static and self-adjusting parameter choices for the \((1+(\lambda ,\lambda ))\) genetic algorithm. (English) Zbl 1391.68100 Algorithmica 80, No. 5, 1658-1709 (2018). MSC: 68T20 68Q25 68W20 68W40 90C59 PDFBibTeX XMLCite \textit{B. Doerr} and \textit{C. Doerr}, Algorithmica 80, No. 5, 1658--1709 (2018; Zbl 1391.68100) Full Text: DOI HAL
Lissovoi, Andrei; Witt, Carsten The impact of a sparse migration topology on the runtime of island models in dynamic optimization. (English) Zbl 1387.68211 Algorithmica 80, No. 5, 1634-1657 (2018). MSC: 68T20 68W40 90C15 90C59 PDFBibTeX XMLCite \textit{A. Lissovoi} and \textit{C. Witt}, Algorithmica 80, No. 5, 1634--1657 (2018; Zbl 1387.68211) Full Text: DOI
Oliveto, Pietro S.; Paixão, Tiago; Pérez Heredia, Jorge; Sudholt, Dirk; Trubenová, Barbora How to escape local optima in black box optimisation: when non-elitism outperforms elitism. (English) Zbl 1390.68605 Algorithmica 80, No. 5, 1604-1633 (2018). MSC: 68T20 68W40 90C56 90C59 PDFBibTeX XMLCite \textit{P. S. Oliveto} et al., Algorithmica 80, No. 5, 1604--1633 (2018; Zbl 1390.68605) Full Text: DOI Link
Wu, Zijun; Möhring, Rolf H.; Lai, Jianhui Stochastic runtime analysis of a cross-entropy algorithm for traveling salesman problems. (English) Zbl 1390.68787 Theor. Comput. Sci. 724, 69-86 (2018). MSC: 68W40 68T20 90C27 90C59 PDFBibTeX XMLCite \textit{Z. Wu} et al., Theor. Comput. Sci. 724, 69--86 (2018; Zbl 1390.68787) Full Text: DOI arXiv
Rubio-Sánchez, Manuel Introduction to recursive programming. (English) Zbl 1383.68001 Boca Raton, FL: CRC Press (ISBN 978-1-138-10521-8/hbk; 978-1-4987-3528-5/pbk; 978-1-4987-3530-8/ebook). xxxix, 410 p. (2018). Reviewer: T. C. Mohan (Chennai) MSC: 68-01 68N01 PDFBibTeX XMLCite \textit{M. Rubio-Sánchez}, Introduction to recursive programming. Boca Raton, FL: CRC Press (2018; Zbl 1383.68001) Full Text: Link
Fischer, Matthias; Jung, Daniel; Meyer auf der Heide, Friedhelm Gathering anonymous, oblivious robots on a grid. (English) Zbl 1503.68277 Fernández Anta, Antonio (ed.) et al., Algorithms for sensor systems. 13th international symposium on algorithms and experiments for wireless sensor networks, ALGOSENSORS 2017, Vienna, Austria, September 7–8, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10718, 168-181 (2017). MSC: 68T40 68M14 68W15 PDFBibTeX XMLCite \textit{M. Fischer} et al., Lect. Notes Comput. Sci. 10718, 168--181 (2017; Zbl 1503.68277) Full Text: DOI arXiv
Wang, Xiaobing; Liu, Dongmiao; Zhao, Liang; Xue, Yina Runtime verification monitor construction for three-valued PPTL. (English) Zbl 1461.68122 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 144-159 (2017). MSC: 68Q60 03B44 03B50 03D05 68Q45 PDFBibTeX XMLCite \textit{X. Wang} et al., Lect. Notes Comput. Sci. 10189, 144--159 (2017; Zbl 1461.68122) Full Text: DOI
Eremeev, Anton V. Hitting times of local and global optima in genetic algorithms with very high selection pressure. (English) Zbl 1474.90528 Yugosl. J. Oper. Res. 27, No. 3, 323-339 (2017). MSC: 90C59 90C10 PDFBibTeX XMLCite \textit{A. V. Eremeev}, Yugosl. J. Oper. Res. 27, No. 3, 323--339 (2017; Zbl 1474.90528) Full Text: DOI arXiv
Francalanza, Adrian Consistently-detecting monitors. (English) Zbl 1442.68107 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Francalanza}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017; Zbl 1442.68107) Full Text: DOI
Brahimi, Nassim; Salhi, Abdellah; Ourbih-Tari, Megdouda Drift analysis of ant colony optimization of stochastic linear pseudo-Boolean functions. (English) Zbl 1409.90120 Oper. Res. Lett. 45, No. 4, 342-347 (2017). MSC: 90C15 68T05 90C09 90C59 PDFBibTeX XMLCite \textit{N. Brahimi} et al., Oper. Res. Lett. 45, No. 4, 342--347 (2017; Zbl 1409.90120) Full Text: DOI
Könighofer, Bettina; Alshiekh, Mohammed; Bloem, Roderick; Humphrey, Laura; Könighofer, Robert; Topcu, Ufuk; Wang, Chao Shield synthesis. (English) Zbl 1386.68101 Form. Methods Syst. Des. 51, No. 2, 332-361 (2017). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Könighofer} et al., Form. Methods Syst. Des. 51, No. 2, 332--361 (2017; Zbl 1386.68101) Full Text: DOI
Chai, Ming; Schlingloff, Bernd-Holger Monitoring with parametrized extended life sequence charts. (English) Zbl 1377.68129 Fundam. Inform. 153, No. 3, 173-198 (2017). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{M. Chai} and \textit{B.-H. Schlingloff}, Fundam. Inform. 153, No. 3, 173--198 (2017; Zbl 1377.68129) Full Text: DOI
Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko Timed runtime monitoring for multiparty conversations. (English) Zbl 1375.68030 Formal Asp. Comput. 29, No. 5, 877-910 (2017). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{R. Neykova} et al., Formal Asp. Comput. 29, No. 5, 877--910 (2017; Zbl 1375.68030) Full Text: DOI arXiv Link
Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. (English) Zbl 1370.68195 Form. Methods Syst. Des. 51, No. 1, 200-265 (2017). MSC: 68Q60 68N19 68N30 PDFBibTeX XMLCite \textit{W. Ahrendt} et al., Form. Methods Syst. Des. 51, No. 1, 200--265 (2017; Zbl 1370.68195) Full Text: DOI
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé Predictive runtime enforcement. (English) Zbl 1370.68207 Form. Methods Syst. Des. 51, No. 1, 154-199 (2017). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{S. Pinisetty} et al., Form. Methods Syst. Des. 51, No. 1, 154--199 (2017; Zbl 1370.68207) Full Text: DOI HAL
Kassem, Ali; Falcone, Yliès; Lafourcade, Pascal Formal analysis and offline monitoring of electronic exams. (English) Zbl 1370.68205 Form. Methods Syst. Des. 51, No. 1, 117-153 (2017). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{A. Kassem} et al., Form. Methods Syst. Des. 51, No. 1, 117--153 (2017; Zbl 1370.68205) Full Text: DOI HAL
Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna Monitorability for the Hennessy-Milner logic with recursion. (English) Zbl 1370.68203 Form. Methods Syst. Des. 51, No. 1, 87-116 (2017). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{A. Francalanza} et al., Form. Methods Syst. Des. 51, No. 1, 87--116 (2017; Zbl 1370.68203) Full Text: DOI
Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. Robust online monitoring of signal temporal logic. (English) Zbl 1370.68199 Form. Methods Syst. Des. 51, No. 1, 5-30 (2017). MSC: 68Q60 03B44 68W27 PDFBibTeX XMLCite \textit{J. V. Deshmukh} et al., Form. Methods Syst. Des. 51, No. 1, 5--30 (2017; Zbl 1370.68199) Full Text: DOI arXiv
Bartocci, Ezio (ed.); Majumdar, Rupak (ed.) Introduction to the special issue on runtime verification. (English) Zbl 1372.00088 Form. Methods Syst. Des. 51, No. 1, 1-4 (2017). MSC: 00B25 68-06 68Q60 PDFBibTeX XMLCite \textit{E. Bartocci} (ed.) and \textit{R. Majumdar} (ed.), Form. Methods Syst. Des. 51, No. 1, 1--4 (2017; Zbl 1372.00088) Full Text: DOI
Paixão, Tiago; Pérez Heredia, Jorge; Sudholt, Dirk; Trubenová, Barbora Towards a runtime comparison of natural and artificial evolution. (English) Zbl 1366.68270 Algorithmica 78, No. 2, 681-713 (2017). MSC: 68T20 68W40 92D15 PDFBibTeX XMLCite \textit{T. Paixão} et al., Algorithmica 78, No. 2, 681--713 (2017; Zbl 1366.68270) Full Text: DOI arXiv
Dang, Duc-Cuong; Jansen, Thomas; Lehre, Per Kristian Populations can be essential in tracking dynamic optima. (English) Zbl 1366.68258 Algorithmica 78, No. 2, 660-680 (2017). MSC: 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{D.-C. Dang} et al., Algorithmica 78, No. 2, 660--680 (2017; Zbl 1366.68258) Full Text: DOI arXiv
Lissovoi, Andrei; Witt, Carsten A runtime analysis of parallel evolutionary algorithms in dynamic optimization. (English) Zbl 1366.68269 Algorithmica 78, No. 2, 641-659 (2017). MSC: 68T20 68W10 68W40 90C59 PDFBibTeX XMLCite \textit{A. Lissovoi} and \textit{C. Witt}, Algorithmica 78, No. 2, 641--659 (2017; Zbl 1366.68269) Full Text: DOI Link
Gießen, Christian; Witt, Carsten The interplay of population size and mutation probability in the \((1+\lambda )\) EA on OneMax. (English) Zbl 1366.68262 Algorithmica 78, No. 2, 587-609 (2017). MSC: 68T20 68W40 PDFBibTeX XMLCite \textit{C. Gießen} and \textit{C. Witt}, Algorithmica 78, No. 2, 587--609 (2017; Zbl 1366.68262) Full Text: DOI Link
Doerr, Benjamin; Neumann, Frank; Sutton, Andrew M. Time complexity analysis of evolutionary algorithms on random satisfiable \(k\)-CNF formulas. (English) Zbl 1366.68259 Algorithmica 78, No. 2, 561-586 (2017). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{B. Doerr} et al., Algorithmica 78, No. 2, 561--586 (2017; Zbl 1366.68259) Full Text: DOI
Krejca, Martin S.; Witt, Carsten Lower bounds on the run time of the univariate marginal distribution algorithm on OneMax. (English) Zbl 1365.68391 Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 65-79 (2017). MSC: 68T20 68Q17 68W40 PDFBibTeX XMLCite \textit{M. S. Krejca} and \textit{C. Witt}, in: Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12--15, 2017. New York, NY: Association for Computing Machinery (ACM). 65--79 (2017; Zbl 1365.68391) Full Text: DOI Link
Covantes Osuna, Edgar; Sudholt, Dirk Analysis of the clearing diversity-preserving mechanism. (English) Zbl 1365.68387 Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 55-63 (2017). MSC: 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{E. Covantes Osuna} and \textit{D. Sudholt}, in: Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12--15, 2017. New York, NY: Association for Computing Machinery (ACM). 55--63 (2017; Zbl 1365.68387) Full Text: DOI arXiv Link
Friedrich, Tobias; Kötzing, Timo; Lagodzinski, Gregor; Neumann, Frank; Schirneck, Martin Analysis of the (1+1) EA on subclasses of linear functions under uniform and linear constraints. (English) Zbl 1365.68388 Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 45-54 (2017). MSC: 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{T. Friedrich} et al., in: Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12--15, 2017. New York, NY: Association for Computing Machinery (ACM). 45--54 (2017; Zbl 1365.68388) Full Text: DOI Link
Mühlenthaler, Moritz; Raß, Alexander; Schmitt, Manuel; Siegling, Andreas; Wanka, Rolf Runtime analysis of a discrete particle swarm optimization algorithm on sorting and OneMax. (English) Zbl 1365.68394 Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 13-24 (2017). MSC: 68T20 60J10 65Q30 68P10 68W40 90C59 PDFBibTeX XMLCite \textit{M. Mühlenthaler} et al., in: Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12--15, 2017. New York, NY: Association for Computing Machinery (ACM). 13--24 (2017; Zbl 1365.68394) Full Text: DOI
Chen, Zhe Parametric runtime verification is NP-complete and coNP-complete. (English) Zbl 1405.68181 Inf. Process. Lett. 123, 14-20 (2017). MSC: 68Q60 68Q17 68Q25 68Q45 PDFBibTeX XMLCite \textit{Z. Chen}, Inf. Process. Lett. 123, 14--20 (2017; Zbl 1405.68181) Full Text: DOI
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko Monitoring networks through multiparty session types. (English) Zbl 1359.68215 Theor. Comput. Sci. 669, 33-58 (2017). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{L. Bocchi} et al., Theor. Comput. Sci. 669, 33--58 (2017; Zbl 1359.68215) Full Text: DOI
Maleki, Farzam Safarzadeh; Khan, Abdul A. A novel local time stepping algorithm for shallow water flow simulation in the discontinuous Galerkin framework. (English) Zbl 1443.76053 Appl. Math. Modelling 40, No. 1, 70-84 (2016). MSC: 76-10 76M10 PDFBibTeX XMLCite \textit{F. S. Maleki} and \textit{A. A. Khan}, Appl. Math. Modelling 40, No. 1, 70--84 (2016; Zbl 1443.76053) Full Text: DOI
Lipp, Fabian; Wolff, Alexander; Zink, Johannes Faster force-directed graph drawing with the well-separated pair decomposition. (English) Zbl 1461.68158 Algorithms (Basel) 9, No. 3, Paper No. 53, 17 p. (2016). MSC: 68R10 05C62 68W40 PDFBibTeX XMLCite \textit{F. Lipp} et al., Algorithms (Basel) 9, No. 3, Paper No. 53, 17 p. (2016; Zbl 1461.68158) Full Text: DOI
Chai, Ming; Schlingloff, Bernd-Holger System monitoring with a five-valued LTL. (English) Zbl 1394.68226 J. Mult.-Val. Log. Soft Comput. 26, No. 1-2, 33-54 (2016). MSC: 68Q60 03B44 03B50 68M14 PDFBibTeX XMLCite \textit{M. Chai} and \textit{B.-H. Schlingloff}, J. Mult.-Val. Log. Soft Comput. 26, No. 1--2, 33--54 (2016; Zbl 1394.68226) Full Text: Link
Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph Reasoning about recursive probabilistic programs. (English) Zbl 1401.68048 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 672-681 (2016). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{F. Olmedo} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 672--681 (2016; Zbl 1401.68048) Full Text: DOI arXiv
Feldmann, Andreas Emil; Könemann, Jochen; Pashkovich, Kanstantsin; Sanità, Laura Fast approximation algorithms for the generalized survivable network design problem. (English) Zbl 1398.68673 Seok-Hee Hong (ed.), 27th international symposium on algorithms and computation, ISAAC 2016, Sydney, Australia, December 12–14, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-026-2). LIPIcs – Leibniz International Proceedings in Informatics 64, Article 33, 12 p. (2016). MSC: 68W25 05C85 90C35 PDFBibTeX XMLCite \textit{A. E. Feldmann} et al., LIPIcs -- Leibniz Int. Proc. Inform. 64, Article 33, 12 p. (2016; Zbl 1398.68673) Full Text: DOI arXiv
Bonakdarpour, Borzoo; Fraigniaud, Pierre; Rajsbaum, Sergio; Rosenblueth, David A.; Travers, Corentin Decentralized asynchronous crash-resilient runtime verification. (English) Zbl 1392.68234 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 16, 15 p. (2016). MSC: 68Q60 03B44 03B50 68M14 68M15 68Q85 PDFBibTeX XMLCite \textit{B. Bonakdarpour} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 16, 15 p. (2016; Zbl 1392.68234) Full Text: DOI
Mitsch, Stefan; Platzer, André ModelPlex: verified runtime validation of verified cyber-physical system models. (English) Zbl 1380.68282 Form. Methods Syst. Des. 49, No. 1-2, 33-74 (2016). MSC: 68Q60 03B70 93C30 93C83 PDFBibTeX XMLCite \textit{S. Mitsch} and \textit{A. Platzer}, Form. Methods Syst. Des. 49, No. 1--2, 33--74 (2016; Zbl 1380.68282) Full Text: DOI
Alpuente, M.; Frechina, F.; Sapiña, J.; Ballis, D. Assertion-based analysis via slicing with \(\mathsf{ABETS}\) (system description). (English) Zbl 1379.68088 Theory Pract. Log. Program. 16, No. 5-6, 515-532 (2016). MSC: 68N20 68N17 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 16, No. 5--6, 515--532 (2016; Zbl 1379.68088) Full Text: DOI arXiv
Agullo, Emmanuel; Buttari, Alfredo; Guermouche, Abdou; Lopez, Florent Implementing multifrontal sparse solvers for multicore architectures with sequential task flow runtime systems. (English) Zbl 1369.65062 ACM Trans. Math. Softw. 43, No. 2, Article No. 13, 22 p. (2016). MSC: 65F50 65Y05 65Y10 PDFBibTeX XMLCite \textit{E. Agullo} et al., ACM Trans. Math. Softw. 43, No. 2, Article No. 13, 22 p. (2016; Zbl 1369.65062) Full Text: DOI HAL
Peng, Xue; Zhou, Yuren; Xu, Gang Approximation performance of ant colony optimization for the \(\mathrm{TSP}(1,2)\) problem. (English) Zbl 1400.68197 Int. J. Comput. Math. 93, No. 10, 1683-1694 (2016). MSC: 68T20 68W20 68W25 90C27 90C59 PDFBibTeX XMLCite \textit{X. Peng} et al., Int. J. Comput. Math. 93, No. 10, 1683--1694 (2016; Zbl 1400.68197) Full Text: DOI
Bauer, Andreas; Falcone, Yliès Decentralised LTL monitoring. (English) Zbl 1392.68229 Form. Methods Syst. Des. 48, No. 1-2, 46-93 (2016). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. Bauer} and \textit{Y. Falcone}, Form. Methods Syst. Des. 48, No. 1--2, 46--93 (2016; Zbl 1392.68229) Full Text: DOI arXiv