Beutner, Eric; Heinemann, Alexander; Smeekes, Stephan A residual bootstrap for conditional value-at-risk. (English) Zbl 07803947 J. Econom. 238, No. 2, Article ID 105554, 16 p. (2024). MSC: 62-XX 91-XX PDFBibTeX XMLCite \textit{E. Beutner} et al., J. Econom. 238, No. 2, Article ID 105554, 16 p. (2024; Zbl 07803947) Full Text: DOI arXiv
Habib, Ahmad Fahim; Heinemann, Thomas; Manahan, Grace G.; Ullmann, Daniel; Scherkl, Paul; Knetsch, Alexander; Sutherland, Andrew; Beaton, Andrew; Campbell, David; Rutherford, Lorne; Boulton, Lewis; Nutter, Alastair; Hewitt, Adam; Dickson, Alexander; Karger, Oliver S.; Litos, Michael D.; O’Shea, Brendon D.; Andonian, Gerard; Bruhwiler, David L.; Pretzler, Georg; Wilson, Thomas; Sheng, Zhengming; Stumpf, Michael; Reichwein, Lars; Pukhov, Alexander; Cary, John R.; Hogan, Mark J.; Yakimenko, Vitaly; Rosenzweig, James B.; Hidding, Bernhard Plasma photocathodes. (English) Zbl 07772741 Ann. Phys., Berlin 535, No. 10, Article ID 2200655, 26 p. (2023). MSC: 81-XX PDFBibTeX XMLCite \textit{A. F. Habib} et al., Ann. Phys., Berlin 535, No. 10, Article ID 2200655, 26 p. (2023; Zbl 07772741) Full Text: DOI OA License
Beutner, Eric; Heinemann, Alexander; Smeekes, Stephan A justification of conditional confidence intervals. (English) Zbl 1475.62234 Electron. J. Stat. 15, No. 1, 2517-2565 (2021). Reviewer: Oscar Bustos (Córdoba) MSC: 62M10 62M20 62G15 60G10 60G25 PDFBibTeX XMLCite \textit{E. Beutner} et al., Electron. J. Stat. 15, No. 1, 2517--2565 (2021; Zbl 1475.62234) Full Text: DOI arXiv
Heinemann, Bernhard Reusing topological nexttime logic. (English) Zbl 1484.03025 Stud. Log. 108, No. 6, 1207-1234 (2020). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Stud. Log. 108, No. 6, 1207--1234 (2020; Zbl 1484.03025) Full Text: DOI
Heinemann, Klaus; Appelö, Daniel; Barber, Desmond P.; Beznosov, Oleksii; Ellison, James A. The Bloch equation for spin dynamics in electron storage rings: computational and theoretical aspects. (English) Zbl 1461.78004 Int. J. Mod. Phys. A 34, No. 36, Article ID 1942032, 16 p. (2019). MSC: 78A15 PDFBibTeX XMLCite \textit{K. Heinemann} et al., Int. J. Mod. Phys. A 34, No. 36, Article ID 1942032, 16 p. (2019; Zbl 1461.78004) Full Text: DOI arXiv
Heinemann, Bernhard Topological facets of the logic of subset spaces (with emphasis on canonical models). (English) Zbl 1444.03058 J. Log. Comput. 29, No. 7, 1099-1120 (2019). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, J. Log. Comput. 29, No. 7, 1099--1120 (2019; Zbl 1444.03058) Full Text: DOI
Bizzozero, D. A.; Ellison, J. A.; Heinemann, K.; Lau, S. R. Rapid evaluation of two-dimensional retarded time integrals. (English) Zbl 1372.65077 J. Comput. Appl. Math. 324, 118-141 (2017). MSC: 65D32 65T40 41A55 35L05 41A20 41A63 PDFBibTeX XMLCite \textit{D. A. Bizzozero} et al., J. Comput. Appl. Math. 324, 118--141 (2017; Zbl 1372.65077) Full Text: DOI
Heinemann, Bernhard Augmenting subset spaces to cope with multi-agent knowledge. (English) Zbl 1474.68336 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 130-145 (2016). MSC: 68T27 03B42 68T30 68T42 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 9537, 130--145 (2016; Zbl 1474.68336) Full Text: DOI
Heinemann, Bernhard On topologically relevant fragments of the logic of linear flows of time. (English) Zbl 1465.03061 Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9160, 27-37 (2015). MSC: 03B44 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 9160, 27--37 (2015; Zbl 1465.03061) Full Text: DOI
Kraus, Christiane; Bonetti, Elena; Heinemann, Christian; Segatti, Antonio Modeling and analysis of a phase field system for damage and phase separation processes in solids. (English) Zbl 1333.35124 J. Differ. Equations 258, No. 11, 3928-3959 (2015). Reviewer: Ivan A. Parinov (Rostov-na-Donu) MSC: 35K85 35K55 49J40 49S05 35J50 74A45 74G25 34A12 82B26 82C26 35K92 PDFBibTeX XMLCite \textit{C. Kraus} et al., J. Differ. Equations 258, No. 11, 3928--3959 (2015; Zbl 1333.35124) Full Text: DOI arXiv
Droschinsky, Andre; Heinemann, Bernhard; Kriege, Nils; Mutzel, Petra Enumeration of maximum common subtree isomorphisms with polynomial-delay. (English) Zbl 1435.05105 Ahn, Hee-Kap (ed.) et al., Algorithms and computation. 25th international symposium, ISAAC 2014, Jeonju, Korea, December 15–17, 2014. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8889, 81-93 (2014). MSC: 05C30 05C60 PDFBibTeX XMLCite \textit{A. Droschinsky} et al., Lect. Notes Comput. Sci. 8889, 81--93 (2014; Zbl 1435.05105) Full Text: DOI
Heinemann, Klaus; Ellison, James A.; Barber, Desmond P.; Vogt, Mathias A New and Unifying Approach to Spin Dynamics and Beam Polarization in Storage Rings. arXiv:1409.4373 Preprint, arXiv:1409.4373 [physics.acc-ph] (2014). BibTeX Cite \textit{K. Heinemann} et al., ``A New and Unifying Approach to Spin Dynamics and Beam Polarization in Storage Rings'', Preprint, arXiv:1409.4373 [physics.acc-ph] (2014) Full Text: arXiv OA License
Heinemann, Bernhard Subset space vs relational semantics of bimodal logic: bringing out the difference. (English) Zbl 1437.03088 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 219-233 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 7734, 219--233 (2013; Zbl 1437.03088) Full Text: DOI
Basteck, Christian; Daniëls, Tijmen R.; Heinemann, Frank Characterising equilibrium selection in global games with strategic complementarities. (English) Zbl 1284.91067 J. Econ. Theory 148, No. 6, 2620-2637 (2013). MSC: 91A40 91A25 PDFBibTeX XMLCite \textit{C. Basteck} et al., J. Econ. Theory 148, No. 6, 2620--2637 (2013; Zbl 1284.91067) Full Text: DOI Link
Heinemann, Bernhard Characterizing subset spaces as bi-topological structures. (English) Zbl 1408.03014 McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 373-388 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 8312, 373--388 (2013; Zbl 1408.03014) Full Text: DOI
Heinemann, Bernhard Characterizing certain topological specifications. (English) Zbl 1360.68589 Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. 7th international computer science symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30641-9/pbk). Lecture Notes in Computer Science 7353, 184-195 (2012). MSC: 68Q60 03B45 03B70 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 7353, 184--195 (2012; Zbl 1360.68589) Full Text: DOI
Heinemann, Bernhard Logics for multi-subset spaces. (English) Zbl 1242.03039 J. Appl. Non-Class. Log. 20, No. 3, 219-240 (2010). MSC: 03B42 68T27 68T42 PDFBibTeX XMLCite \textit{B. Heinemann}, J. Appl. Non-Class. Log. 20, No. 3, 219--240 (2010; Zbl 1242.03039) Full Text: DOI
Heinemann, Bernhard The Cantor space as a generic model of topologically presented knowledge. (English) Zbl 1284.03143 Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 169-180 (2010). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 6072, 169--180 (2010; Zbl 1284.03143) Full Text: DOI
Heinemann, Bernhard Using hybrid logic for coping with functions in subset spaces. (English) Zbl 1196.03035 Stud. Log. 94, No. 1, 23-45 (2010). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{B. Heinemann}, Stud. Log. 94, No. 1, 23--45 (2010; Zbl 1196.03035) Full Text: DOI
Heinemann, Bernhard Observational effort and formally open mappings. (English) Zbl 1246.03037 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 197-208 (2009). MSC: 03B42 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 5514, 197--208 (2009; Zbl 1246.03037) Full Text: DOI
Heinemann, Bernhard A hybrid logic for reasoning about knowledge and topology. (English) Zbl 1202.03030 J. Logic Lang. Inf. 17, No. 1, 19-41 (2008). Reviewer: Marie Duží (Ostrava) MSC: 03B42 03B45 03C80 PDFBibTeX XMLCite \textit{B. Heinemann}, J. Logic Lang. Inf. 17, No. 1, 19--41 (2008; Zbl 1202.03030) Full Text: DOI
Heinemann, Bernhard A PDL-like logic of knowledge acquisition. (English) Zbl 1188.03021 Diekert, Volker (ed.) et al., Computer science – theory and applications. Second international symposium on computer science in Russia, CSR 2007, Ekaterinburg, Russia, September 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74509-9/pbk). Lecture Notes in Computer Science 4649, 146-157 (2007). MSC: 03B70 03B42 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 4649, 146--157 (2007; Zbl 1188.03021) Full Text: DOI
Fromang, S.; Papaloizou, J.; Lesur, G.; Heinemann, T. MHD simulations of the magnetorotational instability in a shearing box with zero net flux. II: The effect of transport coefficients. (English) Zbl 1137.85319 Astron. Astrophys. 476, No. 3, 1123-1132 (2007). MSC: 85A30 85A25 PDFBibTeX XMLCite \textit{S. Fromang} et al., Astron. Astrophys. 476, No. 3, 1123--1132 (2007; Zbl 1137.85319) Full Text: DOI arXiv
Heinemann, Bernhard Including the past in ‘topologic’. (English) Zbl 1132.03321 Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 269-283 (2007). MSC: 03B42 03B44 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 4514, 269--283 (2007; Zbl 1132.03321) Full Text: DOI
Shears, T. G.; Heinemann, B.; Waters, D. In search of the origin of mass. (English) Zbl 1152.81908 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 364, No. 1849, 3389-3405 (2006). MSC: 81V25 PDFBibTeX XMLCite \textit{T. G. Shears} et al., Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 364, No. 1849, 3389--3405 (2006; Zbl 1152.81908) Full Text: DOI
Heinemann, Bernhard Regarding overlaps in ‘topologic’. (English) Zbl 1172.03010 Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 259-277 (2006). Reviewer: Damas Gruska (Bratislava) MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, in: Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25--28, 2006. London: College Publications. 259--277 (2006; Zbl 1172.03010)
Heinemann, T.; Dobler, W.; Nordlund, Å; Brandenburg, A. Radiative transfer in decomposed domains. (English) Zbl 1104.85008 Astron. Astrophys. 448, No. 2, 731-737 (2006). MSC: 85A30 85A25 PDFBibTeX XMLCite \textit{T. Heinemann} et al., Astron. Astrophys. 448, No. 2, 731--737 (2006; Zbl 1104.85008) Full Text: DOI arXiv
Heinemann, Bernhard Algebras as knowledge structures. (English) Zbl 1156.03319 Jędrzejowicz, Joanna (ed.) et al., Mathematical foundations of computer science 2005. 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28702-7/pbk). Lecture Notes in Computer Science 3618, 471-482 (2005). MSC: 03B42 03B25 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 3618, 471--482 (2005; Zbl 1156.03319) Full Text: DOI
Heinemann, Bernard A two-sorted hybrid logic including guarded jumps. (English) Zbl 1109.03013 Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 73-92 (2005). Reviewer: Marie Duží (Ostrava) MSC: 03B45 03B42 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, in: Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9--11, 2004. London: King's College Publications. 73--92 (2005; Zbl 1109.03013)
Weld, Richard J.; Butts, Christine; Heinemann, Jack A. Models of phage growth and their applicability to phage therapy. (English) Zbl 1439.92112 J. Theor. Biol. 227, No. 1, 1-11 (2004). MSC: 92C50 92C70 PDFBibTeX XMLCite \textit{R. J. Weld} et al., J. Theor. Biol. 227, No. 1, 1--11 (2004; Zbl 1439.92112) Full Text: DOI
Heinemann, Bernhard A hybrid logic of knowledge supporting topological reasoning. (English) Zbl 1108.68386 Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 181-195 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 3116, 181--195 (2004; Zbl 1108.68386) Full Text: DOI
Breitsamter, Christian (ed.); Laschka, Boris (ed.); Heinemann, Hans-Joachim (ed.); Hilbig, Reinhard (ed.) New results in numerical and experimental fluid mechanics IV. Contributions to the 13th STAB/DGLR symposium, Munich, Germany, November 12–14, 2002. (English) Zbl 1067.76002 Notes on Numerical Fluid Mechanics and Multidisciplinary Design (NNFM) 87. Berlin: Springer (ISBN 3-540-20258-7/hbk). xiii, 482 p. (2004). Reviewer: Nina Shokina (Stuttgart) MSC: 76-06 76Mxx 00B25 76-05 PDFBibTeX XMLCite \textit{C. Breitsamter} (ed.) et al., New results in numerical and experimental fluid mechanics IV. Contributions to the 13th STAB/DGLR symposium, Munich, Germany, November 12--14, 2002. Berlin: Springer (2004; Zbl 1067.76002)
Heinemann, Bernhard The hybrid logic of linear set spaces. (English) Zbl 1057.03015 Log. J. IGPL 12, No. 3, 181-198 (2004). Reviewer: Giacomo Bonanno (Davis) MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{B. Heinemann}, Log. J. IGPL 12, No. 3, 181--198 (2004; Zbl 1057.03015) Full Text: DOI
Heinemann, Bernhard A modal logic for discretely descending chains of sets. (English) Zbl 1054.03016 Stud. Log. 76, No. 1, 67-90 (2004). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B45 03B44 03B42 03B25 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Stud. Log. 76, No. 1, 67--90 (2004; Zbl 1054.03016) Full Text: DOI
Heinemann, Bernhard Extended canonicity of certain topological properties of set spaces. (English) Zbl 1273.03070 Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 137-151 (2003). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 2850, 137--151 (2003; Zbl 1273.03070)
Heinemann, Bernhard Towards uniform reasoning via structured subset spaces. (English) Zbl 1077.03010 Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 185-203 (2003). Reviewer: Giacomo Bonanno (Davis) MSC: 03B45 03B42 03B25 PDFBibTeX XMLCite \textit{B. Heinemann}, in: Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King's College Publications. 185--203 (2003; Zbl 1077.03010)
Heinemann, Bernhard A hybrid treatment of evolutionary sets. (English) Zbl 1077.68848 Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 204-213 (2002). MSC: 68T27 03B42 03B44 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 2313, 204--213 (2002; Zbl 1077.68848) Full Text: Link
Heinemann, Bernhard Knowledge over dense flows of time (from a hybrid point of view). (English) Zbl 1027.03012 Agrawal, Manindra (ed.) et al., FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2556, 194-205 (2002). MSC: 03B42 68T30 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 2556, 194--205 (2002; Zbl 1027.03012) Full Text: Link
Heinemann, Bernhard Linear tense logics of increasing sets. (English) Zbl 1005.03023 J. Log. Comput. 12, No. 4, 583-606 (2002). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B44 PDFBibTeX XMLCite \textit{B. Heinemann}, J. Log. Comput. 12, No. 4, 583--606 (2002; Zbl 1005.03023) Full Text: DOI Link
Heinemann, Bernhard Modelling change with the aid of knowledge and time. (English) Zbl 0999.68212 Freivalds, Rūsiņš (ed.), Fundamentals of computation theory. 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2138, 150-161 (2001). MSC: 68T30 68T27 03B44 03B42 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 2138, 150--161 (2001; Zbl 0999.68212) Full Text: Link
Heinemann, Stefan-M.; Stratmann, Bernd O. Geometric exponents for hyperbolic Julia sets. (English) Zbl 1055.37056 Ill. J. Math. 45, No. 3, 775-785 (2001). MSC: 37F50 37F35 28A80 37F15 PDFBibTeX XMLCite \textit{S.-M. Heinemann} and \textit{B. O. Stratmann}, Ill. J. Math. 45, No. 3, 775--785 (2001; Zbl 1055.37056)
Heinemann, Stefan-M.; Stratmann, Bernd O. Hausdorff dimension 2 for Julia sets of quadratic polynomials. (English) Zbl 0991.37031 Math. Z. 237, No. 3, 571-583 (2001). Reviewer: Messoud Efendiev (Berlin) MSC: 37F50 37F45 37F10 PDFBibTeX XMLCite \textit{S.-M. Heinemann} and \textit{B. O. Stratmann}, Math. Z. 237, No. 3, 571--583 (2001; Zbl 0991.37031) Full Text: DOI
Heinemann, Bernhard Generalizing the modal and temporal logic of linear time. (English) Zbl 0983.03013 Rus, Teodor (ed.), Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20-27, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1816, 41-56 (2000). MSC: 03B44 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 1816, 41--56 (2000; Zbl 0983.03013)
Heinemann, Bernhard On sets growing continuously. (English) Zbl 0957.03028 Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 420-431 (1999). Reviewer: Giacomo Bonanno (Davis) MSC: 03B44 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 1738, 420--431 (1999; Zbl 0957.03028)
Heinemann, Bernhard The complexity of certain modal formulas on binary ramified subset trees. (English) Zbl 0951.03010 Fundam. Inform. 39, No. 3, 259-272 (1999). Reviewer: J.Šefránek (Bratislava) MSC: 03B42 03B45 68T30 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Fundam. Inform. 39, No. 3, 259--272 (1999; Zbl 0951.03010)
Heinemann, Bernhard Temporal aspects of the modal logic of subset spaces. (English) Zbl 0951.03014 Theor. Comput. Sci. 224, No. 1-2, 135-155 (1999). Reviewer: J.Šefránek (Bratislava) MSC: 03B42 03B44 68T30 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Theor. Comput. Sci. 224, No. 1--2, 135--155 (1999; Zbl 0951.03014) Full Text: DOI
Heinemann, Bernhard Separating sets by modal formulas. (English) Zbl 0934.03022 Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4-8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 140-153 (1999). Reviewer: J.Šefránek (Bratislava) MSC: 03B42 68T30 03B45 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 1548, 140--153 (1999; Zbl 0934.03022)
Heinemann, Bernhard Topological modal logics satisfying finite chain conditions. (English) Zbl 0977.03014 Notre Dame J. Formal Logic 39, No. 3, 406-421 (1998). Reviewer: Neculai Curteanu (Iaşi) MSC: 03B42 68T27 68Q55 03B70 PDFBibTeX XMLCite \textit{B. Heinemann}, Notre Dame J. Formal Logic 39, No. 3, 406--421 (1998; Zbl 0977.03014) Full Text: DOI
Heinemann, Bernhard Topological nexttime logic. (English) Zbl 0917.03010 Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 99-113 (1998). Reviewer: J.Šefránek (Bratislava) MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, in: Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). 99--113 (1998; Zbl 0917.03010)
Heinemann, Bernhard A topological generalization of propositional linear time temporal logic. (English) Zbl 0943.03016 Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 289-297 (1997). Reviewer: Petr Jančar (Ostrava) MSC: 03B44 68Q60 03B42 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 1295, 289--297 (1997; Zbl 0943.03016)
Heinemann, Bernhard On the complexity of prefix formulas in modal logic of subset spaces. (English) Zbl 0888.03028 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 145-155 (1997). MSC: 03D15 03B45 68Q25 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 1234, 145--155 (1997; Zbl 0888.03028)
Heinemann, Bernhard Revisiting knowledge and time from a topological point of view. (English) Zbl 0886.03026 Grahne, G. (ed.), SCAI’97. 6th Scandinavian conference on Artificial intelligence, Helsinki, Finland, August 18–20, 1997. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 40, 40-51 (1997). MSC: 03B80 68T27 68T30 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Front. Artif. Intell. Appl. 40, 40--51 (1997; Zbl 0886.03026)
Heinemann, Bernhard On binary computation structures. (English) Zbl 0873.03022 Math. Log. Q. 43, No. 2, 203-215 (1997). MSC: 03B45 68T27 68T30 PDFBibTeX XMLCite \textit{B. Heinemann}, Math. Log. Q. 43, No. 2, 203--215 (1997; Zbl 0873.03022) Full Text: DOI
Heinemann, Bernhard Expressive completeness of modal logic on binary ramified frames. (English) Zbl 0976.03018 J. Appl. Non-Class. Log. 6, No. 4, 347-367 (1996). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, J. Appl. Non-Class. Log. 6, No. 4, 347--367 (1996; Zbl 0976.03018) Full Text: DOI
Hackel, S.; Heinemann, D.; Fricke, B. Computation of linear molecules by means of the finite element method (FEM). (Berechnung von linearen Molekülen mit der Finite Elemente Methode (FEM).) (German) Zbl 0850.65351 Z. Angew. Math. Mech. 75, Suppl. 2, S487-S488 (1995). MSC: 65Z05 65N30 65N55 81Q05 35Q40 PDFBibTeX XMLCite \textit{S. Hackel} et al., Z. Angew. Math. Mech. 75, S487--S488 (1995; Zbl 0850.65351)
Heinemann, Bernhard On expressive completeness of modal logic. (English) Zbl 0946.03022 Nerode, A. (ed.) et al., LFCS ’94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 813, 153-163 (1994). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 813, 153--163 (1994; Zbl 0946.03022)
Bradley, F. J.; Heinemann, S.; Hoopes, J. A. A hydraulics-based/optimization methodology for gating design. (English) Zbl 0800.76113 Appl. Math. Modelling 17, No. 8, 406-414 (1993). MSC: 76D99 76M25 PDFBibTeX XMLCite \textit{F. J. Bradley} et al., Appl. Math. Modelling 17, No. 8, 406--414 (1993; Zbl 0800.76113) Full Text: DOI
Heinemann, Bernhard; Weihrauch, Klaus Logic for computer scientists. An introduction. 2., durchges. Aufl. (Logik für Informatiker. Eine Einführung.) (German) Zbl 0828.03001 Leitfäden und Monographien der Informatik. Stuttgart: B. G. Teubner. viii, 240 S. (1992). Reviewer: K.Schultz (Chemnitz) MSC: 03-01 PDFBibTeX XMLCite \textit{B. Heinemann} and \textit{K. Weihrauch}, Logik für Informatiker. Eine Einführung. 2., durchges. Aufl. Stuttgart: B. G. Teubner (1992; Zbl 0828.03001)
Heinemann, Bernhard; Weihrauch, Klaus Logics for computer scientists. An introduction. (Logik für Informatiker. Eine Einführung.) (German) Zbl 0768.68001 Leitfäden und Monographien der Informatik. Stuttgart: B.G. Teubner. 239 p. (1991). Reviewer: Ch.Posthoff (Chemnitz) MSC: 68-01 03-01 68N17 03B10 PDFBibTeX XMLCite \textit{B. Heinemann} and \textit{K. Weihrauch}, Logik für Informatiker. Eine Einführung. Stuttgart: B.G. Teubner (1991; Zbl 0768.68001)
Heinemann, Bernhard On finite intersections of ”Henselian valued” fields. (English) Zbl 0583.12018 Manuscr. Math. 52, 37-61 (1985). Reviewer: A.Prestel MSC: 12J10 12D15 12J15 20E18 14Pxx PDFBibTeX XMLCite \textit{B. Heinemann}, Manuscr. Math. 52, 37--61 (1985; Zbl 0583.12018) Full Text: DOI EuDML
Heinemann, Bernhard; Prestel, Alexander Fields regularly closed with respect to finitely many valuations and orderings. (English) Zbl 0566.03023 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 60, 20-59 (1984). Reviewer: Bernhard Heinemann MSC: 12J10 12J15 03C60 12L12 PDFBibTeX XMLCite \textit{B. Heinemann} and \textit{A. Prestel}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 60, 20--59 (1984; Zbl 0566.03023)
Heinemann, B.; Prestel, A. Fields regularly closed with respect to finitely many valuations and orderings. (English) Zbl 0555.12008 Quadratic and Hermitian forms, Conf. Hamilton/Ont. 1983, CMS Conf. Proc. 4, 297-336 (1984). Reviewer: Jiří Močkoř (Ostrava) MSC: 12J10 12J15 12L12 03C60 PDFBibTeX XML
Heinemann, R. F.; Poore, A. B. Hopf bifurcation computations for distributed parameter systems. (English) Zbl 0488.65059 Trans. 26th Conf. Army Math., Hanover/N.H. 1980, ARO Rep. 81-1, 313-325 (1981). MSC: 65Z05 80A25 80A32 35K55 PDFBibTeX XML
Beutel, Walter; Heinemann, Rolf; Herzog, Wolfgang; Krah, Peter [Angermann, D.; Bludau, I.; Hinz, H.-H.; Köhler, L.; Wenzel, R.-D.; Schütz, A.] Datenspeicherung. Unter Mitarbeit von Dieter Angermann, Ingo Bludau, Hans-Holger Hinz, Lutz Köhler, Rolf-Dieter Wenzel. Bearbeiter: A. Schütz. (German) Zbl 0319.68013 Schriftenreihe Datenverarbeitung. Berlin: Verlag Die Wirtschaft. 122 S. M 11.00 (1974). MSC: 68N01 68P20 68-01 PDFBibTeX XML