Inst. Softwaretechnik und Theoretische Informatik

Publications 209 Items

RSS Feed RSS Feed RSS Feed

PreviewIssue DateTitleAuthor(s)Editor(s)
2019Parallelization of legacy automotive control software for multi-core platformsLowinski, Martin-
fnins-06-00055.pdf.jpg13-Jul-2012Review of the BCI Competition IVTangermann, Michael; Müller, Klaus-Robert; Aertsen, Ad; Birbaumer, Niels; Braun, Christoph; Brunner, Clemens; Leeb, Robert; Mehring, Carsten; Miller, Kai J.; Müller-Putz, Gernot R.; Nolte, Guido; Pfurtscheller, Gert; Preissl, Hubert; Schalk, Gerwin; Schlögl, Alois; Vidaurre, Carmen; Waldert, Stephan; Blankertz, Benjamin-
Sep-2019Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)Berg, Nils; Bartels, Björn; Danziger, Armin; Grochau Azzi, Guilherme; Bentert, Matthias-
Donner_Opper_2018.pdf.jpg2018Efficient Bayesian Inference of Sigmoidal Gaussian Cox ProcessesDonner, Christian; Opper, Manfred-
2019Bayesian inference of inhomogeneous point process modelsDonner, Christian-
2018A statistical physics approach to inference problems on random networksBachschmid Romano, Ludovica-
schlesinger_ sebastian.pdf.jpg2018Formal verification of model refactorings for hybrid control systemsSchlesinger, Sebastian-
bauer_etal_2000.pdf.jpg2000A Neural Network Model for the Self-Organization of Cortical Grating CellsBauer, Christoph; Burger, Thomas; Stetter, Martin; Lang, Elmar W.-
shastry_bhargava.pdf.jpg2018Compiler assisted vulnerability assessmentShastry, Bhargava-
heinrichs_robert.pdf.jpg2018Lernen von Sensormesswerten zur Verbesserung von Fahrerassistenzsystemen am Beispiel eines adaptiven KurvenwarnersHeinrichs, Robert-
2018Fine-grained complexity analysis of some combinatorial data science problemsFroese, Vincent-
krause_sebastian.pdf.jpg2018Knowledge-intensive, high-performance relation extractionKrause, Sebastian-
mikityuk_alexandra.pdf.jpg2017Secure remote service execution for web media streamingMikityuk, Alexandra-
akhoondian_saeed.pdf.jpg2017Structural graph theory meets algorithms: covering and connectivity problems in graphsAkhoondian Amiri, Saeed-
analysis_of_permutation_equivalence_in.pdf.jpg2014Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditionsHermann, Frank; Corradini, Andrea; Ehrig, Hartmut-
formal_analysis_of_model_transformations.pdf.jpg2014Formal analysis of model transformations based on triple graph grammarsHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
mathcalmadhesive_transformation_systems_part_1.pdf.jpg2014M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationEhrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando-
Multi-amalgamation.pdf.jpg2014Multi-amalgamation of rules with application conditions in M-adhesive categoriesGolas, Ulrike; Habel, Annegret; Ehrig, Hartmut-
finitary_mathcalmadhesive_categories.pdf.jpg2014Finitary M-adhesive categoriesGabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike-
aguilar-cornejo_guillermo.pdf.jpg2017On the use of MLDS in the study of depth and lightness perceptionAguilar Cornejo, Guillermo Andres-
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 209