FB 06 - Mathematik/Informatik/Physik

Card

Organization name
FB 06 - Mathematik/Informatik/Physik
Parent OrgUnit
City
Osnabrück
Country
Germany

OrgUnit's Researchers publications
(Veröffentlichung der Organisationseinheit)


Aktive Filter:
Schlagwort:  Computer Science

1-13 von 13

ErscheinungsdatumTitelAutor(en)
12009A concept and implementation of higher-level XML transformation languagesFoetsch, Daniel; Pulvermueller, Elke 
22017A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systemsNoyer, Arne; Iyenghar, Padma; Engelhardt, Joachim; Pulvermueller, Elke ; Bikker, Gert
32018A Model-Driven Workflow for Energy-Aware Scheduling Analysis of IoT-Enabled Use CasesIyenghar, Padma; Pulvermueller, Elke 
42023Certifying Zeros of Polynomial Systems Using Interval ArithmeticBreiding, Paul ; Rose, Kemal; Timme, Sascha
52010Developer-friendly verification of process-based systemsPulvermueller, Elke ; Feja, Sven; Speck, Andreas
62011Formalizing Business Process SpecificationsSpeck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel
72023Graph construction on complex spatiotemporal data for enhancing graph neural network-based approachesBloemheuvel, Stefan; van den Hoogen, Jurgen; Atzmueller, Martin 
82022Graph neural networks for multivariate time series regression with application to seismic dataBloemheuvel, Stefan; van den Hoogen, Jurgen; Jozinovic, Dario; Michelini, Alberto; Atzmueller, Martin 
92022Hunting Energy Bugs in Embedded Systems: A Software-Model-In-The-Loop ApproachSchaarschmidt, Marco; Uelschen, Michael; Pulvermuller, Elke 
102023Hyperparameter analysis of wide-kernel CNN architectures in industrial fault detection: an exploratory studyvan den Hoogen, Jurgen; Hudson, Dan; Bloemheuvel, Stefan; Atzmueller, Martin 
112021Mining communities and their descriptions on attributed graphs: a surveyAtzmueller, Martin ; Guennemann, Stephan; Zimmermann, Albrecht
122023Multi-Level Analysis of Learning Management Systems' User Acceptance Exemplified in Two System Case StudiesShayan, Parisa; Rondinelli, Roberto; van Zaanen, Menno; Atzmueller, Martin 
132010Policy-Enabled Goal-Oriented Requirements Engineering for Semantic Business Process ManagementDecreus, Ken; Poels, Geert; El Kharbili, Marwane; Pulvermueller, Elke