Radu Grigore

Dissertation: The Design and Algorithms of a Verification Condition Generator. Mathematics Subject Classification: 68—Computer science. Advisor 1: Joseph ...

Projects

Radu GRIGORE / Profile

sourceforge.net

I agree to receive quotes, newsletters and other information from sourceforge.net and its partners regarding IT services and products. I understand that I can ...

CLOPS / Thread: [Clops-users] default download

sourceforge.net

From: Radu Grigore <radugrigore@gm...> :46. For me the default download appeared to be 0.2, not I tried to change it from ("Project ...

cfind / Feature Requests

sourceforge.net

7 · incremental sts, None, open, Radu GRIGORE, · index update, 0.0.x, open, Radu GRIGORE

cfind / Wiki / Home

sourceforge.net

Authors: Radu GRIGORE. A UNIX style content indexer. Works like good old "locate" and provides functionality similar to tools like Google Desktop.

Books & Literature

(1 - 4 from 21

–show all

)

se.inf.ethz.ch

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude ...

Implementation and Application of Functional Languages: 17th...

books.google.de

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages,...

Advances In Electrocardiology Proceedings Of The 31th...

books.google.co.uk

Electrocardiology has witnessed a century of development since the introduction of Einthoven's Galvanometer. With rapid progress in the scientific,...

Verified Software: Theories, Tools, Experiments: Second International...

books.google.de

... Gaina Graeme Smith Radu Grigore Volker Stolz Bhargav Gulavani Jun Sun Yu Guo Aaron Turon Mark Hillebrand Kapil Vaswani Viliam Holub Xian Zhang.

Scientific Publications

dblp: Radu Grigore

dblp.uni-trier.de

List of computer science publications by Radu Grigore

CiteSeerX — coreStar: The Core of jStar

citeseer.ist.psu.edu

... Dino Distefano , Mike Dodds , Radu Grigore , Matthew J Separation logic: A logic for shared mutable data ... Reynolds The Spec# programming system: An overview BARNETT, LEINO, et al

Radu Grigore - dblp

dblp.org

List of computer science publications by Radu Grigore.

Dept. of Computer Sci.: Yang

www.informatik.uni-kl.de

This talk is based on the joint work with Mayur Naik, Xin Zhang, Ravi Mangal, Radu Grigore, Hakjoo Oh, Wonchan Lee, Kihong Heo, and Kwangkeun Yi.

Publications

(1 - 3 from 5

–show all

)

On Equations with Universal Invariance : Dan Radu Grigore : Free...

archive.org

A general discussion of equations with universal invariance for a scalar field is provided in the framework of Lagrangian theory of first-order systems.

Quelle anzeigen

wiki.bath.ac.uk

11:30 Radu Grigore (Queen Mary), Register Automata and Java. 12:15 Stefan Kiefer (Oxford), On the equivalence problem for probabilistic automata.

Statistics in the Propositional Formulation of Quantum Mechanics :...

archive.org

fullscreen. Author: Dan Radu Grigore Collection: arxiv; additional_collections. Description. We give a definition for the notion of statistics in the lattice-theoretical ...

Video & Audio

Radu Grigore - Scenarist - CinemaRx

www.cinemarx.ro

Radu Grigore. Filme cu Radu Grigore - The leading information resource for the entertainment industry

Radu Grigore - YouTube

www.youtube.com

computer science and personal stuff

YouTube

www.youtube.com

Radu Grigore - YouTube

Reports & Statements

(1 - 4 from 72

–show all

)

Google Groups: [MatkoBotincan/corestar] a049d6: Fixed makefiles to work when dirs ...

: ... https://github.com/MatkoBotincan/corestar/commit/

Google Groups: memory leak?

: Radu Grigore comp soft-sys matlab radugrigore@

Google Groups: [septract/jstar] e4ca21: Implemented join of heaps over their numeric ...

: ... https://github.com/septract/jstar/commit/

Wikipedia: Lista episoadelor din O nouă viață - Wikipedia

Mihai Brătilă, Radu Grigore Alex Molico, 3 februarie ( ), 11 februarie ( ). Ioana semnează un contract cu Amalia Barbu, cea din ...

Miscellaneous

(1 - 20 from 103

–show all

)

	Romania Bucuresti Oxford United Kingdom Bucharest London Mofleni New york

	Research Computer Science Director Engineering Zmeureanu Software Department Janota Politehnica University of Oxford

Radu Grigore Free People Check

Images of Radu Grigore

Telephone & Addresses

Business Profiles

Education

Heritage

Projects

Scientific Publications

Video & Audio