Barbara König

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	3374	815
H-index	32	13
i10-index	89	24

260

130

195

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 19 12 16 67 74 119 97 238 175 250 160 196 171 150 162 155 106 142 183 146 118 150 187 189 25

גישה ציבורית

הצג הכל

48 מאמרים

6 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Paolo BaldanProfessor of Computer Science, University of Padovaכתובת אימייל מאומתת בדומיין math.unipd.it
Andrea CorradiniProfessor of Computer Science, University of Pisaכתובת אימייל מאומתת בדומיין di.unipi.it
Filippo BonchiCNRS ENS-Lyonכתובת אימייל מאומתת בדומיין ens-lyon.fr
Tobias HeindelTU Berlinכתובת אימייל מאומתת בדומיין tu-berlin.de
Arend RensinkProfessor in Computer Science, University of Twenteכתובת אימייל מאומתת בדומיין utwente.nl
Henning Kerstan-כתובת אימייל מאומתת בדומיין henningkerstan.de
Frank HermannProduct Owner; CARIADכתובת אימייל מאומתת בדומיין frank-hermann.de
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of Leicesterכתובת אימייל מאומתת בדומיין mcs.le.ac.uk
Alexandra SilvaCornell Universityכתובת אימייל מאומתת בדומיין cornell.edu
Fabio GadducciProfessore di Informatica, Università di Pisaכתובת אימייל מאומתת בדומיין unipi.it
hans zantemaEindhoven university of technologyכתובת אימייל מאומתת בדומיין tue.nl
Javier EsparzaProfessor of Computer Science, Technical University of Munichכתובת אימייל מאומתת בדומיין in.tum.de
Pawel SobocinskiTallinn University of Technologyכתובת אימייל מאומתת בדומיין cs.ioc.ee
Christian SoltenbornResearch and Teaching Assistantכתובת אימייל מאומתת בדומיין uni-paderborn.de
Alessandro BruniAssociate Professor. IT-University of Copenhagenכתובת אימייל מאומתת בדומיין itu.dk
Giorgio DelzannoAssociate Professor, Università di Genovaכתובת אימייל מאומתת בדומיין unige.it
Alberto Lluch LafuenteTechnical University of Denmarkכתובת אימייל מאומתת בדומיין dtu.dk

עקוב אחר

Barbara König

Universität Duisburg-Essen, Theoretische Informatik

כתובת אימייל מאומתת בדומיין uni-due.de

Concurrency Theory Semantics Verification Logic in Computer Science


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Sesqui-pushout rewriting‏ A Corradini, T Heindel, F Hermann, B König‏ International Conference on Graph Transformation, 30-45, 2006‏	188	2006
A static analysis technique for graph transformation systems‏ P Baldan, A Corradini, B König‏ International Conference on Concurrency Theory, 381-395, 2001‏	123	2001
Deriving bisimulation congruences in the DPO approach to graph rewriting‏ H Ehrig, B König‏ International Conference on Foundations of Software Science and Computation …, 2004‏	106	2004
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts‏ H Ehrig, B König‏ Mathematical Structures in Computer Science 16 (6), 1133-1163, 2006‏	97	2006
Counterexample-guided abstraction refinement for the analysis of graph transformation systems‏ B König, V Kozioura‏ Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006‏	96	2006
Approximating the behaviour of graph transformation systems‏ P Baldan, B König‏ International Conference on Graph Transformation, 14-29, 2002‏	92	2002
Augur 2—a new version of a tool for the analysis of graph transformation systems‏ B König, V Kozioura‏ Electronic Notes in Theoretical Computer Science 211, 201-210, 2008‏	85	2008
Verifying finite-state graph grammars: an unfolding-based approach‏ P Baldan, A Corradini, B König‏ International Conference on Concurrency Theory, 83-98, 2004‏	85	2004
A framework for the verification of infinite-state graph transformation systems‏ P Baldan, A Corradini, B König‏ Information and Computation 206 (7), 869-907, 2008‏	81	2008
Saturated semantics for reactive systems‏ F Bonchi, B Konig, U Montanari‏ 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 69-80, 2006‏	81	2006
On deterministic finite automata and syntactic monoid size‏ M Holzer, B König‏ Theoretical Computer Science 327 (3), 319-347, 2004‏	75	2004
A coalgebraic perspective on minimization and determinization‏ J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva‏ Foundations of Software Science and Computational Structures: 15th …, 2012‏	67	2012
Efficient unfolding of contextual Petri nets‏ P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon‏ Theoretical Computer Science 449, 2-22, 2012‏	63	2012
Coalgebraic behavioral metrics‏ P Baldan, F Bonchi, H Kerstan, B König‏ Logical Methods in Computer Science 14, 2018‏	62	2018
Specification and verification of model transformations‏ F Hermann, M Hülsbusch, B König‏ Electronic Communications of the EASST 30, 2010‏	62	2010
A tutorial on graph transformation‏ B König, D Nolte, J Padberg, A Rensink‏ Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018‏	55	2018
Behavior preservation in model refactoring using DPO transformations with borrowed contexts‏ G Rangel, L Lambers, B König, H Ehrig, P Baldan‏ International Conference on Graph Transformation, 242-256, 2008‏	54	2008
A logic for analyzing abstractions of graph transformation systems‏ P Baldan, B König, B König‏ International Static Analysis Symposium, 255-272, 2003‏	53	2003
On the decidability status of reachability and coverability in graph transformation systems‏ N Bertrand, G Delzanno, B König, A Sangnier, J Stückrath‏ 23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012‏	52	2012
Showing full semantics preservation in model transformation-a comparison of techniques‏ M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...‏ Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010‏	50	2010

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים