Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 133 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
Filters:
Author
is
Ehrich, H.-D.
[Clear All Filters]
2018
Ehrich, H. - D.
,
"
BWG-Kommission „Das Kulturelle Erbe im Digitalen Zeitalter“
",
Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft
, vol. 2017_32, pp. 210-212, 06/2018.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2017_32_Jahrbuch_BWG_Ehrich.pdf
(509.2 KB)
Ehrich, H. - D.
, and
A. Sernadas
,
"
Local Specification of Distributed Families of Sequential Objects
",
Logic and Computation
, vol. 33, London, College Publications, pp. 1-22, 2018.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2017adt94.pdf
(189.66 KB)
2012
Ehrich, H. - D.
,
"
My ADT Shrine, invited lecture
",
Selected Papers from WADT 2010
, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2012LNCS7137WADT10.pdf
(498.99 KB)
Ehrich, H. - D.
,
K. Alber
,
G. Stiege
,
R. Vollmar
, and
D. Wätjen
,
"
40 Jahre Informatik an der Technischen Universität Braunschweig 1972-2012
",
Lecture Notes in Informatics
, vol. T-6, Bonn, Gesellschaft für Informatik, pp. 188, 2012.
RTF
Tagged
XML
BibTex
Google Scholar
Stiege, G.
,
H. - D. Ehrich
, and
W. - T. Balke
,
Datenbanken und Informationssysteme
,
, 2012.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2012IfIS.pdf
(2.44 MB)
2010
Pavlovič, O.
, and
H. - D. Ehrich
,
"
Model Checking PLC Software Written in Function Block Diagram
",
ICST 2010
, Paris, IEEE, 2010.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2010ICST.pdf
(279.11 KB)
2008
Hon, Y. M.
,
J. - T. Tecker
, and
H. - D. Ehrich
,
"
OOLH: A formal framework for specifying system requirements
",
SIGSAND-EUROPE 2008
, Berlin, Springer LNI, Vol. 129, 2008.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2008OOLH.pdf
(71.71 KB)
2007
Ehrich, H. - D.
,
S. Eckstein
,
B. Mathiak
,
A. Kupfer
, and
C. Täubner
,
"
Bioinformatik - Erkenntnisse aus der Datenflut?
",
Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft
, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2007BWG.pdf
(491.15 KB)
2006
Ehrich, H. - D.
,
S. Eckstein
,
B. Mathiak
,
A. Kupfer
, and
C. Täubner
,
"
Bioinformatik: Erkenntnisse aus der Datenflut?
",
18. Workshop Grundlagen von Datenbanken
, pp. 13-32, June, 2006.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2006GrdlDB-Bio.pdf
(538.74 KB)
Ehrich, H. - D.
,
K. - D. Schewe
, and
T. H. Tse(eds)
,
"
Special Issue Quality Software
",
Journal of Systems and Software
, vol. 79, no. 5: Elsevier B.V., 2006.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2006editorialSpecIssueJSS.pdf
(241.7 KB)
2004
Ehrich, H. - D.
,
"
Bioinformatik - Modellbildung als Herausforderung für die Informatik
",
Innovation jenseits von Fachgrenzen, M. Bohnet, H. Hopf, K. Lompe, und H. Oberbeck (Herausgeber)
, Braunschweig, Technische Universität, pp. 37-50, 2004.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2004RVBioInf.pdf
(699.23 KB)
Ehrich, H. - D.
, and
K. - D. Schewe(eds)
,
"
Proceedings QSIC 2004
",
QSIC 2004
, Braunschweig, IEEE CS Press, 2004.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lin, H.
,
H. - D. Ehrich
, and
T. H. Tse(eds)
,
"
Special Issue QSIC 2003
",
Information and Software Technology
, vol. 46, no. 15: Elsevier B.V., 2004.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2004EditorialSpecIssueIST.pdf
(243.64 KB)
Ryan, M. D.
,
J. - J. C. Meyer
,
H. - D. Ehrich
, and
(eds)
,
"
Objects, Agents, and Features
",
Dagstuhl Seminar 03081
, Dagstuhl, Springer LNCS 2975, 2004.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2004ObjAgFeatIntro.pdf
(294.54 KB)
2003
Ehrich, H. - D.
,
M. Kollmann
, and
R. Pinger
,
"
Checking Object System Designs Incrementally
",
Journal of Universal Computer Science
, vol. 9, no. 2, pp. 106-119, February, 2003.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2003JUCS.pdf
(167.55 KB)
Ryan, M. D.
,
J. - J. C. Meyer
,
H. - D. Ehrich
, and
(eds)
,
Objects, Agents, and Features. Dagstuhl Seminar 13081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2003.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2003DagstuhlSeminar03081.pdf
(97.64 KB)
Ryan, M. D.
,
J. - J. C. Meyer
,
H. - D. Ehrich
, and
(eds)
,
Objects, Agents, and Features. Dagstuhl Seminar 13081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2003.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2003DagstuhlSeminar03081.pdf
(97.64 KB)
2002
Ehrich, H. - D.
,
"
Abstract Data Types
",
The Concise Handbook of Algebra
: Kluwer Academic Publishers, pp. 486-490, 2002.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2002HandbAlgebra.pdf
(528.49 KB)
Ehrich, H. - D.
,
M. Kollmann
, and
R. Pinger
,
"
Distributed Model Checking
",
Proc. FM-TOOLS 2002
, pp. 53-58, 2002.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2002FMTOOLS.pdf
(595.59 KB)
2001
Pinger, R.
, and
H. - D. Ehrich
,
"
Compositional Checking of Communication among Observers
",
Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova
, vol. LNCS 2029: Springer, pp. 32-44, 2001.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2001FASE.pdf
(171.57 KB)
Ehrich, H. - D.
,
"
Überprüfung von Softwareskizzen und -entwürfen
",
Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft
: J Cramer Verlag, pp. 69-72, 2001.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2001BWG.pdf
(46.05 KB)
2000
Ehrich, H. - D.
, and
R. Pinger
,
"
Checking object systems via multiple observers
",
International ICSC Congress on Intelligent Systems & Applications (ISA'2000)
, vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000ISA.pdf
(112.72 KB)
Ehrich, H. - D.
,
"
Informationssysteme - Hilfe für Dienstleister aller Art
",
Carolo-Wilhelmina Mitteilungen
, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000CWM.pdf
(461.8 KB)
Ehrich, H. - D.
,
U. Goltz
,
J. Meseguer
,
A. Pnueli
, and
(eds)
,
Specication of Distributed Information Systems. Dagstuhl Seminar 00081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2000.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000DagstuhlSemina00081.pdf
(187.18 KB)
Ehrich, H. - D.
, and
C. Caleiro
,
"
Specifying Communication in Distributed Information Systems
",
Acta Informatica
, vol. 36, no. Fasc1 8, pp. 591-616, 2000.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000Acta.pdf
(174.2 KB)
Loeckx, J.
,
H. - D. Ehrich
, and
M. Wolf
,
"
Algebraic specification of abstract data types
",
Handbook of Logic in Computer Science, Volume 5
: Oxford Science Publications, pp. 217-316, 2000.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1999
Ehrich, H. - D.
,
"
Konzeptionelle Modellierung von Informationssystemen
",
Carolo-Wilhelmina Mitteilungen
, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1999CWM.pdf
(515.72 KB)
Ehrich, H. - D.
,
"
Object Specification
",
Algebraic Foundations of Systems Specification
: Springer, pp. 435-465, 1999.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1999ObjSpec.pdf
(243.61 KB)
1998
Ehrich, H. - D.
,
C. Caleiro
,
A. Sernadas
, and
G. Denker
,
"
Logics for Specifying Concurrent Information Systems
",
Logics for Databases and Information Systems
: Kluwer Academic Publishers, pp. 167-198, 1998.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1998ECSD.pdf
(255.81 KB)
Grau, A.
,
K. Filipe
,
M. Kowsari
,
S. Eckstein
,
R. Pinger
, and
H. - D. Ehrich
,
"
The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools
",
Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98)
, Singapore, Springer, LNCS 1507, pp. 277-290, 1998.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1998ER.pdf
(336.76 KB)
1997
Grau, A.
,
M. Kowsari
, and
H. - D. Ehrich
,
"
A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)
",
9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20
, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Hartel, P.
,
G. Denker
,
M. Kowsari
,
M. Krone
, and
H. - D. Ehrich
,
"
Information systems modelling with TROLL formal methods at work
",
Information Systems
, vol. 22, no. 2-3, pp. 79-99, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1997InfSysAtWork.pdf
(846.73 KB)
Ehrich, H. - D.
,
Y. Feng
,
D. Kung
, and
(eds)
,
Object-Oriented Software Development, Dagstuhl Seminar Report 9715
,
, Schloss Dagstuhl, IBFI GmbH, 1997.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1997DagstuhlSemina9715.pdf
(196.96 KB)
Denker, G.
, and
H. - D. Ehrich
,
"
Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic
",
Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK
: Chapman & Hall, pp. 89-104, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1997DenkerEhrich.pdf
(548.39 KB)
1996
Kowsari, M.
,
P. Hartel
,
G. Denker
, and
H. - D. Ehrich
,
"
A Case Study in Information System Design, The CATC System
",
FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session
, 1996.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1
2
3
4
next ›
last »