Friedrich-Schiller-Universität Jena
Faculty of Mathematics and Computer Science


Computer Science

Technical Reports on Computer Science: 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 |
2011

2010

2009

2008

08-07
Berg, Tobias; Hempel, Harald: Reoptimization of TSP and Steiner Tree: Changing single edge-weights , Reports on Computer Science

08-06
Berg, Tobias; Hempel, Harald: Inverse Problems Have Inverse Complexity , Reports on Computer Science

08-05
Elisabeth Hellwig; Thomas Hinze; Thorsten Lenser; Peter Dittrich: Beispiele und künstliche Evolution oszillierender biochemischer Netzwerke: eine experimentelle Studie , Reports on Computer Science

2007

07-05
Lau, S.; Eichardt, R.; Haueisen, J.; Di Rienzo, L.; Schukat-Talamazzini, E.G.: Strategies for Optimal Design of Biomagnetic Sensor Systems , Reports on Computer Science

07-04
Bauland, M.; Mundhenk, M.; Schneider, Th.; Schnoor, H.; Schnoor, I.; Vollmer, H.: Tractability of model-checking for LTL: the good, the bad, and the ugly fragments , Reports on Computer Science

07-02
Mundhenk, Martin; Schneider, Thomas: The Complexity of Hybrid Logics over Equivalence Relations , Reports on Computer Science

2006

06-24
C. Schmidt; T. Hinze; T. Lenser; P. Dittrich: Selected Public Databases and Software Tools with Relevance to the ESIGNET Project , Reports on Computer Science

06-11
Mundhenk, Martin; Schneider, Thomas: Undecidability of Multi-modal Hybrid Logics , Reports on Computer Science

06-10
Hagen, Matthias: Logarithmic Space Instances of Monotone Normal Form Equivalence Testing , Reports on Computer Science

06-09
Hagen, Matthias: On the Fixed-Parameter Tractability of the Equivalence Test of Monotone Normal Forms , Reports on Computer Science

06-08
Hagen, Matthias: Lower Bounds for Three Algorithms for the Transversal Hypergraph Generation , Reports on Computer Science

06-07
Knauer, C.; Spillner, A.: Fixed-Parameter Algorithms for Finding Crossing-Free Spanning Trees in Geometric Graphs , Reports on Computer Science

06-02
S. Lau; J. Haueisen; E. G. Schukat-Talamazzini; A. Voss; M. Goernig; U. Leder; H.-R. Figulla: Entropy Estimation Methods in HRV Analysis of Patients with Myocardial Infarction , Reports on Computer Science

2005

2004

04-13
Spillner, A.: Minimum Boundary Touching Tilings of Simple Polyominoes , Reports on Computer Science

04-10
Spillner, A.: Tiling Polyominoes with Squares that Touch the Boundary , Reports on Computer Science

04-08
Dorendorf, S.: Quantifizierung des zu erwartenden Nutzens von Datenbankreorganisationen , Reports on Computer Science

2003

03-18
Spillner, A.: Illuminating a Convex Polygon Optimally with Three Floodlights , Reports on Computer Science

03-12
Spillner, A.; Dietel, J.; Hecker, H.-D.: A Note on Optimal Floodlight Illumination of Stages , Reports on Computer Science

03-08
Gollmick, Chr.: Client-Oriented Replication in Mobile Database Environments , Reports on Computer Science

03-01
Große, A.; H. Hempel: On Functions and Relations , Reports on Computer Science

2002

02-06
Müller, Ingo: Integrating Mobile Agent Technology into an e-Marketplace Solution , Reports on Computer Science

02-03
Steinwart, Ingo: Consistency of Support Vector Machines and other regularized kernel machines , Reports on Analysis and Computer Science

2001

01-08
Steinwart, I.: On the generalization ability of support vector machines , Reports on Analysis and Computer Science

01-01
Steinwart, I.: On the influence of the kernel on the generalization ability of support vector machines , Reports on Analysis and Computer Science

2000

1999

99-49
Kasche, Bernd: Entwurf eines optoelektronischen Rechenwerkes , Reports on Computer Science

99-48
Etzrodt, Thomas: Automatische Speicherfreigabe in Mehrprozessorsystemen - Verfahren und Leistungsbewertung , Reports on Computer Science

99-29
Hempel, Harald: A Note on Query: Solving the Missing Case , Reports on Computer Science

99-08
Kauer, Stefan: Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen , Reports on Computer Science

99-06
Fey, Dietmar: Architekturen, Algorithmen und Technologien der optoelektronischen Rechentechnik , Reports on Computer Science

1998

98-11
Hempel, Harald: Titel Boolean Hierarchies - On Collapse Properties and Query Order , Reports on Computer Science

98-08
Broersma, H.; Huck, A.; Kloks, T.; Koppius, O.; Kratsch, D.; Müller, H.; Tuinstra, H.:: Degree-Preserving Forests , Reports on Computer Science and Algebra and Geometry

1997


28-Feb-2013, Math-Net Projekt in Jena