GPredict: Generic Predictive Concurrency Analysis Jeff Huang Qingzhou Luo and Grigore Rosu Parasol Laboratory

Source URL: parasol.tamu.edu

THE RELATIONSHIP BETWEEN EU AND RUSSIA: SYMBIOSIS OR COMPETITION? Ligia Corduneanu* Stefan Grigore** Ion Muschei*** Abstract: Cooperation and trust between Russia and the European Union (EU), two of the most

Source URL: ceswp.uaic.ro

An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

Source URL: repository.readscheme.org

March 17, 2016 CURRICULUM VITAE Grigore Ros¸u Current Position: Professor

Source URL: fsl.cs.illinois.edu

The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona

Source URL: proval.lri.fr

Java Generics are Turing Complete Radu Grigore University of Kent, United Kingdom arXiv:1605.05274v2 [cs.PL] 7 Nov 2016

Source URL: arxiv.org

Matching Logic: A New Program Verification Approach Grigore Ro¸su Andrei S¸tef˘anescu University of Illinois at Urbana-Champaign Abstract

Source URL: fm.csl.sri.com

Invitation English Revision

Source URL: www.rosalux.co.il

• GoEast
• Tel Aviv
• Rosa Luxemburg
• Grigore
• Cinema of Germany
• Film
• 2nd millennium

TJMM), No. 1, IN MEMORIAM PROFESSOR PHD. WILHELM KECS

Source URL: tjmm.edyropress.ro

• Romania
• Grigore Moisil
• Applied mathematics
• Traian Lalescu