Inst. Softwaretechnik und Theoretische Informatik

Publications 206 Items

RSS Feed RSS Feed RSS Feed

PreviewIssue DateTitleAuthor(s)Editor(s)
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-
beyer_justus.pdf.jpg2017Quality-influencing factors in mobile gamingBeyer, Justus Philipp-
augustin_moritz.pdf.jpg2017Network dynamics of adaptive spiking neurons: model reduction and numerical analysisMoritz, Augustin-
tajik_shahin.pdf.jpg2017On the physical security of physically unclonable functionsTajik, Shahin-
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 206