Subscribe to this collection to receive daily e-mail notification of new additions

Year of Publication	Title	Author(s)	Open Access
2003	Systems for Integrated Computation and Deduction : Interim Report of the CALCULEMUS Network	Benzmüller, Christoph
2003	Interactive Theorem Proving with Indexed Formulas	Hübner, Malte
2003	Pedagogical Rules in ActiveMath and their Pedagogical Foundations	Ullrich, Carsten
2003	Towards a Framework to Integrate Proof Search Paradigms	Autexier, Serge; Benzmüller, Christoph; Hutter, Dieter
2003	Disproving False Conjectures	Autexier, Serge; Schürmann, Carsten
2003	Les femmes dans la Résistance en France : actes du colloque international de Berlin, 8 - 10 octobre 2001, organisé par le Mémorial de la Résistance Allemande de Berlin (Gedenkstätte Deutscher Widerstand) et par le Mémorial du Maréchal Leclerc de Hauteclocque, Musée Jean Moulin, Paris	-
2003	Der Pop-out-Effekt für Ihre digitalen Veröffentlichungen im Informationsdschungel	Wahner, Ute; Weichselgartner, Erich; Herb, Ulrich
2002	Centrum für Evaluation (CEval) : Selbstdarstellung	Stockmann, Reinhard
2002	Building bridges to economy : the impact of environmental communication programs in German business	Meyer, Wolfgang
2002	Dynamic opacity for abstract types	Rossberg, Andreas
2002	First-order theory of subtyping constraints	Su, Zhendong; Aiken, Alexander; Niehren, Joachim, u.a.
2002	Parallelism and tree regular constraints	Niehren, Joachim; Villaret, Mateu
2002	Einführung in die Verfahren und Methoden der Usability Evaluation für das World Wide Web	Harms, Ilse; Schweibenz, Werner
2002	Berufsbilder: Online-Redakteur, Content-Manager, Informationsarchitekt : ... ein Gespräch mit dem Saarbrücker Informationswissenschaftler Prof. Dr. Harald H. Zimmermann	Schank, Stefan; Zimmermann, Harald H.
2002	Proceedings of the 2nd International Workshop on Security in Mobile Multiagent Systems	Fischer, Klaus; Hutter, Dieter
2002	Secure mobile multiagent systems in virtual marketplaces : a case study on comparison shopping	Schaefer, Ina
2002	DFKI finite-state machine toolkit	Piskorski, Jakub
2002	Synthesis and properties of perfluoroalkyl groups containing double four-ring spherosilicate (siloxysilsesquioxane) precursors	Hoebbel, Dagobert; Weber, Christine; Schmidt, Helmut K., u.a.
2002	Influence of initial pH on the particle size and fluorescence properties of the nano scale Eu(III) doped yttria	Sharma, Pramod K.; Jilavi, Mohammad H.; Varadan, V. K., u.a.
2002	TiO2 nanoparticle coatings for self-cleaning and antimicrobial application	Niegisch, Nico; Akarsu, Murat; Csögör, Zsuzsa, u.a.