PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jansen, Christina"

Author of the publication

copydeleteadd this publication to your clipboard
Incremental Construction of Greibach Normal Form.

, , and . TASE, page 165-168. IEEE Computer Society, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christina Michalak University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Christina Abele University of Stuttgart

Christina Eisenbarth University of Stuttgart

Christina Ungerer University of Stuttgart

 

Other publications of authors with the same name

Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs., , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 3-11. Springer, (2018)Juggrnaut - An Abstract JVM., , and . FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 142-159. Springer, (2011)Tree-Like Grammars and Separation Logic., , and . APLAS, volume 9458 of Lecture Notes in Computer Science, page 90-108. Springer, (2015)Juggrnaut: using graph grammars for abstracting unbounded heap structures., , , and . Formal Methods in System Design, 47 (2): 159-203 (2015)Heap Abstraction Beyond Context-Freeness., , , and . CoRR, (2017)Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs., , and . ICGT, volume 8571 of Lecture Notes in Computer Science, page 65-80. Springer, (2014)A Local Greibach Normal Form for Hyperedge Replacement Grammars., , , and . LATA, volume 6638 of Lecture Notes in Computer Science, page 323-335. Springer, (2011)Verifying pointer programs using graph grammars., , , and . Sci. Comput. Program., (2015)Incremental Construction of Greibach Normal Form., , and . TASE, page 165-168. IEEE Computer Society, (2013)Graph-Based Shape Analysis Beyond Context-Freeness., , , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 271-286. Springer, (2018)