Browse by Subject 004 Informatik

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  
Showing results 1 to 20 of 21  next »
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-
1687-1499-2014-120.pdf.jpg2014Autonomous algorithms for centralized and distributed interference coordination: a virtual layer-based approachKasparick, Martin; Wunder, Gerhard-
breaking_symmetries.pdf.jpg2014Breaking symmetriesPeters, Kirstin; Nestmann, Uwe-
2017_beckmann_et-al.pdf.jpg2017A case study on a specification approach using activity diagrams in requirements documentsBeckmann, Martin; Vogelsang, Andreas; Reuter, Christian-
2018_beckmann_et-al.pdf.jpg2018Coexisting graphical and structured textual representations of requirementsBeckmann, Martin; Reuter, Christian; Vogelsang, Andreas-
pik-2014-0018.pdf.jpg2014Ethics and privacy issues of critical infrastructure protection – risks and possible solutions through standardizationWurster, Simone-
s40469-015-0006-9.pdf.jpg2015Evaluating embodied conversational agents in multimodal interfacesWeiss, Benjamin; Wechsung, Ina; Kühnel, Christine; Möller, Sebastian-
finitary_mathcalmadhesive_categories.pdf.jpg2014Finitary M-adhesive categoriesGabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike-
formal_analysis_of_model_transformations.pdf.jpg2014Formal analysis of model transformations based on triple graph grammarsHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
pik-2012-0005.pdf.jpg2012A framework for automated identification of attack scenarios on it infrastructuresCamtepe, Seyit Ahmet; Bsufka, Karsten; Hennig, Leonhard; Simsek, Cihan; Albayrak, Sahin-
full_abstraction_for_expressiveness_history_myths_and_facts.pdf.jpg2014Full abstraction for expressiveness: history, myths and factsGorla, Daniele; Nestmann, Uwe-
10.1007_s00453-017-0300-x.pdf.jpg2017How unsplittable-flow-covering helps scheduling with job-dependent cost functionsHöhn, Wiebke; Mestre, Julián; Wiese, Andreas-
2018_beckmann_karbe_vogelsang.pdf.jpg2018Information extraction from high-level activity diagrams to support development tasksBeckmann, Martin; Karbe, Thomas; Vogelsang, Andreas-
pik-2014-0016.pdf.jpg2014The interplay of patents and standards for information and communication technologiesPohlmann, Tim; Blind, Knut-
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-
10.1007_978-3-319-57753-1_11.pdf.jpg2017Prediction of difficulty levels in video games from ongoing EEGNeumann, Laura; Schultze-Kraft, Matthias; Dähne, Sven; Blankertz, Benjamin-
piko.2011.025.pdf.jpg2011REBECA – eine autonome Publish/Subscribe MiddlewareParzyjegla, Helge; Graff, Daniel; Schröter, Arnd; Schepeljanski, Alexej; Busse, Anselm; Richling, Jan; Werner, Matthias-
synchrony_versus_causality_in_distributed_systems.pdf.jpg2014Synchrony versus causality in distributed systemsPeters, Kirstin; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula; Nestmann, Uwe-
10.1007_s11042-016-4097-4.pdf.jpg2016Video processing for panoramic streaming using HEVC and its scalable extensionsSánchez de la Fuente, Yago; Skupin, Robert; Schierl, Thomas-