Publications of the Computer Science Department

Technical Reports
 

 
 
Type Articles     Size
     
CS-2016-002
Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller: State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning: Full Proofs . Technical Report CS-2016-002, Department of Mathematics and Informatics, University of Basel, May 2016
276 KB
     
CS-2016-001
Silvan Sievers, Martin Wehrle, Malte Helmert: An Analysis of Merge Strategies for Merge-and-Shrink Heuristics: Additional Data . Technical Report CS-2016-001, Department of Mathematics and Informatics, University of Basel, March 2016
50 KB
     
CS-2015-002
Luca Rossetto, Ivan Giangreco, Heiko Schuldt: OSVC - Open Short Video Collection 1.0 . Technical Report CS-2015-002, Department of Mathematics and Computer Science, University of Basel, Oktober 2015
5.5 MB
     
CS-2015-001
Martin Wehrle, Malte Helmert, Alexander Shleyfman Michael Katz: Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning: Additional Examples . Technical Report CS-2015-001, Department of Mathematics and Computer Science, University of Basel, May 2015
117 KB
     
CS-2014-006
Alexander Sheleyfaman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle: Heuristics and Symmetries in Classical Planning: Additional Proofs. Technical Report CS-2014-006, Department of Mathematics and Computer Science, University of Basel, May 2014
244 KB
     
CS-2014-005
Florian Pommerening, Malte Helmert, Gabriele Röger, Jendrik Seipp: From Non-Negative to General Operator Cost Partitioning Proof Details. Technical Report CS-2014-005, Department of Mathematics and Computer Science, University of Basel, May 2014
192 KB
     
CS-2014-004
Jendrik Seipp, Silvan Sievers, Malte Helmert, Frank Hutter: Automatic Configuration of Sequential Planning Portfolios: Generated Portfolios. Technical Report CS-2014-004, Department of Mathematics and Computer Science, University of Basel, May 2014
100 KB
     
CS-2014-003
Christian Tschudin, Manolis Sifalakis: RPC as the Core of Networking Protocols. Technical Report CS-2014-003, Department of Mathematics and Computer Science, University of Basel, May 2014
112 KB
     
CS-2014-002
Silvan Sievers, Martin Wehrle, Malte Helmert: Bounded Intention Planning Revisited: Proof. Technical Report CS-2014-002, Department of Mathematics and Computer Science, University of Basel, May 2014
128 KB
     
CS-2014-001
Massimo Monti, Manolis Sifilakis: Chemistry-inspired Programmable Hardware in Communication and Networking Systems. Technical Report CS-2014-001, Department of Mathematics and Computer Science, University of Basel, April 2014
8.4 MB
     
CS-2013-005
Jendrik Seipp, Silvan Sievers, Frank Hutter: Automatic Configuration of Sequential Planning Portfolios. Technical Report CS-2013-005, Department of Mathematics and Computer Science, University of Basel, Dezember 2013
164 KB
     
CS-2013-004
Lukas Probst, Nenad Stojnic, Heiko Schuldt: COMPASS - Latency Optimal Routing in Heterogeneous Chord-based P2P Systems. Technical Report CS-2013-004, Department of Mathematics and Computer Science, University of Basel, December 2013
1.1 Mb
     
CS-2013-002
Martin Wehrle, Malte Helmert, Yusra Alkhazraji, Robert Mattmüller: The Relative Pruning Power of Strong Stubborn Sets and Expansion Core: Additional Proofs. Technical Report CS-2013-002, Department of Mathematics and Computer Science, University of Basel, April 2013
136 KB
     
CS-2013-001
Massimo Monti, Manolis Sifalakis: Design, Analysis and Performances of Chemical-Inspired Rate Controllers in Packet Networks. Technical Report CS-2013-001, Department of Mathematics and Computer Science, University of Basel, January 2013
944 KB
     
CS-2012-003
Massimo Monti, Manolis Sifalakis, Christian F. Tschudin: Extending the Artificial Chemistry to Design Networking Algorithms with Controllable Dynamics. Technical Report CS-2012-003, Department of Mathematics and Computer Science, University of Basel, July 2012
573 KB
     
CS-2012-002
Nenad Stojnić, Heiko Schuldt: Safety Ring: Fault-tolerant Distributed Process Execution in OSIRIS. Technical Report CS-2012-002, Department of Mathematics and Computer Science, University of Basel, May 2012
748 KB
     
CS-2012-001
Ilir Fetai, Heiko Schuldt: Cost-Based Adaptive Concurrency Control in the Cloud. Technical Report CS-2012-001, Department of Mathematics and Computer Science, University of Basel, February 2012
391 KB
     
CS-2011-002
Massimo Monti, Thomas Meyer, Marco Luise, Christian Tschudin: Analyzing the Dynamics of Chemical Networking Protocols with a Signal Processing Approach. Technical Report CS-2011-002, Department of Mathematics and Computer Science, University of Basel, July 2011
540 KB
     
