( en | de | ru )

 

Disambiguation of "Luchangco, Victor"

Author of the publication

copydeleteadd this publication to your clipboard
On Formal Modeling of Agent Computations.

, , , , , , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 48-62. Springer, (2000)

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.

Victor Anspach

Status quo, Perspektiven und wirtschaftliche Potenziale der Biogaserzeugung auf landwirtschaftlichen Betrieben im ökologischen Landbau. Uni Kassel, (2009)

Victor Grigoriev

Victor Zebe

Victor Levchenko

Victor Gerds

 

Other publications of authors with the same name

Towards a Verified Model of the Algorand Consensus Protocol in Coq., , , , , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 362-367. Springer, (2019)Bringing practical lock-free synchronization to 64-bit applications., , , and . PODC, page 31-39. ACM, (2004)A Simple Optimistic Skiplist Algorithm., , , and . SIROCCO, volume 4474 of Lecture Notes in Computer Science, page 124-138. Springer, (2007)Modular multiple dispatch with multiple inheritance., , , , and . SAC, page 1117-1121. ACM, (2007)Integrating coercion with subtyping and multiple dispatch., , , and . SAC, page 166-170. ACM, (2008)Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance., , , and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 156-171. Springer, (2013)Integrating coercion with subtyping and multiple dispatch., , , and . Sci. Comput. Program., 75 (9): 787-795 (2010)Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance., , , , , , and . OOPSLA, page 973-992. ACM, (2011)Investigating the Performance of Hardware Transactions on a Multi-Socket Machine., , , and . SPAA, page 121-132. ACM, (2016)Brief Announcement: Extending Transactional Memory with Atomic Deferral., , and . SPAA, page 371-373. ACM, (2017)