Sciweavers

15416 search results - page 76 / 3084
» Embeddings of Computable Structures
Sort
View
139
Voted
GD
2007
Springer
16 years 1 months ago
Efficient C-Planarity Testing for Embedded Flat Clustered Graphs with Small Faces
Giuseppe Di Battista, Fabrizio Frati
DSN
2002
IEEE
16 years 11 days ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet