PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Erickson, John"

Author of the publication

copydeleteadd this publication to your clipboard
PVCoherence: Designing flat coherence protocols for scalable verification.

, , , and . HPCA, page 392-403. IEEE Computer Society, (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.

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

David John Cross University of Stuttgart

 

Other publications of authors with the same name

The Complexity of UML: Differentiating Practical and Theoretical Complexity., and . CAiSE Workshops (1), page 309-316. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)Effective Data-Race Detection for the Kernel., , , and . OSDI, page 151-162. USENIX Association, (2010)PVCoherence: Designing Flat Coherence Protocols for Scalable Verification., , , and . IEEE Micro, 35 (3): 84-91 (2015)Rethinking Scholarly Communication: Building the System that Scholars Deserve., , , , and . D-Lib Mag., (2004)Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols., , and . FMCAD, page 168-175. IEEE, (2015)Industrial strength refinement checking., , , and . FMCAD, page 180-183. IEEE, (2009)Theoretical and Practical Complexity of Unified Modeling Language: Delphi Study and Metrics Analyses., and . ICIS, page 183-194. Association for Information Systems, (2004)Unified Modeling Language: Theoretical and Practical Complexity., and . AMCIS, page 164. Association for Information Systems, (2003)Design Science Research on Systems Analysis and Design: The Case of UML., , and . AMCIS, page 351. Association for Information Systems, (2007)Toward Practical Measures of Complexity in Real Time Modeling Methods., and . AMCIS, page 505. Association for Information Systems, (2005)