Christian Krause

Cited by

	All	Since 2018
Citations	1197	449
h-index	17	10
i10-index	21	10

120

2009201020112012201320142015201620172018201920202021202220234 29 87 96 72 110 112 117 101 117 88 79 74 54 37

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityVerified email at hpi.uni-potsdam.de
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
Matthias TichyProfessor, Ulm University, GermanyVerified email at uni-ulm.de
Louis M. RoseLecturer of Enterprise Systems, University of York, UKVerified email at cs.york.ac.uk
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Alexander LazovikUniversity of GroningenVerified email at rug.nl
Ziyan MaraikarLecturer, department of computer engineering, University of PeradeniyaVerified email at pdn.ac.lk
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl
Kevin LanoDept. of Informatics, King's College LondonVerified email at kcl.ac.uk
Ábel HegedüsIncQuery LabsVerified email at incquerylabs.com
Dennis WagelaarHealthConnect NVVerified email at healthconnect.be
Dr. Markus HerrmannsdörferTechnische Universität MünchenVerified email at in.tum.de
Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & InformaticaVerified email at ou.nl
Grischa LiebelSchool of Technology, Reykjavik University, IcelandVerified email at ru.is
Kai-Uwe SattlerProfessor of Computer Science, Technische Universität IlmenauVerified email at tu-ilmenau.de
Rob van der MeiCWI and Vrije Universiteit AmsterdamVerified email at cwi.nl
Carola KrausecodeX-bioMedical Writing servicesVerified email at codex-biomed.com
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk

Christian Krause

SAP SE

Verified email at sap.com - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Henshin: advanced concepts and tools for in-place EMF model transformations T Arendt, E Biermann, S Jurack, C Krause, G Taentzer Model Driven Engineering Languages and Systems: 13th International …, 2010	513	2010
Reo+ mCRL2: A framework for model-checking dataflow in service compositions N Kokash, C Krause, E De Vink Formal Aspects of Computing 24 (2), 187-216, 2012	88	2012
Modeling dynamic reconfigurations in Reo using high-level replacement systems C Krause, Z Maraikar, A Lazovik, F Arbab Science of Computer Programming 76 (1), 23-36, 2011	66	2011
A survey and comparison of transformation tools based on the transformation tool contest E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ... Science of computer programming 85, 41-99, 2014	63	2014
Time and data-aware analysis of graphical service models in Reo N Kokash, C Krause, EP de Vink 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010	54	2010
Implementing graph transformations in the bulk synchronous parallel model C Krause, M Tichy, H Giese Fundamental Approaches to Software Engineering: 17th International …, 2014	41	2014
Data-aware design and verification of service compositions with Reo and mCRL2 N Kokash, C Krause, EP de Vink Proceedings of the 2010 ACM Symposium on Applied Computing, 2406-2413, 2010	38	2010
Probabilistic graph transformation systems C Krause, H Giese Graph Transformations: 6th International Conference, ICGT 2012, Bremen …, 2012	33	2012
Reconfigurable component connectors C Krause Leiden University, 2011	32	2011
Detecting performance bad smells for henshin model transformations. M Tichy, C Krause, G Liebel Amt@ models 1077, 2013	31	2013
The TTC 2014 Movie Database Case. T Horn, C Krause, M Tichy TTC@ STAF, 93-97, 2014	27	2014
Encoding context-sensitivity in Reo into non-context-sensitive semantic models SSTQ Jongmans, C Krause, F Arbab Coordination Models and Languages: 13th International Conference …, 2011	27	2011
Verification of context-dependent channel-based service models N Kokash, C Krause, EP De Vink Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010	24	2010
A compositional semantics for stochastic Reo connectors YJ Moon, A Silva, C Krause, F Arbab arXiv preprint arXiv:1007.5094, 2010	23	2010
An SQL-based query language and engine for graph pattern matching C Krause, D Johannsen, R Deeb, KU Sattler, D Knacker, A Niadzelka Graph Transformation: 9th International Conference, ICGT 2016, in Memory of …, 2016	21	2016
A compositional model to reason about end-to-end QoS in stochastic Reo connectors YJ Moon, A Silva, C Krause, F Arbab Science of Computer Programming 80, 3-24, 2014	20	2014
Probabilistic timed graph transformation systems M Maximova, H Giese, C Krause Journal of logical and algebraic methods in programming 101, 110-131, 2018	18	2018
Metamodel-specific coupled evolution based on dynamically typed graph transformations C Krause, J Dyck, H Giese Theory and Practice of Model Transformations: 6th International Conference …, 2013	14	2013
Compositional and behavior-preserving reconfiguration of component connectors in Reo C Krause, H Giese, E de Vink Journal of Visual Languages & Computing 24 (3), 153-168, 2013	11	2013
Integrated structure and semantics for Reo connectors and Petri nets C Krause arXiv preprint arXiv:0911.5447, 2009	11	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors