Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph FTMPST: fault-tolerant multiparty session types. (English) Zbl 07788986 Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{K. Peters} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023; Zbl 07788986) Full Text: DOI arXiv
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph Fault-tolerant multiparty session types. (English) Zbl 1499.68233 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 93-113 (2022). MSC: 68Q85 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{K. Peters} et al., Lect. Notes Comput. Sci. 13273, 93--113 (2022; Zbl 1499.68233) Full Text: DOI arXiv
Iben, U.; Wagner, C. Taylor mapping method for solving and learning of dynamic processes. (English) Zbl 07484753 Inverse Probl. Sci. Eng. 29, No. 13, 3190-3213 (2021). MSC: 34Axx 65Lxx 65-XX PDFBibTeX XMLCite \textit{U. Iben} and \textit{C. Wagner}, Inverse Probl. Sci. Eng. 29, No. 13, 3190--3213 (2021; Zbl 07484753) Full Text: DOI
Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe Taming concurrency for verification using multiparty session types. (English) Zbl 07142677 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 196-215 (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{K. Peters} et al., Lect. Notes Comput. Sci. 11884, 196--215 (2019; Zbl 07142677) Full Text: DOI arXiv
Rickmann, Christina; Wagner, Christoph; Nestmann, Uwe; Schmid, Stefan Topological self-stabilization with name-passing process calculi. (English) Zbl 1392.68314 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 19, 15 p. (2016). MSC: 68Q85 68W15 PDFBibTeX XMLCite \textit{C. Rickmann} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 19, 15 p. (2016; Zbl 1392.68314) Full Text: DOI
Matsunaga, D.; Imai, Y.; Wagner, C.; Ishikawa, T. Reorientation of a single red blood cell during sedimentation. (English) Zbl 1383.76566 J. Fluid Mech. 806, 102-128 (2016). MSC: 76Z05 92C17 PDFBibTeX XMLCite \textit{D. Matsunaga} et al., J. Fluid Mech. 806, 102--128 (2016; Zbl 1383.76566) Full Text: DOI
Hatzel, Meike; Wagner, Christoph; Peters, Kirstin; Nestmann, Uwe Encoding CSP into CCS. (English) Zbl 1476.68173 Crafa, Silvia (ed.) et al., Proceedings of the combined 22th international workshop on expressiveness in concurrency and 12th workshop on structural operational semantics, EXPRESS/SOS 2015, Madrid, Spain, August 31, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 190, 61-75 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Hatzel} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 190, 61--75 (2015; Zbl 1476.68173) Full Text: arXiv Link
Wagner, Christoph; Mylovanov, Tymofiy; Tröger, Thomas Informed-principal problem with moral hazard, risk neutrality, and no limited liability. (English) Zbl 1330.91119 J. Econ. Theory 159, Part A, 280-289 (2015). MSC: 91B40 91B44 PDFBibTeX XMLCite \textit{C. Wagner} et al., J. Econ. Theory 159, Part A, 280--289 (2015; Zbl 1330.91119) Full Text: DOI
Wagner, Christoph; Nestmann, Uwe States in process calculi. (English) Zbl 1464.68267 Borgström, Johannes (ed.) et al., Proceedings of the combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics, EXPRESS/SOS 2014, Rome, Italy, September 1, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 160, 48-62 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Wagner} and \textit{U. Nestmann}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 160, 48--62 (2014; Zbl 1464.68267) Full Text: arXiv Link
Ayala, V.; Rodríguez, J. C.; Tribuzy, I. A.; Wagner, C. Solutions of singular control systems on Lie groups. (English) Zbl 1253.93030 J. Dyn. Control Syst. 18, No. 3, 323-338 (2012). MSC: 93B25 93B60 93B11 93B27 34H05 PDFBibTeX XMLCite \textit{V. Ayala} et al., J. Dyn. Control Syst. 18, No. 3, 323--338 (2012; Zbl 1253.93030) Full Text: DOI Link
Bluhm, Christian; Overbeck, Ludger; Wagner, Christoph Introduction to credit risk modeling. 2nd ed. (English) Zbl 1207.91001 Chapman & Hall/CRC Financial Mathematics Series. Boca Raton, FL: CRC Press (ISBN 978-1-58488-992-2/hbk). xix, 364 p. (2010). Reviewer: Malgorzata Doman (Poznań) MSC: 91-01 91G40 91G20 PDFBibTeX XMLCite \textit{C. Bluhm} et al., Introduction to credit risk modeling. 2nd ed. Boca Raton, FL: CRC Press (2010; Zbl 1207.91001)
Wagner, Christoph K. J. Cross- and autocorrelation in multi-period credit portfolio models. 2nd ed. (English) Zbl 1258.91216 Härdle, Wolfgang K. (ed.) et al., Applied quantitative finance. Berlin: Springer (ISBN 978-3-540-69177-8/hbk). 125-138 (2009). MSC: 91G40 91G10 91B30 PDFBibTeX XMLCite \textit{C. K. J. Wagner}, in: Applied quantitative finance. Berlin: Springer. 125--138 (2009; Zbl 1258.91216) Full Text: DOI
Wagner, C.; Müller, V.; Steinmetz, M. Constraining dark energy via baryon acoustic oscillations in the (an)isotropic light-cone power spectrum. (English) Zbl 1144.85309 Astron. Astrophys. 487, No. 1, 63-74 (2008). MSC: 85A40 85A35 83F05 83C55 PDFBibTeX XMLCite \textit{C. Wagner} et al., Astron. Astrophys. 487, No. 1, 63--74 (2008; Zbl 1144.85309) Full Text: DOI arXiv
Stoop, R.; Wagner, C. Neocortex’s architecture optimizes computation, information transfer and synchronizability, at given total connection length. (English) Zbl 1145.92006 Int. J. Bifurcation Chaos Appl. Sci. Eng. 17, No. 7, 2257-2279 (2007). MSC: 92C20 92-08 37N25 PDFBibTeX XMLCite \textit{R. Stoop} and \textit{C. Wagner}, Int. J. Bifurcation Chaos Appl. Sci. Eng. 17, No. 7, 2257--2279 (2007; Zbl 1145.92006) Full Text: DOI
Wagner, C.; Stoop, R. Neocortex’s small world of fractal coupling. (English) Zbl 1141.37387 Int. J. Bifurcation Chaos Appl. Sci. Eng. 17, No. 10, 3409-3414 (2007). MSC: 37N25 92B20 28A80 PDFBibTeX XMLCite \textit{C. Wagner} and \textit{R. Stoop}, Int. J. Bifurcation Chaos Appl. Sci. Eng. 17, No. 10, 3409--3414 (2007; Zbl 1141.37387) Full Text: DOI
Günther, G.; Pennecot, J.; Bosbach, J.; Wagner, C. Numerical and experimental investigations of turbulent convection with separation in aircraft cabins. (English) Zbl 1323.76035 Rath, Hans-Josef (ed.) et al., New results in numerical and experimental fluid mechanics V. Contributions to the 14th STAB/DGLR symposium Bremen, Germany, November 16–18, 2004. Berlin: Springer (ISBN 3-540-33286-3/hbk). Notes on Numerical Fluid Mechanics and Multidisciplinary Design (NNFM) 92, 479-486 (2006). MSC: 76F65 76M12 76-05 PDFBibTeX XMLCite \textit{G. Günther} et al., in: New results in numerical and experimental fluid mechanics V. Contributions to the 14th STAB/DGLR symposium Bremen, Germany, November 16--18, 2004. Berlin: Springer. 479--486 (2006; Zbl 1323.76035) Full Text: DOI
Bluhm, Christian; Overbeck, Ludger; Wagner, Christoph An introduction to credit risk modeling. (English) Zbl 1066.91055 Chapman & Hall/CRC Financial Mathematics Series. Boca Raton, FL: Chapman & Hall/CRC (ISBN 1-58488-326-X/hbk; 978-1-4200-5736-2/ebook). 297 p. (2003). Reviewer: Horst Behncke (Osnabrück) MSC: 91-01 91G40 PDFBibTeX XMLCite \textit{C. Bluhm} et al., An introduction to credit risk modeling. Boca Raton, FL: Chapman \& Hall/CRC (2003; Zbl 1066.91055) Full Text: DOI
Wagner, C.; Stoop, R. Renormalization approach to optimal limiter control in 1-D chaotic systems. (English) Zbl 1005.37017 J. Stat. Phys. 106, No. 1-2, 97-107 (2002). Reviewer: Messoud Efendiev (Berlin) MSC: 37E05 37D45 93C55 37E20 PDFBibTeX XMLCite \textit{C. Wagner} and \textit{R. Stoop}, J. Stat. Phys. 106, No. 1--2, 97--107 (2002; Zbl 1005.37017) Full Text: DOI
Wagner, C. An eddy viscosity scaled dynamic scale similarity model. (English) Zbl 1017.76037 ZAMM, Z. Angew. Math. Mech. 81, Suppl. 3, 491-492 (2001). MSC: 76F65 76M55 PDFBibTeX XMLCite \textit{C. Wagner}, ZAMM, Z. Angew. Math. Mech. 81, 491--492 (2001; Zbl 1017.76037) Full Text: DOI
Wagner, Christoph Lyapunov instability for a hard-disk fluid in equilibrium and nonequilibrium thermostated by deterministic scattering. (English) Zbl 0991.82029 J. Stat. Phys. 98, No. 3-4, 723-742 (2000). MSC: 82C70 82C80 37A60 37D25 PDFBibTeX XMLCite \textit{C. Wagner}, J. Stat. Phys. 98, No. 3--4, 723--742 (2000; Zbl 0991.82029) Full Text: DOI arXiv
Wagner, C.; Friedrich, R. DNS of turbulent convective flows in idealized Czochralski crystal growth configurations. (English) Zbl 0925.76377 Friedrich, Rainer (ed.) et al., Computation and visualization of three-dimensional vortical and turbulent flows. Proceedings of the 5th CNRS-DFG workshop on Numerical flow simulation, München, Germany, December 6–7, 1996. Wiesbaden: Vieweg. Notes Numer. Fluid Mech. 64, 172-190 (1998). MSC: 76M20 76F10 76T99 76R10 PDFBibTeX XMLCite \textit{C. Wagner} and \textit{R. Friedrich}, Notes Numer. Fluid Mech. 64, 172--190 (1998; Zbl 0925.76377)
Wagner, Christoph Traffic flow models considering an internal degree of freedom. (English) Zbl 0947.76075 J. Stat. Phys. 90, No. 5-6, 1251-1275 (1998). MSC: 76P05 82C40 90B20 00A69 PDFBibTeX XMLCite \textit{C. Wagner}, J. Stat. Phys. 90, No. 5--6, 1251--1275 (1998; Zbl 0947.76075) Full Text: DOI
Rudraiah, N.; Wagner, C.; Evans, G. S.; Friedrich, R. Nonlinear study of Rayleigh-Taylor instability in thin films past a porous layer. (English) Zbl 0910.76020 Indian J. Pure Appl. Math. 29, No. 4, 417-431 (1998). MSC: 76E30 76S05 PDFBibTeX XMLCite \textit{N. Rudraiah} et al., Indian J. Pure Appl. Math. 29, No. 4, 417--431 (1998; Zbl 0910.76020)
Gross, D.; Wagner, Ch. The interaction of a straight crack with a center of dilatation. (English) Zbl 0742.73016 Arch. Appl. Mech. 62, No. 2, 134-145 (1992). MSC: 74R99 PDFBibTeX XMLCite \textit{D. Gross} and \textit{Ch. Wagner}, Arch. Appl. Mech. 62, No. 2, 134--145 (1992; Zbl 0742.73016) Full Text: DOI
Aczél, János; Kannappan, Pl.; Ng, C. T.; Wagner, C. Functional equations and inequalities in ’rational group decision making’. (English) Zbl 0519.90009 General inequalities 3, 3rd int. Conf., Oberwolfach 1981, ISNM 64, 239-245 (1983). MSC: 91B06 PDFBibTeX XML
Aczél, János; Wagner, C. Rational group decision making generalized: The case of several unknown functions. (English) Zbl 0456.90008 C. R. Math. Acad. Sci., Soc. R. Can. 3, 139-142 (1981). MSC: 91B10 PDFBibTeX XMLCite \textit{J. Aczél} and \textit{C. Wagner}, C. R. Math. Acad. Sci., Soc. R. Can. 3, 139--142 (1981; Zbl 0456.90008)