PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lam, Patrick"

Author of the publication

copydeleteadd this publication to your clipboard
Collaborative Runtime Verification with Tracematches.

, , , , and . J. Log. Comput., 20 (3): 707-723 (2010)

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.

Dr. Grazia Lamanna University of Stuttgart

Dr. Lena Lambers University of Stuttgart

Application of a continuum-mechanical tumour model to brain tissue, , , and . Proceedings in applied mathematics and mechanics, 21 (1): e202100204 (2021)

Lena Lambers

Maike Lambarth University of Stuttgart

San Lam Ng University of Stuttgart

 

Other publications of authors with the same name

On Time-Aware Instrumentation of Programs., and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 305-314. IEEE Computer Society, (2009)Design of Walking Gaits for Tao-Pie-Pie, a Small Humanoid Robot., and . RoboCup, volume 3020 of Lecture Notes in Computer Science, page 355-365. Springer, (2003)A Language for Role Specifications., , and . LCPC, volume 2624 of Lecture Notes in Computer Science, page 366-382. Springer, (2001)Field Constraint Analysis., , , , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 157-173. Springer, (2006)SATCheck: SAT-directed stateless model checking for SC and TSO., and . OOPSLA, page 20-36. ACM, (2015)C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)., and . DARTS, 2 (1): 03:1-03:2 (2016)On the predictability of Java byte codes (abstract) (poster session)., , , , and . OOPSLA Addendum, page 127-128. ACM, (2000)Time-aware Instrumentation of Real-time Programs., and . IEEE Trans. Industrial Informatics, 6 (4): 652-663 (2010)Modular Pluggable Analyses for Data Structure Consistency., , , and . IEEE Trans. Software Eng., 32 (12): 988-1005 (2006)Temporal analysis of radical dark web forum users., , , , and . ASONAM, page 880-883. IEEE Computer Society, (2016)