---

it - Information Technology

Methods and Applications of Informatics and Information Technology

A scientific journal published by Oldenbourg Wissenschaftsverlag

Regular Papers

2010

• R. Wille and R. Drechsler: Synthesizing Reversible Logic

2009

• F. Stefan, P. Herrmann, and W.G. Spruth:  What is written is written - Modern Legacy CICS-Applications
• R. Drechsler, S. Eggersglüß, G. Fey, J. Schlöffel, and D. Tille: Efficient Satisfiability Solving Algorithms for Test Pattern Generation
  

2008

• U. Bracht and C. Eckert: Digital Factory - A Proceeding Model for Virtual Reality in Site and Plant Design
• M. Zäh, M. Spitzweg, and F. Lacour: Application of a Physical Model for the Simulation of the Material Flow of a Manufacturing Plant

2007

• Semantic Interpretation of Natural Language User Input to Imporve Search in Multimedia Knowledge Base
  S. Linckels and C. Meinel, Hasso-Plattner-Institut Potsdam
• Technical Documentation of Soft- and Hardware in Embedded Systems
  B. Muranko and R. Drechsler, University of Bremen
• An Area Efficient Realisation of AES for Wireless Devices.
  F. Vater and P. Langendörfer, IPH GmbH, Frankfurt (Oder).

2006

• z/OS Workload Management – Overview, Strength and Outlook
  R. Vaupel, U. Hild, and S. Wirag, IBM Böblingen

2005

• Microprocessor by Hardware-/Software-Codesign.
  M. Menge, TU Berlin
• An IPQ Format based Toolbox to Support IP based Design.
  M. Visarius and W. Hardt, Universität Chemnitz. In English.
• Ascertaining the Benefit of Database Reorganizations: Need, Tools, Procedures.
  S. Dorendorf, Universität Jena

• Software Localization.
  U. Fissgus and U. Seewald-Heeg, Hochschule Anhalt (FH)
• Agenten: Technologie für den Mainstream?
  A. Pokahr, L. Braubach, and W. Lamersdorf, Universität Hamburg
• Proliferating High Throughput Analysis in Life Science by using Service Oriented Clusters
  R. Reinhardt, M. Kuhn, M. Blüggel, and H. Thiele, Protagen AG Dortmund / Bruker Daltonik Bremen

2004

• Realizing Open Control Software for High Dynamic Processes with a Middleware
  K. Karsten, B. Finkemeyer, and N. Kohn, TU Braunschweig
• Concepts for the Control of the Complexity of Embedded System Design
  S. Klaus and S. Huss, TU Darmstadt
• Hyperdatabases form Managing Information Spaces
  H. Hans-Jörg Schek, H. Schuldt, C. Schuler, C. Türker, and R. Weber, ETH Zürich / UMIT Innsbruck
• Supporting the Development of Embedded Systems by Mechanisms of Active Databases
  D. Monjau, M. Sporer, and A. Strätling, Universität Chemnitz
• C#: a Competitor of Java
  J. Winkler, Universität Jena
• The Java Portlet Specification
  S. Hepper, IBM Böblingen. In English
• Web-Based Exercices in Computer Engineering
  U. Hönig, J. Keller und W. Schiffmann, Fernuniversität Hagen
• Multi Device Portals.
  W. Hänel, IBM Böblingen. In English
• Verifix: Construction and Architecture of Verifying Compilers
  S. Glesner, G. Goos, and W. Zimmermann, Universität Karlsruhe (TH) / Universität Halle

2003

• Designing a Vision Based Collaborative Augmented Reality Application for Industrial Training
  X. Zhong, P. Liu, N. Georganas, and P. Boulanger, University of Ottawa / University of Alberta. In English.
• Characteristics of a Modern In/Out Architecture
  H. Lehmann and W. Spruth, IBM Böblingen / Universität Leipzig
• The SQL Standard
  J. Michels, K. Kulkarni, H. Darwen, C. Farrar, A. Eisenberg, and N. Mattos, IBM USA / IBM UK. In English.
• Testing Safety-Critical Software in Theory and Practice: A Summary
  P. Liggesmeyer, Universität Potsdam
• Gironimo – Translation Optimized Virtual Machine
  M. Menge and I. Schoppa, TU Berlin
• An Approach for Formal Verification of Circuits in SystemC
  D. Große and R. Drechsler, Universität Bremen
• A New Platform For Multimedia Applications
  M. Temerinac, R. Herz, C. Noeske, S. Zimmermann, and V. Wagner, Micronas GmbH Freiburg

Up