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

Source URL: www.schemeworkshop.org

The Dynamics of the Roles of Aggressor and Victim in Bullying and Cyberbullying: A Challenge for the Resilient Development of Students1 Ana-Nicoleta Huluba Grigore Abstract: The diversification of the current types of bu

Source URL: symposion.acadiasi.ro

• Bullying
• Social psychology
• Computer crimes
• Sociology
• Cyber-bullying
• School bullying
• Cyberstalking
• Harassment
• Victimisation
• Abuse
• Ethics
• Behavior

Conditional Circular Coinductive Rewriting with Case Analysis Joseph Goguen1 , Kai Lin1 , Grigore Rosu2 Department of Computer Science & Engineering University of California at San Diego, USA 2

Source URL: cseweb.ucsd.edu

• Logic
• Logic in computer science
• Mathematical logic
• Model theory
• Rewriting
• Monad
• Structural induction
• Interpretation
• Mathematics
• Theoretical computer science
• Formal languages

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: se.inf.ethz.ch

• Procedural programming languages
• Formal methods
• Program logic
• Predicate transformer semantics
• Recursion
• KeY
• Binary heap
• Termination analysis
• ALGOL 68
• Software engineering
• Computing
• Computer programming

PERSONAL DATA Name: Florin - Gheorghe FILIP Born:

Source URL: www.academiaromana.ro

• Decision support system
• Europe
• Romania
• Grigore Moisil
• Bucharest

Dumitru Mihail Cioroianu Traian Sirbu Carmen Grigore Adriana Mihalache Daniela Iancu Mariana

Source URL: www.icpa.ro

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Efficient Monitoring of Safety Properties Klaus Havelund1 , Grigore Ro¸su2? 1

Source URL: www.kestreltechnology.com

• Temporal logic
• Model theory
• Linear temporal logic
• Propositional calculus
• FO
• Interpretation
• General frame
• If and only if
• Mathematical logic
• Logic
• Mathematics

INSPECTORATUL SCOLAR AL JUDETULUI BRAILA GRUPUL SCOLAR "GRIGORE MOISIL" BRAILA Subcomisia: GRUPUL SCOLAR "GRIGORE MOISIL" BRAILA-CENTRUL DE EXAMEN NR. 7 Repartizarea candidaţilor pe săli Proba: E)c) - Scris

Source URL: moisil.coolpage.biz

http://oac.cdlib.org/findaid/ark:/13030/tf4x0nb0fn No online items Register of the Comitetul National Roman Records, [removed]Processed by Laura Cosovanu; machine-readable finding aid created by Xiuzhi Zhou Hoover Insti

Source URL: pdf.oac.cdlib.org

• Romanian National Committee
• Folder 5
• Folder
• Grigore Niculescu-Buzeşti
• Computer file
• Nicolae Iorga
• Romania
• Europe
• Nationality

http://oac.cdlib.org/findaid/ark:/13030/kt5m3nf07k No online items Inventory of the Grigore Constantinescu papers Finding aid prepared by G. Duca and Hoover Institution Archives Staff. Hoover Institution Archives

Source URL: pdf.oac.cdlib.org

• Grigore Constantinescu
• Constantinescu
• Radio Free Europe/Radio Liberty
• Communist Romania
• Romania
• Europe
• Communism
• Political philosophy