CS-2011-001
Thomas Meyer, Christian Tschudin: Flow Management in Packet Networks Through Interacting Queues and Law-of-Mass-Action Scheduling. Technical Report CS-2011-001, Department of Mathematics and Computer Science, University of Basel, January 2011
290 KB
     
CS-2010-004
Thomas Meyer, Christian Tschudin: Competition and Cooperation of Self-Healing Software. Technical Report CS-2010-004, CS Department, University of Basel, August 2010
1.2 MB
     
CS-2010-003
Thomas Meyer, Christian Tschudin: Self-Organizing Code-Level Redundancy for Networking Protocols . Technical Report CS-2010-003, CS Department, University of Basel, August 2010
1.6 MB
     
CS-2010-002
Nadine Fröhlich, Thorsten Möller, Steven Rose, Heiko Schuldt: A Benchmark for Context Data Management in Mobile Applications . Technical Report CS-2010-002, CS Department, University of Basel, August 2010
378 KB
     
CS-2010-001
Michael Springmann, Ihab Al Kabary, Heiko Schuldt: Experiences with QbS: Challenges and Evaluation of Known Image Search based on User-Drawn Sketches. Technical Report CS-2010-001, CS Department, University of Basel, August 2010
3.4 MB
     
CS-2009-001
Thomas Meyer and Christian Tschudin: A Self-Healing Load Balancing Protocol and Implementation. Technical Report CS-2009-001, CS Department, University of Basel, July 2009
596 KB
     
CS-2008-002
Laura Voicu and Heiko Schuldt: The Re:GRIDiT Protocol: Correctness of Distributed Concurrency Control in the Data Grid in the Presence of Replication. Technical Report CS-2008-002, CS Department, University of Basel, September 2008
140 KB
     
CS-2008-001
Christophe Jelger, Ghazi Bouabene, and Christian Tschudin: Routing Namespace Patterns. Technical Report CS-2008-001, CS Department, University of Basel, September 2008
180 KB
     
CS-2006-001
Christophe Jelger and Christian Tschudin: Private Address Maps (The Disappearing MANET Autoconf Problem). Technical Report CS-2006-001, CS Department, University of Basel, June 2006
101 KB
     
CS-2005-007
Christophe Jelger and Christian Tschudin: An Underlay Approach for Layer Fusion. Technical Report CS-2005-007, CS Department, University of Basel, June 2005
349 KB
     
CS-2005-004
Evgeny Osipov: A Path Density Protocol for MANETs. Technical Report CS-2005-004, CS Department, University of Basel, May 2005
757 KB
     
CS-2005-003
Evgeny Osipov: TCP Capture Avoidance in Wireless Networks Based on Path Length and Path Density. Technical Report CS-2005-003, CS Department, University of Basel, April 2005
145 KB
     
CS-2005-001
Evgeny Osipov: Empirical Upper Bound on TCP Transmission Rate for Guaranteed Capture-Free Communications in Multi-hop IEEE 802.11 Based Wireless Networks. Technical Report CS-2005-001, CS Department, University of Basel, February 2005
357 KB
     
CS-2004-007
Stefan Rölin and Olaf Schenk: Maximum-weighted matchings strategies and the application to symmetric indefinite system. Technical Report CS-2004-007, CS Department, University of Basel, November 2004
140 KB
     
CS-2004-006
Matthias Bollhöfer and Olaf Schenk: Combinatorial Aspects in Sparse Elimination Methods. Technical Report CS-2004-006, CS Department, University of Basel, November 2004
507 KB
     
CS-2004-005
Olaf Schenk and Michael Hagemann: Symmetric matchings for the preconditioning of symmtric indefinite systems. Technical Report CS-2004-005, CS Department, University of Basel, August 2004
241 KB
     
CS-2004-004
Olaf Schenk and Klaus Gärtner: On fast factorization pivoting methods for sparse symmetric indefinite systems. Technical Report CS-2004-004, CS Department, University of Basel, August 2004
383 KB
     
CS-2004-003
Christian Tschudin and Lidia Yamamoto: A Metabolic Approach to Protocol Resilience. Technical Report CS-2004-003, CS Department, University of Basel, July 2004
89 KB
     
CS-2004-002
Evgeny Osipov and Christian Tschudin: Improving the Path Optimality of Reactive Ad Hoc Routing Protocols Through De-Coherent RREQ waves. Technical Report CS-2004-002, CS Department, University of Basel, April 2004
77 KB
     
CS-2004-001
Christian Tschudin and Evgeny Osipov: Estimating the Ad Hoc Horizon for TCP over IEEE 802.11 Networks. Technical Report CS-2004-001, CS Department, University of Basel, March 2004
1.2 MB