Sciweavers

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