Browse by Type Research Paper

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

Showing results 39 to 58 of 144
PreviewIssue DateTitleAuthor(s)Editor(s)
tr_2010-13.pdf.jpg2010Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando-
tr_2010-03.pdf.jpg2010Efficient Process Analysis of Transformation Systems Based on Petri netsHermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, Barbara-
tr_2014-03.pdf.jpg2014Enhanced BARM - Authentic Reporting to External PlatformsStewin, Patrick-
tr_2010-06.pdf.jpg2010Enterprise Modelling using Algebraic Graph Transformation - Extended VersionBrandt, Christoph; Hermann, Frank; Ehrig, Hartmut; Engel, Thomas-
tr-2007-11.pdf.jpg2007EOOLT 2007 – Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools-Fritzson, Peter; Cellier, François; Nytsch-Geusen, Christoph
Dokument_8.pdf.jpg10-Aug-2011eSOA - SOA für eingebettete NetzeScholz, Andreas; Buckl, Christian; Sommer, Stephan; Kemper, Alfons; Knoll, Alois; Heuer, Jörg; Schmitt, Anton-
tr-2009-04.pdf.jpg2009Evolution of Model Transformations by Model Refactoring: Long VersionEhrig, Hartmut; Ehrig, Karsten; Ermel, Claudia-
ullrich_2019_expert-opinion.pdf.jpgSep-2019Expert opinion on the "Working Definition of Antisemitism" of the International Holocaust Remembrance Alliance'sUllrich, Peter-
tr_2012-12.pdf.jpg2012Exploiting Locality of Churn for FIB AggregationSarrar, Nadi; Bienkowski, Marcin; Schmid, Stefan; Uhlig, Steve; Wuttke, Robert-
tr_2010-12.pdf.jpg2010Finitary M-Adhesive CategoriesGabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike-
tr_2011-13.pdf.jpg2011A First Look at OpenFlow Control Plane Behavior from a Test DeploymentLevin, Dan; Wundsam, Andreas; Feldmann, Anja; Seetharaman, Srini; Kobayashi, Masayoshi; Parulkar, Guru-
Jun-2021Fixing up Waco, Texas: populäre Religion, das Sentimentale und die Refiguration von RäumenSteets, Silke-
tr-2008-04.pdf.jpg2008Forking, Scratching und Re-MergingIshii, Kei; Lutterbeck, Bernd; Pallas, Frank-
tr_2010-04.pdf.jpg2010Formal Analysis and Verication of Self-Healing Systems: Long VersionEhrig, Hartmut; Ermel, Claudia; Runge, Olga; Bucchiarone, Antonio; Pelliccione, Patrizio-
tr_2010-08.pdf.jpg2010Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended VersionHermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike-
tr_2011-01.pdf.jpg2011A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph ModicationsEhrig, Hartmut; Ermel, Claudia; Taentzer, Gabriele-
tr-2007-20.pdf.jpg2007A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOLKammüller, Florian; Sudhof, Henry-
bischoff_soeffker_maciejewski_2016.pdf.jpgAug-2016A framework for agent based simulation of demand responsive transport systemsBischoff, Joschka; Soeffker, Ninja; Maciejewski, Michał-
tr-2008-03.pdf.jpg2008From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph GrammarsEhrig, Hartmut; Ehrig, Karsten; Hermann, Frank-
tr-2009-19.pdf.jpg2009Functional Active Objects: Noninterference and Distributed ConsensusHenrio, Ludovic; Kammüller, Florian-