Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-0
Publikationen
Ergebnisse pro Seite:  10

Kuhlmann, Isabelle; Corea, Carl; Grant, John

Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP

Jochen De Weerdt; Luise Pufahl (Hrsg). Business Process Management Workshops : BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers. Cham: Springer Nature Switzerland 2024 S. 396 - 408


Jürgens, Lea; Lins, Isabelle; Grospietsch, Finja

Notfall auf dem Fußballplatz – Mystery zum Thema Übermäßiger Energydrink-Konsum (Herz-Kreislauf-System)

Finja Grospietsch; Benedikt Heuckmann (Hrsg). Gesundheitsbildung : Kopiervorlagen. 1. Auflage. Aufl. Berlin: Cornelsen 2024 S. 33 - 39



Nečasová, Šárka; Simon, John Sebastian H.

On a Nonlocal Two-Phase Flow with Convective Heat Transfer

Journal of Nonlinear Science. Bd. 34. H. 4. Berlin; Heidelberg: Springer 2024


Corea, Carl; Felli, Paolo; Montali, Marco et al.

On the Flexibility of Declarative Process Specifications

Giancarlo Guizzardi; Flavia Santoro; Haralambos Mouratidis; Pnina Soffer (Hrsg). Advanced Information Systems Engineering : 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3–7, 2024, Proceedings. Cham: Springer Nature Switzerland 2024 S. 161 - 177


Brunn, Melanie; Billings, Sharon A.; Birke, Jonas et al.

On the importance of diversity in ecological research

Plants, people, planet. H. 6. Hoboken, NJ: Wiley 2024 S. 1207 - 1214


Grijalva Garces, David; Strauß, Svenja; Gretzinger, Sarah et al.

On the reproducibility of extrusion-based bioprinting: round robin study on standardization in the field

Biofabrication. Bd. 16. H. 1. Bristol: IOP Publishing 2024


Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes

On the Verification of the Correctness of a Subgraph Construction Algorithm

Rayna Dimitrova; Ori Lahav; Sebastian Wolff (Hrsg). Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Bd. 14499. Cham: Springer Nature Switzerland AG 2024 S. 303 - 325


Mints, Mark O.; Abayev, Roman; Theisen, Nick et al.

Online Calibration of Extrinsic Parameters for Solid-State LIDAR Systems

Sensors. Bd. 24. H. 7. Basel: MDPI 2024


Mints, Mark O.; Abayev, Roman; Theisen, Nick et al.

Online Calibration of Extrinsic Parameters for Solid-State-LIDAR Systems

Sensors. Bd. 24. H. 7. Basel: MDPI 2024