PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Papaspyrou, Nikolaos"

Author of the publication

copydeleteadd this publication to your clipboard
Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities.

, , and . FedCSIS, page 833-840. (2011)

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.

Nikolaos Karadimitriou University of Stuttgart

Data for: Formation of common preferential two-phase displacement pathways in porous media, , and . Dataset, (2024)Related to: Vahid Dastjerdi, S.; Karadimitriou, N.; Hassanizadeh, S. M. & Steeb, H.: Formation of common preferential two-phase displacement pathways in porous media. Water Resources Research (Submitted Jan. 2024).

Nikolaos Giannakopoulos University of Stuttgart

Nikolaos Papanikolaou University of Stuttgart

 

Other publications of authors with the same name

A study of evaluation order semantics in expressions with side effects., and . J. Funct. Program., 10 (3): 227-244 (2000)A Type and Effect System for Implementing Functional Arrays with Destructive Updates., , and . FedCSIS, page 879-886. (2011)RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper)., , , , , , , , and . Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, page 263-278. Springer, (2012)Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform., , , , , , , , , and 15 other author(s). ACM Trans. Program. Lang. Syst., 39 (4): 17:1-17:46 (2017)GLU embedded in C++: a marriage between multidimensional and object-oriented programming., and . Softw., Pract. Exper., 34 (7): 609-630 (2004)A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering, , and . PLACES, volume 69 of EPTCS, page 44-58. (2010)An efficient representation for lazy constructors using 64-bit pointers., and . FHPC@ICFP, page 23-30. ACM, (2014)Towards a novel networked learning environment., , , and . WebNet, AACE, (1996)A scalability benchmark suite for Erlang/OTP., , , , , and . Erlang Workshop, page 33-42. ACM, (2012)On preserving term sharing in the Erlang virtual machine., and . Erlang Workshop, page 11-20. ACM, (2012)