Sciweavers

10271 search results - page 312 / 2055
» Computer Science
Sort
View
GG
2010
Springer
15 years 5 months ago
A Hoare Calculus for Graph Programs
el of abstraction). Refereed Conference and Workshop Papers
Christopher M. Poskitt, Detlef Plump
GG
2008
Springer
15 years 5 months ago
A Modal-Logic Based Graph Abstraction
Jörg Bauer, Iovka Boneva, Marcos E. Kurb&aacu...
GI
2008
Springer
15 years 5 months ago
IHE based Interoperability for Service Oriented Architectures
Florian Wozak, Elske Ammenwerth, Alexander Hö...
96
Voted
CSR
2010
Springer
15 years 4 months ago
The max quasi-independent set Problem
Nicolas Bourgeois, Aristotelis Giannakos, Giorgio ...