( en | de | ru )

 

Disambiguation of "Brockschmidt, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Runtime and Size Complexity of Integer Programs.

, , , , and . ACM Trans. Program. Lang. Syst., 38 (4): 13 (2016)

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.

Marc Manuel Johannes Brockschmidt

Mario Brockschmidt

Claas Brockschmidt

Willy Brockschmidt

Cordula Brockschmidt

 

Other publications of authors with the same name

Learning to Represent Edits., , , , and . ICLR (Poster), OpenReview.net, (2019)Analyzing Information Leakage of Updates to Natural Language Models., , , , , , , and . CCS, page 363-375. ACM, (2020)Proving Termination Through Conditional Termination., , , , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 99-117. (2017)FS-Mol: A Few-Shot Learning Dataset of Molecules., , , , , , , and . NeurIPS Datasets and Benchmarks, (2021)Learning to Represent Programs with Graphs., , and . CoRR, (2017)Automated Termination Proofs for Java Programs with Cyclic Data., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 105-122. Springer, (2012)Inferring Lower Runtime Bounds for Integer Programs., , , and . ACM Trans. Program. Lang. Syst., 42 (3): 13:1-13:50 (2020)Graph Partition Neural Networks for Semi-Supervised Classification., , , , , and . ICLR (Workshop), OpenReview.net, (2018)Termination Graphs for Java Bytecode., , , and . Verification, Induction, Termination Analysis, volume 6463 of Lecture Notes in Computer Science, page 17-37. Springer, (2010)T2: Temporal Property Verification., , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 387-393. Springer, (2016)