Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
37014 Publications
2021 | Conference Paper | LibreCat-ID: 24442
Investigation of the pressure-throughput behavior of different faceted mixer geometries on an analytical and simulative basis
M. Frank, V. Hollenhorst, V. Schöppner, in: 36th International Conference of the Polymer Processing - PPS 2021, 2021.
LibreCat
M. Frank, V. Hollenhorst, V. Schöppner, in: 36th International Conference of the Polymer Processing - PPS 2021, 2021.
2021 | Journal Article | LibreCat-ID: 47566
Development of a Dynamic Modeling Approach to Simulate a Segmented Distillation Column for Flexible Operation
B. Bruns, H. Fasel, M. Grünewald, J. Riese, ChemEngineering 5 (2021).
LibreCat
| DOI
B. Bruns, H. Fasel, M. Grünewald, J. Riese, ChemEngineering 5 (2021).
2021 | Journal Article | LibreCat-ID: 47569
Concept of a Flexible Wetted‐Wall Column for the Distillation of Specialty Chemicals
A. Reitze, M. Grünewald, J. Riese, Chemical Engineering & Technology 44 (2021) 1327–1335.
LibreCat
| DOI
A. Reitze, M. Grünewald, J. Riese, Chemical Engineering & Technology 44 (2021) 1327–1335.
2021 | Journal Article | LibreCat-ID: 47564
Characterization of Liquid-Phase Distribution in 3D Printed Structured Packings with an Enclosed Column Wall
A. Reitze, M. Grünewald, J. Riese, Industrial & Engineering Chemistry Research 61 (2021) 740–746.
LibreCat
| DOI
A. Reitze, M. Grünewald, J. Riese, Industrial & Engineering Chemistry Research 61 (2021) 740–746.
2021 | Journal Article | LibreCat-ID: 47567
Flexibility analysis for demand-side management in large-scale chemical processes: An ethylene oxide production case study
B. Bruns, A. Di Pretoro, M. Grünewald, J. Riese, Chemical Engineering Science 243 (2021).
LibreCat
| DOI
B. Bruns, A. Di Pretoro, M. Grünewald, J. Riese, Chemical Engineering Science 243 (2021).
2021 | Journal Article | LibreCat-ID: 47565
Indirect Demand Response Potential of Large-Scale Chemical Processes
B. Bruns, A. Di Pretoro, M. Grünewald, J. Riese, Industrial & Engineering Chemistry Research 61 (2021) 605–620.
LibreCat
| DOI
B. Bruns, A. Di Pretoro, M. Grünewald, J. Riese, Industrial & Engineering Chemistry Research 61 (2021) 605–620.
2021 | Journal Article | LibreCat-ID: 47568
Dynamic Design Optimization for Flexible Process Equipment
B. Bruns, F. Herrmann, M. Grünewald, J. Riese, Industrial & Engineering Chemistry Research 60 (2021) 7678–7688.
LibreCat
| DOI
B. Bruns, F. Herrmann, M. Grünewald, J. Riese, Industrial & Engineering Chemistry Research 60 (2021) 7678–7688.
2021 | Journal Article | LibreCat-ID: 47570
Efficient Production of Specialized Polymers with Highly Flexible Small‐Scale Plants
B. Bruns, T. Becker, J. Riese, S. Lier, B. Werners, Chemical Engineering & Technology 44 (2021) 1148–1152.
LibreCat
| DOI
B. Bruns, T. Becker, J. Riese, S. Lier, B. Werners, Chemical Engineering & Technology 44 (2021) 1148–1152.
2021 | Journal Article | LibreCat-ID: 47571
Experimentelle Untersuchungen zum Tropfenmitriss im Feedeinleitbereich von Destillationskolonnen
H. Fasel, N. Darvishsefat, J. Riese, M. Grünewald, Chemie Ingenieur Technik 93 (2021) 1100–1106.
LibreCat
| DOI
H. Fasel, N. Darvishsefat, J. Riese, M. Grünewald, Chemie Ingenieur Technik 93 (2021) 1100–1106.
2021 | Conference Abstract | LibreCat-ID: 33203
Heat transfer enhancement within internally channeled tubes
A.J.S. Al-Lami, E.Y. Kenig, in: 2021.
LibreCat
A.J.S. Al-Lami, E.Y. Kenig, in: 2021.
2021 | Conference Paper | LibreCat-ID: 21811
Development of a Method for the Identification of Friction Coefficients in Sheet Metal Materials for the Numerical Simulation of Clinching Processes
M.S. Rossel, M. Böhnke, C.R. Bielak, M. Bobbert, G. Meschut, in: Sheet Metal 2021, Trans Tech Publications Ltd, 2021, pp. 81–88.
LibreCat
| DOI
M.S. Rossel, M. Böhnke, C.R. Bielak, M. Bobbert, G. Meschut, in: Sheet Metal 2021, Trans Tech Publications Ltd, 2021, pp. 81–88.
2021 | Book Chapter | LibreCat-ID: 52455
"Lobe den Herren, den mächtigen König der Ehren" - Ein Lied mit Lebensbezug
A. Breckner, in: M. Keuchen (Ed.), Musik als Lebensmittel: Kulturwissenschaftlich-theologische Rationen für ein Jahr, LIT, Berlin, 2021, pp. 27–33.
LibreCat
A. Breckner, in: M. Keuchen (Ed.), Musik als Lebensmittel: Kulturwissenschaftlich-theologische Rationen für ein Jahr, LIT, Berlin, 2021, pp. 27–33.
2021 | Report | LibreCat-ID: 52552 | 
Conference Report: Dynamics of Tradition: Islamic Theology and Law in Relation (September 17-19, 2021, Paderborn)
I. Nassery, M. Tatari, A.R. Mustafa, Conference Report: Dynamics of Tradition: Islamic Theology and Law in Relation (September 17-19, 2021, Paderborn), 2021.
LibreCat
| Download (ext.)
I. Nassery, M. Tatari, A.R. Mustafa, Conference Report: Dynamics of Tradition: Islamic Theology and Law in Relation (September 17-19, 2021, Paderborn), 2021.
2021 | Misc | LibreCat-ID: 52430
Our Energy Grids as Enabler for More Sustainability. Talk
A. Schlüter, Our Energy Grids as Enabler for More Sustainability. Talk, TU München, 2021.
LibreCat
A. Schlüter, Our Energy Grids as Enabler for More Sustainability. Talk, TU München, 2021.
2021 | Book Chapter | LibreCat-ID: 52412
Wir müssen handeln: Jetzt!
A. Schlüter, J. Bernabé-Moreno, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, Carl Hanser Verlag GmbH & Co. KG, München, 2021.
LibreCat
| DOI
A. Schlüter, J. Bernabé-Moreno, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, Carl Hanser Verlag GmbH & Co. KG, München, 2021.
2021 | Book Chapter | LibreCat-ID: 52408
Wer grüne Energie will, muss auch koppeln und speichern
H. Meschede, D. Khripko, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities and Smart Rural Areas, Hanser-Verlag , 2021.
LibreCat
H. Meschede, D. Khripko, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities and Smart Rural Areas, Hanser-Verlag , 2021.
2021 | Misc | LibreCat-ID: 52429
Insights into the Future Energy System in Smart Cities and Rural Areas. Talk
A. Schlüter, Insights into the Future Energy System in Smart Cities and Rural Areas. Talk, Cambridge University, 2021.
LibreCat
A. Schlüter, Insights into the Future Energy System in Smart Cities and Rural Areas. Talk, Cambridge University, 2021.
2021 | Journal Article | LibreCat-ID: 24535
Effect of Solidification Rates at Sand Casting on the Mechanical Joinability of a Cast Aluminium Alloy
M. Neuser, O. Grydin, A. Andreiev, M. Schaper, Metals (2021).
LibreCat
| DOI
M. Neuser, O. Grydin, A. Andreiev, M. Schaper, Metals (2021).
2021 | Journal Article | LibreCat-ID: 24537
Joining suitability of cast aluminium for self-piercing riveting
M. Neuser, F. Kappe, M. Busch, O. Grydin, M. Bobbert, M. Schaper, G. Meschut, T. Hausotte, IOP Conference Series: Materials Science and Engineering (2021).
LibreCat
| DOI
M. Neuser, F. Kappe, M. Busch, O. Grydin, M. Bobbert, M. Schaper, G. Meschut, T. Hausotte, IOP Conference Series: Materials Science and Engineering (2021).
2021 | Conference Paper | LibreCat-ID: 30693
Optimization of packed bed latent heat storages filled with PCM-capsules based on super-ellipsoids
M. Grabo, L. Kuckuck, E. Kenig, in: 2021.
LibreCat
M. Grabo, L. Kuckuck, E. Kenig, in: 2021.
2021 | Book (Editor) | LibreCat-ID: 52571
Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas
A. Schlüter, J. Bernabé-Moreno, eds., Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser GmbH & Co KG, München, 2021.
LibreCat
A. Schlüter, J. Bernabé-Moreno, eds., Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser GmbH & Co KG, München, 2021.
2021 | Journal Article | LibreCat-ID: 46545
Neurocognitive and Neurophysiological Functions Related to ACL Injury: A Framework for Neurocognitive Approaches in Rehabilitation and Return-to-Sports Tests
D.Y. Piskin, A. Benjaminse, P. Dimitrakis, A. Gokeler, Sports Health: A Multidisciplinary Approach 14 (2021) 549–555.
LibreCat
| DOI
D.Y. Piskin, A. Benjaminse, P. Dimitrakis, A. Gokeler, Sports Health: A Multidisciplinary Approach 14 (2021) 549–555.
2021 | Mastersthesis | LibreCat-ID: 51665
Feasibility study of a new static-mechanical rounding of polymer particles for selective laser sintering (Studienarbeit)
K. Bommidi, S. Ponusamy, Feasibility Study of a New Static-Mechanical Rounding of Polymer Particles for Selective Laser Sintering (Studienarbeit), Paderborn University, 2021.
LibreCat
K. Bommidi, S. Ponusamy, Feasibility Study of a New Static-Mechanical Rounding of Polymer Particles for Selective Laser Sintering (Studienarbeit), Paderborn University, 2021.
2021 | Book Chapter | LibreCat-ID: 52377
Energie einsparen in Industrie und Gewerbe
F. Schlosser, R.-H. Hechelmann, H. Meschede, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser Verlag GmbH & Co. KG, München, 2021.
LibreCat
| DOI
F. Schlosser, R.-H. Hechelmann, H. Meschede, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser Verlag GmbH & Co. KG, München, 2021.
2021 | Book Chapter | LibreCat-ID: 52376
Mit Energieeffizienz Grundlagen legen
R.-H. Hechelmann, F. Schlosser, H. Meschede, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser Verlag GmbH & Co. KG, München, 2021.
LibreCat
| DOI
R.-H. Hechelmann, F. Schlosser, H. Meschede, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser Verlag GmbH & Co. KG, München, 2021.
2021 | Book Chapter | LibreCat-ID: 52411
Der Prosumer im Zentrum des digitalen Energiesystems
S. Ikonnikova, A. Schlüter, B. Brandner, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, Carl Hanser Verlag GmbH & Co. KG, München, 2021.
LibreCat
| DOI
S. Ikonnikova, A. Schlüter, B. Brandner, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, Carl Hanser Verlag GmbH & Co. KG, München, 2021.
2021 | Book Chapter | LibreCat-ID: 52378
Energieeffiziente Gebäude
G. Emmerich-Bundel, M. Lindauer, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, Carl Hanser Verlag GmbH & Co. KG, München, 2021.
LibreCat
| DOI
G. Emmerich-Bundel, M. Lindauer, A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, Carl Hanser Verlag GmbH & Co. KG, München, 2021.
2021 | Book Chapter | LibreCat-ID: 52355
Die smarte Kommune in Stadt und Land
A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser Verlag GmbH & Co. KG, München, 2021.
LibreCat
| DOI
A. Schlüter, in: A. Schlüter, J. Bernabé-Moreno (Eds.), Das Energiesystem der Zukunft in Smart Cities und Smart Rural Areas, 1st ed., Carl Hanser Verlag GmbH & Co. KG, München, 2021.
2021 | Journal Article | LibreCat-ID: 27876
Digitale Transformation aus der Perspektive von Kindern und Jugendlichen in Europa gestalten – das Horizon-Projekt DigiGen. PlanBD #4 Around the World
B. Eickelmann, K. Drossel, G. Casamassima, A. Labusch, Fachmagazin für Schule in der digitalen Welt 19–25 (2021).
LibreCat
| Download (ext.)
B. Eickelmann, K. Drossel, G. Casamassima, A. Labusch, Fachmagazin für Schule in der digitalen Welt 19–25 (2021).
2021 | Research Data | LibreCat-ID: 27875
The younger generation’s views on how their education is preparing them for the digital age against the background of COVID-19
B. Eickelmann, M. Barbovschi, G. Casamassima, K. Drossel, G.B. Gudmundsdottir, H.B. Holmarsdottir, A. Kazani, L. Mifsud, D. Parsanoglou, S. Port, M. Sisask, M. Symeonaki, G. Teidla-Kunitsõn, The Younger Generation’s Views on How Their Education Is Preparing Them for the Digital Age against the Background of COVID-19, DigiGen - working paper series, 2021.
LibreCat
B. Eickelmann, M. Barbovschi, G. Casamassima, K. Drossel, G.B. Gudmundsdottir, H.B. Holmarsdottir, A. Kazani, L. Mifsud, D. Parsanoglou, S. Port, M. Sisask, M. Symeonaki, G. Teidla-Kunitsõn, The Younger Generation’s Views on How Their Education Is Preparing Them for the Digital Age against the Background of COVID-19, DigiGen - working paper series, 2021.
2021 | Research Data | LibreCat-ID: 27874
Digital diversity across Europe. Policy brief September 2021 of Working Package 2 'Mapping digital transformations across Europe' in Horizon-2020-Project DigiGen
S. Ayllón, G. Casamassima, K. Drossel, B. Eickelmann, C. Hyggen, S. Lado, S. Port, N. Broekstra, Digital Diversity across Europe. Policy Brief September 2021 of Working Package 2 “Mapping Digital Transformations across Europe” in Horizon-2020-Project DigiGen, DigiGen - working paper series, 2021.
LibreCat
S. Ayllón, G. Casamassima, K. Drossel, B. Eickelmann, C. Hyggen, S. Lado, S. Port, N. Broekstra, Digital Diversity across Europe. Policy Brief September 2021 of Working Package 2 “Mapping Digital Transformations across Europe” in Horizon-2020-Project DigiGen, DigiGen - working paper series, 2021.
2021 | Book Chapter | LibreCat-ID: 30862
Noticing im naturwissenschaftlichen Sachunterricht der Grundschule
A. Gövert, in: M. Mainzer-Murrenhoff, S. Drumm, L. Heine (Eds.), Sprachtheorien in der Zweit- und Fremdsprachenforschung. Eine Basis für empirisches Arbeiten zwischen Fach- und Sprachlernen. , Schneider Verlag Hohengehren, Baltmannsweiler, 2021, pp. 101–117.
LibreCat
A. Gövert, in: M. Mainzer-Murrenhoff, S. Drumm, L. Heine (Eds.), Sprachtheorien in der Zweit- und Fremdsprachenforschung. Eine Basis für empirisches Arbeiten zwischen Fach- und Sprachlernen. , Schneider Verlag Hohengehren, Baltmannsweiler, 2021, pp. 101–117.
2021 | Journal Article | LibreCat-ID: 24971 |
Digitale Prozessintegration in berufs- und wirtschaftspädagogischen Studiengängen – Überlegungen zur Professionalität und professionellen Entwicklung
T. Jenert, H.-H. Kremer, bwp@ Berufs- und Wirtschaftspädagogik – online 40 (2021) 1–24.
LibreCat
| Download (ext.)
T. Jenert, H.-H. Kremer, bwp@ Berufs- und Wirtschaftspädagogik – online 40 (2021) 1–24.
2021 | Journal Article | LibreCat-ID: 52707 |
Being a first-year student during COVID-19 pandemic
R. Büker, Zeitschrift Für Hochschulentwicklung 16 (2021) 45–66.
LibreCat
| Download (ext.)
R. Büker, Zeitschrift Für Hochschulentwicklung 16 (2021) 45–66.
2021 | Journal Article | LibreCat-ID: 52706 |
Anderssein als Ressource: Habitus und Habitusreflexion in der Lehrer*innenbildung
T. Jenert, PraxisForschungLehrer*innenbildung 3 (2021) 82–92.
LibreCat
| DOI
| Download (ext.)
T. Jenert, PraxisForschungLehrer*innenbildung 3 (2021) 82–92.
2021 | Conference Paper | LibreCat-ID: 46038
Digitale Prozessintegration in der beruflichen Lehrer*innenbildung – Praxisnahe Einblicke in die Entwicklung des wirtschaftspädagogischen Studienangebots an der Universität Paderborn
N. Sänger, in: 2021.
LibreCat
N. Sänger, in: 2021.
2021 | Conference Paper | LibreCat-ID: 24937
Einblicke in die curriculare Entwicklung des wirtschaftspädagogischen Studienangebots mit Hilfe der Fallstudiendidaktik
N. Sänger, in: 2021.
LibreCat
N. Sänger, in: 2021.
2021 | Conference Paper | LibreCat-ID: 24938
Soziale Netzwerke als Treiber und Qualitätsmerkmal einer lehrbezogenen Hochschulentwicklung
N. Sänger, T. Jenert, in: 2021.
LibreCat
N. Sänger, T. Jenert, in: 2021.
2021 | Conference Paper | LibreCat-ID: 24932
Bausteine der didaktischen Fallstudienentwicklung für die beruflichen Lehrer*innenbildung im Projekt DiPoLe
N. Sänger, in: 2021.
LibreCat
N. Sänger, in: 2021.
2021 | Conference Paper | LibreCat-ID: 24936
Lehrentwicklungs-Netzwerke und institutionelle Ideen der Hochschullehre
N. Sänger, T. Jenert, in: 2021.
LibreCat
N. Sänger, T. Jenert, in: 2021.
2021 | Book Chapter | LibreCat-ID: 52716 |
Lehrentwicklung an Hochschulen als transferorientierte Netzwerkarbeit: Das Bündnis für Hochschullehre Lehren
T. Jenert, E. Bosse, in: Transfer von Innovation Und Wissen, Springer Fachmedien Wiesbaden, Wiesbaden, 2021.
LibreCat
| DOI
| Download (ext.)
T. Jenert, E. Bosse, in: Transfer von Innovation Und Wissen, Springer Fachmedien Wiesbaden, Wiesbaden, 2021.
2021 | Journal Article | LibreCat-ID: 52705
From entrepreneurial experience to expertise: A self-regulated learning perspective
C. Winkler, A. Fust, T. Jenert, Journal of Small Business Management 61 (2021) 2071–2096.
LibreCat
| DOI
C. Winkler, A. Fust, T. Jenert, Journal of Small Business Management 61 (2021) 2071–2096.
2021 | Book Chapter | LibreCat-ID: 52715
Gestaltung von Studienangeboten. Konzepte, Modelle, Perspektiven
T. Jenert, in: R. Kordts-Freudinger, N. Schaper, A. Scholkmann, B. Szczyrba (Eds.), Handbuch Hochschuldidaktik, UTB, Stuttgart, 2021, pp. 349–362.
LibreCat
T. Jenert, in: R. Kordts-Freudinger, N. Schaper, A. Scholkmann, B. Szczyrba (Eds.), Handbuch Hochschuldidaktik, UTB, Stuttgart, 2021, pp. 349–362.
2021 | Journal Article | LibreCat-ID: 52704 |
The interplay of personal and contextual diversity during the first year at Higher Education: Combining a quantitative and a qualitative approach
T. Jenert, T. Brahm, Frontline Learning Research 9 (2021) 50–77.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Jenert, T. Brahm, Frontline Learning Research 9 (2021) 50–77.
2021 | Book Chapter | LibreCat-ID: 25642
Curriculumforschung
T. Jenert, in: Handbuch Transdisziplinäre Didaktik, transcript Verlag, 2021, pp. 57–66.
LibreCat
| DOI
T. Jenert, in: Handbuch Transdisziplinäre Didaktik, transcript Verlag, 2021, pp. 57–66.
2021 | Book | LibreCat-ID: 52724
Stolpersteine Osnabrück. Projektmaterial für Grundschule und Sekundarstufe I
A. Becher, C. Grewe, Stolpersteine Osnabrück. Projektmaterial für Grundschule und Sekundarstufe I, Büro für Friedenskultur der Stadt Osnabrück, Osnabrück, 2021.
LibreCat
A. Becher, C. Grewe, Stolpersteine Osnabrück. Projektmaterial für Grundschule und Sekundarstufe I, Büro für Friedenskultur der Stadt Osnabrück, Osnabrück, 2021.
2021 | Conference Paper | LibreCat-ID: 52928
Counter Model Transformation for Explaining Non-Subsumption in EL
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence {(KI} 2021), September 28, 2021, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence {(KI} 2021), September 28, 2021, CEUR-WS.org, 2021, pp. 9–22.
2021 | Conference Paper | LibreCat-ID: 52927
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.
LibreCat
| DOI
O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.
2021 | Journal Article | LibreCat-ID: 52926
Enhancing Probabilistic Model Checking with Ontologies
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
2021 | Journal Article | LibreCat-ID: 52929
Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
LibreCat
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).