Christian Krause

Cited by

	All	Since 2016
Citations	1003	490
h-index	16	9
i10-index	18	9

120

20092010201120122013201420152016201720182019202020215 28 89 92 69 106 111 109 98 109 84 82 8

Co-authors

Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityVerified email at hpi.uni-potsdam.de
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
Matthias TichyProfessor, University of Ulm, GermanyVerified email at uni-ulm.de
Louis M. RoseLecturer of Enterprise Systems, University of York, UKVerified email at cs.york.ac.uk
Alexandra SilvaProfessor at University College LondonVerified email at ucl.ac.uk
Alexander LazovikUniversity of GroningenVerified email at rug.nl
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
Ziyan MaraikarLecturer, department of computer engineering, University of PeradeniyaVerified email at pdn.ac.lk
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 International Conference on Model Driven Engineering Languages and Systems …, 2010	430	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	74	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	60	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
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	52	2014
Implementing graph transformations in the bulk synchronous parallel model C Krause, M Tichy, H Giese International Conference on Fundamental Approaches to Software Engineering …, 2014	33	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	32	2010
Detecting Performance Bad Smells for Henshin Model Transformations. M Tichy, C Krause, G Liebel Amt@ models 1077, 2013	27	2013
Reconfigurable component connectors C Krause Universiteit Leiden, 2011	26	2011
Encoding context-sensitivity in Reo into non-context-sensitive semantic models SSTQ Jongmans, C Krause, F Arbab International Conference on Coordination Languages and Models, 31-48, 2011	26	2011
The TTC 2014 Movie Database Case. T Horn, C Krause, M Tichy TTC@ STAF, 93-97, 2014	24	2014
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	22	2009
A compositional semantics for stochastic Reo connectors YJ Moon, A Silva, C Krause, F Arbab arXiv preprint arXiv:1007.5094, 2010	21	2010
Probabilistic graph transformation systems C Krause, H Giese International Conference on Graph Transformation, 311-325, 2012	20	2012
An SQL-based query language and engine for graph pattern matching C Krause, D Johannsen, R Deeb, KU Sattler, D Knacker, A Niadzelka International Conference on Graph Transformation, 153-169, 2016	17	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	17	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	12	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	10	2013
Integrated structure and semantics for Reo connectors and Petri nets C Krause arXiv preprint arXiv:0911.5447, 2009	9	2009
Probabilistic timed graph transformation systems M Maximova, H Giese, C Krause International Conference on Graph Transformation, 159-175, 2017	6	2017

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

Upload PDF

Follow this author

Cited by

Co-authors