Suche:
Institut für Informatik
Navigation:
(überspringen)
Über uns
Veranstaltungen
Aktuelles
Schüler
Studieninteressierte
Studium
Abteilungen
Forschung
Personen
Login
Stud.IP
Studienportal
Prüfungstermine
Bibliothek
Rechenzentrum
Formularwesen
IFI Kennwort ändern
Datenschutz
Hilfe und Support
Informatik an der TU Clausthal
> Sitemap
Sitemap
Sitemap
Über uns
Profil
Kontakt
Anfahrt
Stellenangebote
Jahresbericht
Bildergalerie
Datenschutz
Support
Veranstaltungen
30 Jahre IFI
Aktuelles
Schüler
Informatiktag
Kontakt
Frühstudium
Was ist Informatik?
Schülerseminar
Girls' Day am Institut für Informatik
Schnupperstudium
Studieninteressierte
Studiengänge im Überlick
Studienfachberatung
Studium
Aktuelle Informationen
Studienfachberatung
Studiengänge
B.Sc. Informatik
B.Sc. Wirtschaftsinformatik
M.Sc. Informatik
M.Sc. Wirtschaftsinformatik
B.Sc. Technische Informatik
M.Sc. Systems Engineering
Vorlesungen
Prüfungstermine
Austauschprogramme
Diplomanden- und Doktorandenseminar
Certified Information Systems Engineer, TU Clausthal
V-Modell®XT Zertifikat Pro
iSAQB® Certified Professional for Software Architecture
ISTQB Certified Tester, Foundation Level
Introduction to CMMI for Development v1.3
Sponsoren
FAQs
Abteilungen
Computational Intelligence
Computational Intelligence
News
News Archive
News Details
Feed
Research
Journal Articles
Books and Collections
Book Chapters
Conference Papers
Conference Proceedings
Technical Reports
Oberseminar
Relations
Projects
GaLOT - Game Logics for Open IT Environments
LocCom - Local Communities in Information Cities
An Environment Interface Standard for Agent-Oriented Programming
Multi-Agent Programming Contest
Verifying Abilities of Resource-Bounded Agents
Model Checking With Logic Based Petri Nets
IPMasAr: Modelling Inference and Preferences in Multiagent Systems through Argumentation
Clustering Proximities
Detectino
Generalization Ability and Matrix Learning in Prototype-Based Classification
Predictive Control of Waste Incinerator
A Language for Beliefs and Knowledge Representation
A Simulation Platform for Multi-Agent Systems
Applications of Softcomputing Techniques in Biomedical Domains
Strategic Abilities under Imperfect Information: Modeling, Reasoning and Verification
Modular BDI Architecture and Agent Oriented Programming
Humanitarian Demining
Programming Multiagent Systems
A General Framework for Reasoning about Plausible Behavior and Rational Agents
HTN Planning in Answer Set Programming
Members
Activities
Highlights
Edited Special Issues
Edited Books
Organized Conferences and Workshops
Steering Committee
PC-Member
Evaluator
Gallery
Guests
Eventlist
Multiagent Contest
AMAI/ASP 2006
NMR'06
MAP
EIS
Teaching
Courses Overview
Student Projects
International Lecturing
Model Checking Temporal and Strategic Logics (EASSS 2010)
LaTeX Downloads
Sitemap
Databases and Information Systems
Welcome
Who we are
What we do
Guests
Committee Activities
For Students
Student Projects
For Visitors
Eingebettete Systeme
Personen
Lehre
Vorlesungen
Embedded Systems Engineering I (WS 12/13)
Übungen
Embedded Systems Engineering II (WS 12/13)
Verteilte Systeme I (SS 2013)
Projekt-/Bachelor-/Masterarbeiten
Seminare
Skripte und Materialien
Publikationen
Forschung
PERM
Watchcop
TEC
Soft error mitigation
Graphische Datenverarbeitung und Multimedia
Willkommen
Aktuelles
Human-Centered Information Systems
Hardwareentwurf und Robotik
Modellbildung und Simulation
Personen (Stammpersonal)
Studien/ Diplomarbeiten/ Promotionsthemen
Software Systems Engineering
Technische Informatik und Rechnersysteme
Aktuelles
Ziele und Aufgabenstellung
Personen
Prof. Dr.-Ing. Dr. rer. nat. habil. Harald Richter
Veröffentlichungen 2004-2005
Veröffentlichungen 2006
Veröffentlichungen 2007 im BibTeX-Format
Aktivitäten in Programmkomitees etc. in 2007 im BibTeX-Format
Projekte im BibTeX-Format
Diplomarbeiten 2007
Messeveranstaltungen als Aussteller 2007
Lehre
Praktikum "Chipsynthese mit VHDL"
Studentische Arbeiten
Studien-/Diplom-, Bachelor- und Masterarbeiten zu vergeben
Implementierung und Test von Regelalgorithmen für ein elektronisches Lenkrad
Untersuchung des Verhaltens massiv rückgekoppelter endlicher Automaten
Mechatronik / Zuverlässige eingebettete Systeme
Cluster Computing
Rechneranwendungen in der Medizintechnik
Projekt Bildverbesserung in der Endoskopie
Projekt Elektroimpedanztomographie
Funkbasierte Etiketten
Forschung
Abteilung Rechnernetze
Mechatronik
EU Projekt Daidalos II, Teilprojekt 3.2.3
Projekt CarRing II
Hannover Messe 2007
Photos von H. Richter von der Hannover Messe 2007
Artikel der Goslarschen Zeitung vom 23.05.2007
Photos von Michael Malchow von der Hannover Messe
Internationale Automobilausstellung IAA 2007
Photos H. Richter von der IAA 2007
Ideen Expo Hannover 2007
Technologietransferabend der Projekt-Region-Braunschweig 2007
CeBIT Hannover 2008
Photos von Michael Malchow von der Hannover Messe
Artikel der Goslarschen Zeitung vom 23.05.2007
Bilder vom Teststand zu CarRing und Steer-by-Wire
Projekt Formale Methoden
Projekt Daten-Grid
Summary
Compute Grid
Summary
Clausthaler Informatiker International Ausgezeichnet
Projekt SafeNet
Abteilung Rechnerarchitektur
Abteilung Eingebettete Systeme
Beschreibung Modellrover
Kontakt
Veröffentlichungen
Stellenangebote
Theoretische Grundlagen der Informatik
Welcome
Aktuelles
Forschung
IT Ecosystems
Modellbasierte Diagnose
OPENPROD
Treffen der deutschen OPENPROD-Partner
TEMO
Lehre
Abschlussarbeiten
Veröffentlichungen
Stellenangebote
Wirtschaftsinformatik
Willkommen
Überblick
Oberseminar Wirtschaftsinformatik
Forschung
Informatik-Kolloquium
Publikationen
Promotionen/Habilitationen
Abschlussarbeiten
Technical Reports
Komitee-Aktivitäten
Personen
Ehemalige
Login
Kontakt
▪
Suche
▪
Sitemap
© TU Clausthal 2013