- Page 1 and 2: Annual Report 2007/2008 Computer Sc
- Page 3 and 4: Contents Preface...................
- Page 5 and 6: Preface This report provides a summ
- Page 7: Faculty Life 3
- Page 11 and 12: Sommerfest der Informatik - Compute
- Page 13 and 14: Bright Brains in Computer Science -
- Page 15 and 16: PROGRAM Program 4 ING Conference
- Page 17 and 18: BTW 2007 12. GI-Fachtagung für Dat
- Page 19 and 20: P2P ‘08 From the 8th to the 11th
- Page 21 and 22: New Professors Not least thanks to
- Page 23 and 24: James Gross In January 2008 I joine
- Page 25 and 26: I started my studies of Computer Sc
- Page 27: Teaching 23
- Page 30 and 31: favoured) while no deeper knowledge
- Page 32 and 33: Description of the Contents and Cur
- Page 34 and 35: Area. Finally a specialized exam co
- Page 36 and 37: Required Qualifications Besides a g
- Page 38 and 39: Secondary School Teachers’ Curric
- Page 40 and 41: Media Informatics Master Programm o
- Page 42 and 43: Beginning of the Programme October
- Page 44 and 45: Courses Taught in 2007 and 2008 Sum
- Page 46 and 47: Katoen, Noll, Bohnenkamp, Neuhäuß
- Page 48 and 49: Vöcking, Effiziente Algorithmen VT
- Page 50 and 51: Seidl Proseminar ''Methoden und Wer
- Page 52 and 53: Nagl, Mengi, Retkowitz Softwaretech
- Page 54 and 55: Hanke, Zerz Lineare Algebra I (fuer
- Page 56 and 57: Kowalewski, Salewski Programmierung
- Page 58 and 59:
Computer Science Colloquium - Talks
- Page 60 and 61:
Diploma Theses Diploma and Master T
- Page 62 and 63:
Last Name First Name Title of Thesi
- Page 64 and 65:
Last Name First Name Title of Thesi
- Page 66 and 67:
Last Name First Name Title of Thesi
- Page 68 and 69:
Last Name First Name Title of Thesi
- Page 70 and 71:
Last Name First Name Title of Thesi
- Page 72 and 73:
Last Name First Name Title of Thesi
- Page 74 and 75:
Enrolled Students per Semester (1 -
- Page 77:
Research 73
- Page 80 and 81:
• Student Researchers and Teachin
- Page 82 and 83:
Research Projects UMIC - Mathematic
- Page 84 and 85:
The main objective of this Action i
- Page 86 and 87:
Combining our expertise we propose
- Page 88 and 89:
Berthold Vöcking’s scientific ac
- Page 90 and 91:
Martin Hoefer: Competitive Cost Sha
- Page 92 and 93:
Matthias Englert, Harald Räcke, an
- Page 94 and 95:
Overview Our teaching and research
- Page 96 and 97:
Intuitive Algorithms Joachim Kneis,
- Page 98 and 99:
large data volumes in an untrusted
- Page 100 and 101:
Talks and Publications Talks Daniel
- Page 102 and 103:
Software Modeling and Verification
- Page 104 and 105:
Dr. Wolfram Schulte (Microsoft Res.
- Page 106 and 107:
Research Projects PROJECT: Smyle Mo
- Page 108 and 109:
Due to their enormous size - networ
- Page 110 and 111:
support, among others: automated de
- Page 112 and 113:
eduction techniques to tackle this
- Page 114 and 115:
The tool MOTOR (MoDeST Tool enviRon
- Page 116 and 117:
Talks and Publications Talks Henrik
- Page 118 and 119:
Thomas Noll: Approaches to Model-Ba
- Page 120 and 121:
Joost-Pieter Katoen: Abstraction of
- Page 122 and 123:
Staff Programming Languages and Ver
- Page 124 and 125:
Overview Our research group is conc
- Page 126 and 127:
In particular, we design and implem
- Page 128 and 129:
develop and improve techniques for
- Page 130 and 131:
• Project Reviewer for the US/Isr
- Page 132 and 133:
Talks and Publications Talks J. Gie
- Page 134 and 135:
H. Velroyen: Automatic Non-Terminat
- Page 136 and 137:
T. Dickmeis: Verwendung von Lineare
- Page 138 and 139:
• Guest Researcher: Dipl.-Ing. M.
- Page 140 and 141:
• Visual Programming (L2) • Sof
- Page 142 and 143:
and extensions. Furthermore, they a
- Page 144 and 145:
aspects, the respective problems co
- Page 146 and 147:
PROGRES: A Suite For Specifying Pro
- Page 148 and 149:
during execution. In order to suppo
- Page 150 and 151:
Other Activities Prototype demonstr
- Page 152 and 153:
Talks and Publications Talks Armac,
- Page 154 and 155:
Weinell, E.: Adaptable support for
- Page 156 and 157:
Heller, M., Nagl, M., and Wörzberg
- Page 158 and 159:
Wörzberger, R., Ehses, N., and Hee
- Page 160 and 161:
Overview Our research focuses on th
- Page 162 and 163:
Today, profitability and continuous
- Page 164 and 165:
to the ViPER-IDE. Besides simple cr
- Page 166 and 167:
Other Activities • Design Pattern
- Page 168 and 169:
L. Grammel, H. Schackmann, H. Licht
- Page 170 and 171:
Dr.-Ing. Jürgen Rapp Dipl.-Inform.
- Page 172 and 173:
Research Projects Prior art analysi
- Page 174 and 175:
PRIME: Privacy and Identity Managem
- Page 176 and 177:
impact on the environment within wh
- Page 178 and 179:
The project cooperates with the Cha
- Page 180 and 181:
Plugin-Agents Benjamin Schleinzer F
- Page 182 and 183:
During the last two years we develo
- Page 184 and 185:
Gröndahl, J.; Jakobs, K., Zacharia
- Page 186 and 187:
Panchenko, A.; Pimenidis, L.: On Ap
- Page 188 and 189:
Staff Distributed Systems • Facul
- Page 190 and 191:
Overview The vision of our research
- Page 192 and 193:
The rising complexity of data proce
- Page 194 and 195:
The proliferation of broadband Inte
- Page 196 and 197:
Protocol Factory: Modular and Platf
- Page 198 and 199:
Peer-to-Peer-Based Infrastructure S
- Page 200 and 201:
But why combine network simulations
- Page 202 and 203:
“Fachgespraech” is a workshop t
- Page 204 and 205:
Prof. Wehrle was awarded “Nachwuc
- Page 206 and 207:
Klaus Wehrle, Mobile Internet - Mob
- Page 208 and 209:
in the Proceedings of The 6th ACM C
- Page 210 and 211:
• Researchers continued: Dr. Marc
- Page 212 and 213:
Informatik 5 was also very active i
- Page 214 and 215:
System architecture of Virtual Camp
- Page 216 and 217:
Metadata in Community Information S
- Page 218 and 219:
and users to foster investigation,
- Page 220 and 221:
ERASMUS MUNDUS European Master in I
- Page 222 and 223:
design their Bachelor program in AI
- Page 224 and 225:
Y. Cao co-organized the DIN NI-32
- Page 226 and 227:
Talks and Publications Talks T. Ber
- Page 228 and 229:
M. Jarke: Agent modeling and commun
- Page 230 and 231:
Z. Petrushyna: No Guru, No Method,
- Page 232 and 233:
R. Klamma, N. Sharda, B. Fernández
- Page 234 and 235:
Knowledge Management and New Media
- Page 236 and 237:
of the 9th International Conference
- Page 238 and 239:
M. Jarke: Wirtschaftsinformatik-Ver
- Page 240 and 241:
dia Metadata Management & Retrieval
- Page 242 and 243:
S. Srirama, M. Jarke, W. Prinz: A p
- Page 244 and 245:
Overview A major focus of our group
- Page 246 and 247:
encoding of computer players (so-ca
- Page 248 and 249:
to implement new motion and navigat
- Page 250 and 251:
knowledge. For means of efficiency,
- Page 252 and 253:
Other Activities Best Student Paper
- Page 254 and 255:
Soccer-Ex 2007. Upon an initiatve o
- Page 256 and 257:
League, ÖGAI-Journal, 2008. to app
- Page 258 and 259:
J. Lööf, M. Sc. Engineering Physi
- Page 260 and 261:
• natural language processing o d
- Page 262 and 263:
• The acoustic model captures the
- Page 264 and 265:
We developed a tagger using the max
- Page 266 and 267:
Research Projects CLEF/ImageCLEF Im
- Page 268 and 269:
Informatik 6’ submitted the 8 bes
- Page 270 and 271:
translation. The EPPS corpus consis
- Page 272 and 273:
Talks and Publications Publications
- Page 274 and 275:
P. Dreuw. Visual Modeling and Featu
- Page 276 and 277:
B. Hoffmeister, C. Plahl, P. Fritz,
- Page 278 and 279:
C. Schmidt, D. Vilar, and H. Ney. U
- Page 280 and 281:
Logic & Theory of Discrete Systems
- Page 282 and 283:
Research Projects Automata Theory a
- Page 284 and 285:
50 years ago (“Church’s Problem
- Page 286 and 287:
This project is a contribution to t
- Page 288 and 289:
Implementation and Application of A
- Page 290 and 291:
W. Thomas: Infinite Games: from Win
- Page 292 and 293:
W. Thomas: Model transformations in
- Page 294 and 295:
Overview The research group on Math
- Page 296 and 297:
Inside this Gradiuertenkolleg, our
- Page 298 and 299:
Talks and Publications Talks V. Bá
- Page 300 and 301:
B. Puchala, Infinite Two-Player Gam
- Page 302 and 303:
Staff Computer Graphics and Multime
- Page 304 and 305:
Overview The Computer Graphics and
- Page 306 and 307:
Research Projects Augmented Reality
- Page 308 and 309:
Animated 3D Characters From Uncalib
- Page 310 and 311:
Interactive Pixel-Accurate Free Vie
- Page 312 and 313:
Global Illumination and Radio Wave
- Page 314 and 315:
LaserBrush: A Flexible Device for 3
- Page 316 and 317:
OpenFlipper - An Open Source 3D Geo
- Page 318 and 319:
SIL - Semantic Interface Layers Jan
- Page 320 and 321:
2D Video Editing for 3D Effects Dar
- Page 322 and 323:
• Member of the international pro
- Page 324 and 325:
Talks and Publications Invited Talk
- Page 326 and 327:
Netherlands, October 2007 Publicati
- Page 328 and 329:
J. Wu, L. Kobbelt, M. Pauly: Sampli
- Page 330 and 331:
Overview Research at Computer Scien
- Page 332 and 333:
Research Projects Core Data Base Te
- Page 334 and 335:
enable indexing and efficient view-
- Page 336 and 337:
Figure 1: multistep query processin
- Page 338 and 339:
Data dissemination: Air Indexing Fo
- Page 340 and 341:
Other Activities Dissertations 1. A
- Page 342 and 343:
Publications Seidl T.: Nearest Neig
- Page 344 and 345:
Deserno T.M., Güld M.O., Plodowski
- Page 346 and 347:
Staff Computer-supported Learning
- Page 348 and 349:
Overview The group’s focus in res
- Page 350 and 351:
Research Projects L²P - eLearning
- Page 352 and 353:
Learning process oriented eAssessme
- Page 354 and 355:
Gender-sensitive, interdisciplinary
- Page 356 and 357:
Other Activities Ulrik Schroeder
- Page 358 and 359:
Talks and Publications Talks U. Sch
- Page 360 and 361:
U. Schroeder, Ph. Rohde, M. Gebhard
- Page 362 and 363:
Staff • Faculty • Secretary Med
- Page 364 and 365:
Overview The Media Computing Group
- Page 366 and 367:
Research Projects The Aachen Media
- Page 368 and 369:
Organic Interfaces Thorsten Karrer,
- Page 370 and 371:
TWEND: Twisting and Bending as new
- Page 372 and 373:
Our wearable system is intended to
- Page 374 and 375:
tabletop rear projection. At the sa
- Page 376 and 377:
Talks and Publications Talks Baroqu
- Page 378 and 379:
Jan Borchers. Research Landscape Ov
- Page 380 and 381:
Embedded Software Laboratory Staff
- Page 382 and 383:
Overview Informatik 11 represents t
- Page 384 and 385:
Services Gateway Initiative (OSGi)
- Page 386 and 387:
and software into everyday life boo
- Page 388 and 389:
Energy based control of a platoon o
- Page 390 and 391:
T. Reinbacher, M. Kramer, M. Horaue
- Page 392 and 393:
Institute for Scientific Computing
- Page 394 and 395:
• Virtuelle Realität (Virtual Re
- Page 396 and 397:
code for computing Jacobian-vector
- Page 398 and 399:
pumps, we proprose to address the i
- Page 400 and 401:
• 4th ASIM Workshop held at Aache
- Page 402 and 403:
Integrative Production Technology f
- Page 404 and 405:
Transformations for Interpreted Lan
- Page 406 and 407:
Staff • Faculty • Secretary Sof
- Page 408 and 409:
Research Projects Derivative Code C
- Page 410 and 411:
Combinatorial Problems in AD. Varni
- Page 412 and 413:
C. Bischof and M. Bücker and P. Ho
- Page 414 and 415:
Overview Located at the Jülich Sup
- Page 416 and 417:
scalability, prediction accuracy, a
- Page 418 and 419:
Other Activities We organized the M
- Page 420 and 421:
F. Wolf, D. Becker, M. Geimer, B. J
- Page 422 and 423:
Staff Virtual Reality Group • Fac
- Page 424 and 425:
space. Since recently, our research
- Page 426 and 427:
Rhinomodell - Modeling the Aerodyna
- Page 428 and 429:
1. Facilitate data exchange and eas
- Page 430 and 431:
data sets. Functional anatomical sy
- Page 432 and 433:
(D) Standardization and evaluation
- Page 434 and 435:
system is based on developments of
- Page 436 and 437:
Talks and Publications Talks Ingo A
- Page 438 and 439:
P. Cerfontaine, T. Kuhlen, C. Bisch
- Page 440 and 441:
L. Jerabkova, J. Jerabek, R. Chudob
- Page 442 and 443:
438
- Page 444 and 445:
440
- Page 446 and 447:
Bringing Iterative Design To Ubiqui
- Page 448 and 449:
Integrators for Consistency Managem
- Page 450 and 451:
Robot Controllers for Highly Dynami
- Page 452 and 453:
• Dynamic process views: In order
- Page 454 and 455:
A basic way of extending first-orde
- Page 456 and 457:
methods for parallel corpora, and a
- Page 458 and 459:
A Semantic Time Framework for Inter
- Page 460 and 461:
Exact Algorithms Based on Specific
- Page 462 and 463:
Configuring eHome Systems Ulrich No
- Page 464 and 465:
Model-driven Development of Distrib
- Page 466 and 467:
Model Checking of Software for Micr
- Page 468 and 469:
MultiView systems for explorative a
- Page 470 and 471:
Mobile Hosts in Enterprise Service
- Page 472 and 473:
Strategies in Infinite Games with L
- Page 474 and 475:
Phrase-based Statistical Machine Tr
- Page 476 and 477:
472
- Page 478 and 479:
474
- Page 480 and 481:
Overview Since 1985 the System Admi
- Page 482 and 483:
Staff Computer Science Library RWTH
- Page 484 and 485:
480
- Page 486 and 487:
• As a continuous trend over the
- Page 488 and 489:
Postal address Fachschaft I/1, Temp
- Page 490 and 491:
• Helping to cope with the first
- Page 492 and 493:
488
- Page 494 and 495:
The programme is “Putting strong
- Page 496 and 497:
IT has become first choice for many
- Page 498 and 499:
conflicting targets like data-rate,
- Page 500 and 501:
Fraunhofer FIT The mission of the F
- Page 502 and 503:
General Graduiertenkollegs - Resear
- Page 504 and 505:
to improved standards and a vastly
- Page 506 and 507:
Topic and Aims Transfer Center 61/
- Page 508 and 509:
Aachen Institute for Advanced Study
- Page 510 and 511:
Forum Information Technology at RWT
- Page 512 and 513:
Members Industrial partner REGINA e
- Page 514 and 515:
REGINA e.V. Competence Network Info
- Page 516 and 517:
512
- Page 518 and 519:
2007-18 Uwe Naumann: Call Tree Reve