Inst. Softwaretechnik und Theoretische Informatik

Publications 212 Items

RSS Feed RSS Feed RSS Feed

PreviewIssue DateTitleAuthor(s)Editor(s)
gorski_peterleo.pdf.jpg2021Information flows to support software developers in using security APIsGorski, Peter Leo-
shaik_altaf.pdf.jpg2020Towards secure 4G and 5G access network protocolsShaik, Altaf-
visengeriyeva_larysa.pdf.jpg2020Advancing data curation with metadata and statistical relational learningVisengeriyeva, Larysa-
jaehnig_etal_2016.pdf.jpg23-Jun-2016Refinement-Based Verification of Communicating Unstructured CodeJähnig, Nils; Göthel, Thomas; Glesner, Sabine-
lowinski_martin.pdf.jpg2019Parallelization 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-
Donner_Opper_2018.pdf.jpg2018Efficient Bayesian Inference of Sigmoidal Gaussian Cox ProcessesDonner, Christian; Opper, Manfred-
donner_christian.pdf.jpg2019Bayesian inference of inhomogeneous point process modelsDonner, Christian-
bachschmid_romano_ludovica.pdf.jpg2018A 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-
froese_vincent.pdf.jpg2018Fine-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-
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 212