Christian Krause

Cited by

	All	Since 2019
Citations	1273	410
h-index	18	9
i10-index	21	9

120

20092010201120122013201420152016201720182019202020212022202320245 30 76 96 71 110 113 117 101 120 95 79 74 53 71 38

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
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
Alexander LazovikUniversity of GroningenVerified email at rug.nl
Ziyan MaraikarLecturer, department of computer engineering, University of PeradeniyaVerified email at pdn.ac.lk
Grischa LiebelSchool of Technology, Reykjavik University, IcelandVerified email at ru.is
Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & InformaticaVerified email at ou.nl
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	570	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	90	2012
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	70	2014
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	64	2011
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	53	2010
Implementing graph transformations in the bulk synchronous parallel model C Krause, M Tichy, H Giese Fundamental Approaches to Software Engineering: 17th International …, 2014	44	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	36	2010
Detecting performance bad smells for henshin model transformations. M Tichy, C Krause, G Liebel Amt@ models 1077, 2013	34	2013
Probabilistic graph transformation systems C Krause, H Giese International Conference on Graph Transformation, 311-325, 2012	34	2012
Reconfigurable component connectors C Krause Leiden University, 2011	29	2011
The TTC 2014 Movie Database Case. T Horn, C Krause, M Tichy TTC@ STAF, 93-97, 2014	28	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	25	2011
Probabilistic timed graph transformation systems M Maximova, H Giese, C Krause Journal of logical and algebraic methods in programming 101, 110-131, 2018	24	2018
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	24	2016
Verification of context-dependent channel-based service models N Kokash, C Krause, EP De Vink International Symposium on Formal Methods for Components and Objects, 21-40, 2009	24	2009
A compositional semantics for stochastic Reo connectors YJ Moon, A Silva, C Krause, F Arbab arXiv preprint arXiv:1007.5094, 2010	21	2010
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	19	2014
Metamodel-specific coupled evolution based on dynamically typed graph transformations C Krause, J Dyck, H Giese International Conference on Theory and Practice of Model Transformations, 76-91, 2013	18	2013
Probabilistic timed graph transformation systems M Maximova, H Giese, C Krause Graph Transformation: 10th International Conference, ICGT 2017, Held as Part …, 2017	13	2017
Integrated structure and semantics for Reo connectors and Petri nets C Krause arXiv preprint arXiv:0911.5447, 2009	12	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