PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Anderson, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Task Parallel Programs Using Gradual Permissions (N).

, , , and . ASE, page 535-540. IEEE Computer Society, (2015)

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.

Elke Peter University of Stuttgart

Univ. -Prof. Dr. Rene Peters University of Stuttgart

Bernd Peters University of Stuttgart

Alexander Peter University of Stuttgart

Whitney Frazier Peterson University of Stuttgart

 

Other publications of authors with the same name

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions., , , and . ACM SIGSOFT Software Engineering Notes, 40 (1): 1-5 (2015)Communication technology and campus safety: Critical sociotechnical concerns for emergency messaging at Canadian universities., , , and . ISTAS, page 1-5. IEEE, (2008)Face-Cap: Image Captioning Using Facial Expression Analysis., , , and . ECML/PKDD (1), volume 11051 of Lecture Notes in Computer Science, page 226-240. Springer, (2018)Robot Localisation Using Natural Landmarks., , , and . RoboCup, volume 7500 of Lecture Notes in Computer Science, page 118-129. Springer, (2012)Predicting accuracy on large datasets from smaller pilot data., , , and . ACL (2), page 450-455. Association for Computational Linguistics, (2018)A comprehensive 3d biomechanically-driven vocal tract model including inverse dynamics for speech research., , , , and . INTERSPEECH, page 2395-2399. ISCA, (2015)JPF verification of habanero Java programs., , and . ACM SIGSOFT Software Engineering Notes, 39 (1): 1-7 (2014)Fast Monocular Visual Compass for a Computationally Limited Robot., and . RoboCup, volume 8371 of Lecture Notes in Computer Science, page 244-255. Springer, (2013)Tips and Tricks for Visual Question Answering: Learnings From the 2017 Challenge., , , and . CVPR, page 4223-4232. IEEE Computer Society, (2018)Bottom-Up and Top-Down Attention for Image Captioning and Visual Question Answering., , , , , , and . CVPR, page 6077-6086. IEEE Computer Society, (2018)