Sciweavers

65 search results - page 1 / 13

» birthday 2010

34

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

14 years 8 days ago

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

24

BIRTHDAY
2010
Springer

136views Applied Computing» more BIRTHDAY 2010»

Computer Science and State Machines

14 years 8 days ago

Computer Science and State Machines

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

26

BIRTHDAY
2010
Springer

139views Applied Computing» more BIRTHDAY 2010»

Hereditary Zero-One Laws for Graphs

14 years 8 days ago

Hereditary Zero-One Laws for Graphs

Download shelah.logic.at

Saharon Shelah, Mor Doron

claim paper

Read More »

21

BIRTHDAY
2010
Springer

135views Applied Computing» more BIRTHDAY 2010»

Compositionality: Ontology and Mereology of Domains

13 years 11 months ago

Compositionality: Ontology and Mereology of Domains

Download www2.imm.dtu.dk

Dines Bjørner, Asger Eir

claim paper

Read More »

28

BIRTHDAY
2010
Springer

112views Applied Computing» more BIRTHDAY 2010»

Reverse Engineering Using Graph Queries

13 years 8 months ago

Reverse Engineering Using Graph Queries

Download www.cs.uni-paderborn.de

Jürgen Ebert, Daniel Bildhauer

claim paper

Read More »

« Prev « First page 1 / 13 Last » Next »