( en | de | ru )

 

Disambiguation of "Bauer, Matthew"

Author of the publication

copydeleteadd this publication to your clipboard
Computer science principles: analysis of a proposed advanced placement course.

, , , , , , , , , , , , , , , and . SIGCSE, page 251-256. ACM, (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.

Matthew Mellon

Matthew David

Matthew Smith

Matthew Grum

Matthew The

 

Other publications of authors with the same name

An Infinite Class of Sparse-Yao Spanners, and . CoRR, (2012)An Infinite Class of Sparse-Yao Spanners., and . SODA, page 184-196. SIAM, (2013)International virtual private networks: Background and tariff survey.. Int. J. Netw. Manag., 5 (2): 95-99 (1995)Computer science principles: analysis of a proposed advanced placement course., , , , , , , , , and 6 other author(s). SIGCSE, page 251-256. ACM, (2013)Introducing Programming Concepts through Interactive Online Workshops., , , , , and . SIGITE, page 71-72. ACM, (2021)Modular Verification of Protocol Equivalence in the Presence of Randomness., , and . ESORICS (1), volume 10492 of Lecture Notes in Computer Science, page 187-205. Springer, (2017)Exact quantitative probabilistic model checking through rational search., , , , and . Formal Methods Syst. Des., 56 (1): 90-126 (2020)Analysis of randomized security protocols. University of Illinois Urbana-Champaign, USA, (2018)Modelchecking Safety Properties in Randomized Security Protocols., , and . Logic, Language, and Security, volume 12300 of Lecture Notes in Computer Science, page 167-183. Springer, (2020)A PSPACE-Complete First Order Fragment of Computability Logic. CoRR, (2012)