PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Santosa, Andrew E."

Author of the publication

copydeleteadd this publication to your clipboard
Curracurrong: a stream programming environment for wireless sensor networks.

, , , , and . Softw., Pract. Exper., 44 (2): 175-199 (2014)

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.

E. Garrelts

E. Zafeiriou

Andrew Furze University of Stuttgart

Dr. Andrew Clark University of Stuttgart

P. E. Bl\"ochl

 

Other publications of authors with the same name

Abstraction Learning., , and . ATVA, volume 6252 of Lecture Notes in Computer Science, page 17. Springer, (2010)A Meeting Scheduling System Based on Open Constraint Programming., and . CAiSE, volume 2348 of Lecture Notes in Computer Science, page 792-796. Springer, (2002)Why inheritance anomaly is not worth solving., and . ICOOOLPS@ECOOP, page 6:1-6:12. ACM, (2014)A CLP Method for Compositional and Intermittent Predicate Abstraction., , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 17-32. Springer, (2006)Comparing Weakest Precondition and Weakest Liberal Precondition.. CoRR, (2015)Unbounded Symbolic Execution for Program Verification., , and . RV, volume 7186 of Lecture Notes in Computer Science, page 396-411. Springer, (2011)Path-Sensitive Backward Slicing., , , and . SAS, volume 7460 of Lecture Notes in Computer Science, page 231-247. Springer, (2012)Relative Safety., , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 282-297. Springer, (2006)A Constraint-Based Framework for Concurrent and Distributed Programming., and . ISCA PDCS, page 51-56. ISCA, (2006)A Declarative Approach to Concurrency in Java., and . APLAS, page 89-98. (2000)