945 Results for this Organisational Unit

Subscribe to RSS feed for this result set

26. A distance hijacking attack on the CRCS distance bounding protocol

Cremers, Cas (2011)


Reports

27. Advice and randomization in online computation

Komm, Dennis (2012)


Doctoral and Habilitation Theses

28. Advice complexity and barely random algorithms

Komm, Dennis and Královič, Richard (2010)


Reports

29. Advice Complexity of the Online Vertex Coloring Problem

Seibert, Sebastian, Sprock, Andreas and Unger, Walter (2012)


Reports

30. A Dynamic AOPEngine for .NET

Frei, Andreas, Grawehr, Patrick and Alonso, Gustavo (2004)


Reports

31. A dynamic lightweight Architecture for Ad-hoc Infrastructures

Frei, Andreas and Alonso, Gustavo (2004)


Reports

32. A fast and compact compiler for Modula-2

Wirth, Niklaus and Gutknecht, Jürg (1985)


Reports

33. A faster distributed approximation scheme for the connected dominating set problem for growth-bounded graphs

Gfeller, Beat and Vicari, Elias


Reports

34. A fast+practical+deterministic algorithm for triangularizing integer matrices

Storjohann, Arne (1996)


Reports

35. A first approach to speech retrieval

Glavitsch, Ulrike (1995)


Reports

36. A Formalization of JML in the Coq Proof System

Kägi, Andreas, Lehner, Hermann and Müller, Peter (2009)


Reports

37. A formal semantics for isorecursive and equirecursive state abstractions

Summers, Alexander J. and Drossopoulou, Sophia (2012)


Reports

38. A framework for facial surgery simulation

Koch, R.M., Roth, Samuel Hans Martin, Gross, Markus H., Zimmermann, A.P. and Sailer, Hermann F. (1999)


Reports

39. A framework for modelling and testing of security policies

Brügger, Lukas Alexander (2012)


Doctoral and Habilitation Theses

40. A Fully Decentralized Approach to Coordinating Transactional Processes in Peer-to-Peer Environments

Haller, Klaus, Schuldt, Heiko and Türker, Can (2004)


Reports

41. A generalized Sylvester identity and fraction-free random Gaussian elimination

Mulders, Thom (1997)


Reports

42. A graph grammar approach to geographic data bases

Meier, Andreas (1982)


Reports

43. A graphical development environment for quantum algorithms

Zeiter, Daniel (2008)


Master Theses

44. A hierarchical visual clustering method using implicit surfaces

Sprenger, Thomas Carl, Brunella, R. and Gross, Markus H. (2000)


Reports

45. A highly scalable memory efficient multigrid solver for µ-finite element analyses

Flaig,Cyril (2012)


Doctoral and Habilitation Theses

46. A Jacobi-Davidson method for solving complex-symmetric Eigenvalue problems

Arbenz, Peter and Hochstenbach, Michiel E. (2002)


Reports

47. Aktuelle Techniken zur Leistungssteigerung von Mikroprozessoren

Eberle, Hans (1995)


Reports

48. Algebraic Communication Complexity of Distributed Computation

Bläser, Markus and Vicari, Elias (2005)


Reports

49. Algebraic Intruder Deductions

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2005)


Reports

50. Algebraic manipulation

Gruntz, Dominik and Gonnet, Gaston H. (1991)


Reports