PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ramalingam, G."

Author of the publication

copydeleteadd this publication to your clipboard
Checking Observational Purity of Procedures.

, , and . FASE, volume 11424 of Lecture Notes in Computer Science, page 228-243. Springer, (2019)

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.

G. Daiß

G. Wagner

Dr. Guido Reina University of Stuttgart

Univ. -Prof. Dr. -Ing. Joachim Groß University of Stuttgart

Replication Data for: Transferable Anisotropic Mie Potential Force Field for Alkanediols, , , and . Dataset, (2024)Related to: Fleck, Maximilian; Darouich, Samir; Hansen, Niels; Gross, Joachim (2024): Transferable Anisotropic Mie Potential Force Field for Alkanediols. In: The Journal of Physical Chemistry B, 128, 4792-4801. doi: 10.1021/acs.jpcb.4c00962.

Dipl.-Ing. Benjamin Greiner University of Stuttgart

 

Other publications of authors with the same name

Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System., , , and . Multimedia Syst., 7 (5): 424-437 (1999)On the Computational Complexity of Dynamic Graph Problems., and . Theor. Comput. Sci., 158 (1&2): 233-277 (1996)Parametric Process Model Inference., , and . WCRE, page 21-30. IEEE Computer Society, (2007)Automatic Scalable Atomicity via Semantic Locking., , , and . TOPC, 3 (4): 21:1-21:29 (2017)Effective typestate verification in the presence of aliasing., , , , and . ACM Trans. Softw. Eng. Methodol., 17 (2): 9:1-9:34 (2008)Bottom-up shape analysis using LISF., , , and . ACM Trans. Program. Lang. Syst., 33 (5): 17:1-17:41 (2011)On loops, dominators, and dominance frontiers.. ACM Trans. Program. Lang. Syst., 24 (5): 455-490 (2002)Context-sensitive synchronization-sensitive analysis is undecidable.. ACM Trans. Program. Lang. Syst., 22 (2): 416-430 (2000)Bounded Incremental Computation. Lecture Notes in Computer Science Springer, (1996)Modular Heap Analysis for Higher-Order Programs., , and . SAS, volume 7460 of Lecture Notes in Computer Science, page 370-387. Springer, (2012)