Institut für Softwaretechnik und Theoretische Informatik

Publications 195 Items

RSS Feed RSS Feed RSS Feed

PreviewIssue DateTitleAuthor(s)Editor(s)
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-
ganji_fatemeh.pdf.jpg2017On the learnability of physically unclonable functionsGanji, Fatemeh-
holca-lamarre_raphael.pdf.jpg2017Learning representations with neuromodulatorsHolca-Lamarre, Raphael-
vidovic_marina_marie-claire.pdf.jpg2017Improving and interpreting machine learning algorithms with applicationsVidovic, Marina Marie-Claire-
danisevskis_janis.pdf.jpg2017Accelerated secure GUI for virtualized mobile handsetsDanisevskis, Janis-
peters_daniel.pdf.jpg2017A secure system architecture for measuring instruments under legal controlPeters, Daniel-
roshandel_mehran.pdf.jpg2017Multi-factor authentication based on movement and gestureRoshandel, Mehran-
kraus_lydia.pdf.jpg2017User experience with mobile security and privacy mechanismsKraus, Lydia-
vetter_julian.pdf.jpg2017Strengthening system security on the ARMv7 processor architecture with hypervisor-based security mechanismsVetter, Julian-
nordholz_jan.pdf.jpg2017Design and provability of a statically configurable hypervisorNordholz, Jan-
2015_sheikh_et-al.pdf.jpg2015Nonlinear spike-and-slab sparse coding for interpretable image encodingShelton, Jacquelyn A.; Sheikh, Abdul-Saboor; Bornschein, Jörg; Sterne, Philip; Lücke, Jörg-
gomez_esperon_daniel.pdf.jpg2017Strukturvariabilität in der objektorientierten Modellierung und Simulation durch Generierung von VariantenGómez Esperón, Daniel-
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 195