( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sensing through the continent: towards monitoring migratory birds using cellular sensor networks.

, , , , , , , и . IPSN, стр. 329-340. IEEE Computer Society / ACM, (2012)

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.

Steve Goddard {Haitao Zhu, Matthew B. Dwyer}

Matthew B. Hastings

Eduard Dwyer

John Dwyer

Axel Dwyer-Holighaus

 

Другие публикации лиц с тем же именем

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking., , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 175-190. Springer, (2004)Model Checking Generic Container Implementations., и . Generic Programming, том 1766 из Lecture Notes in Computer Science, стр. 162-177. Springer, (1998)A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors., , , и . ICRA, стр. 901-908. IEEE, (2023)Cadena: enabling CCM-based application development in Eclipse., , , , , и . eTX, стр. 20-24. ACM, (2003)Model Checking Graphical User Interfaces Using Abstractions., , и . ESEC / SIGSOFT FSE, том 1301 из Lecture Notes in Computer Science, стр. 244-261. Springer, (1997)Staging Static Analyses Using Abstraction-Based Program Specialization., , и . PLILP/ALP, том 1490 из Lecture Notes in Computer Science, стр. 134-151. Springer, (1998)Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 381-395. Springer, (2011)A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives., , , , и . SAS, том 1694 из Lecture Notes in Computer Science, стр. 1-18. Springer, (1999)Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software., и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 39-58. Springer, (2001)A Slice-Based Decision Procedure for Type-Based Partial Orders., , и . IJCAR, том 6173 из Lecture Notes in Computer Science, стр. 156-170. Springer, (2010)