Sciweavers

10271 search results - page 129 / 2055
» Self-plagiarism in computer science
Sort
View
RTA
2005
Springer
15 years 12 months ago
Abstract Modularity
Michael Abbott, Neil Ghani, Christoph Lüth
SOFSEM
2005
Springer
15 years 11 months ago
Non-planar Orthogonal Drawings with Fixed Topology
Markus Chimani, Gunnar W. Klau, René Weiski...
SPIN
2005
Springer
15 years 11 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
SPIN
2005
Springer
15 years 11 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp