Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius Answer set programming with external source access. (English) Zbl 1491.68191 Ianni, Giovambattista (ed.) et al., Reasoning web. Semantic interoperability on the web. 13th international summer school 2017, London, UK, July 7–11, 2017. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 10370, 204-275 (2017). MSC: 68T20 68N17 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 10370, 204--275 (2017; Zbl 1491.68191) Full Text: DOI Link
Mörters, Peter; Redl, István Optimal embeddings by unbiased shifts of Brownian motion. (English) Zbl 1379.60094 Bull. Lond. Math. Soc. 49, No. 2, 331-341 (2017). Reviewer: Kun Soo Chang (Seoul) MSC: 60J65 39B62 49J55 60G40 PDFBibTeX XMLCite \textit{P. Mörters} and \textit{I. Redl}, Bull. Lond. Math. Soc. 49, No. 2, 331--341 (2017; Zbl 1379.60094) Full Text: DOI arXiv Link
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter A model building framework for answer set programming with external computations. (English) Zbl 1379.68058 Theory Pract. Log. Program. 16, No. 4, 418-464 (2016). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theory Pract. Log. Program. 16, No. 4, 418--464 (2016; Zbl 1379.68058) Full Text: DOI arXiv
Mörters, Peter; Redl, István Skorokhod embeddings for two-sided Markov chains. (English) Zbl 1339.60103 Probab. Theory Relat. Fields 165, No. 1-2, 483-508 (2016). MSC: 60J10 60G40 60G50 05C70 PDFBibTeX XMLCite \textit{P. Mörters} and \textit{I. Redl}, Probab. Theory Relat. Fields 165, No. 1--2, 483--508 (2016; Zbl 1339.60103) Full Text: DOI arXiv Link
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter Efficient HEX-program evaluation based on unfounded sets. (English) Zbl 1361.68031 J. Artif. Intell. Res. (JAIR) 49, 269-321 (2014). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Artif. Intell. Res. (JAIR) 49, 269--321 (2014; Zbl 1361.68031) Full Text: DOI
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter Exploiting unfounded sets for HEX-program evaluation. (English) Zbl 1361.68030 Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 160-175 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 7519, 160--175 (2012; Zbl 1361.68030) Full Text: DOI
Gschaider, Bernhard F. W.; Honeger, Claudia C.; Redl, Christian E. P. Soot particle deposition within porous structures using a method of moments-lattice Boltzmann approach. (English) Zbl 1329.82118 Bubak, Marian (ed.) et al., Computational science – ICCS 2004. 4th international conference, Kraków, Poland, June 6–9, 2004. Proceedings, Part IV. Berlin: Springer (ISBN 3-540-22129-8/pbk). Lecture Notes in Computer Science 3039, 564-571 (2004). MSC: 82C80 76M28 76T99 76S05 PDFBibTeX XMLCite \textit{B. F. W. Gschaider} et al., Lect. Notes Comput. Sci. 3039, 564--571 (2004; Zbl 1329.82118) Full Text: DOI
Brandstätter, Wilhelm; Redl, Christian Virtual fires — experiences with developing a LBGK based real time tunnel fire simulator for virtual environments. (English) Zbl 1033.68694 Sloot, Peter M. A. (ed.) et al., Computational science – ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part I. Berlin: Springer (ISBN 3-540-40194-6/pbk). Lect. Notes Comput. Sci. 2657, 1062-1071 (2003). MSC: 68U20 PDFBibTeX XMLCite \textit{W. Brandstätter} and \textit{C. Redl}, Lect. Notes Comput. Sci. 2657, 1062--1071 (2003; Zbl 1033.68694) Full Text: Link