Cooperative Query Answering by Abstract Interpretation
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Privacy, Liveliness and Fairness for Reputation
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Bandwidth Constrained Multi-interface Networks
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
On Approximating the $d$-Girth of a Graph
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Comparing GPU and CPU in OLAP Cubes Creation
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
One-Reversal Counter Machines and Multihead Automata: Revisited
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Combining Traditional Map Labeling with Boundary Labeling
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Finding the Description of Structure by Counting Method: A Case Study
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Integrity and Consistency for Untrusted Services
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Information Leakage Analysis by Abstract Interpretation
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Min-Max Coverage in Multi-interface Networks
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Collisionless Gathering of Robots with an Extent
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
An Improved B+ Tree for Flash File Systems
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Upward Point-Set Embeddability
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Efficient Algorithms for Handling Nondeterministic Automata
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
Verification of Timed-Arc Petri Nets
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter
On Making a Distinguished Vertex Minimum Degree by Vertex Deletion
Published in SOFSEM 2011: Theory and Practice of Computer Science
(2011)
Get full text
Book Chapter