> Details

Universität Hildesheim

Hildesheimer Informatik-Berichte

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Close

Bookmarks

Media type: Serial; Monograph Series
Title: Hildesheimer Informatik-Berichte
Corporation: Universität Hildesheim
imprint: Hildesheim: Univ., 1988-
Publication information: Nachgewiesen 1988 -
Language: German
ISSN: 0941-3014
Keywords: Universität Hildesheim > Bericht
Origination:
Footnote:
In SLUB collection
1991 - 1998 unter Signatur 19 4 05058; angeb. an "Jahresbericht Informatik" u. "Jahresbericht"

> Publishers' series

Dierks, Andreas [Author]
2005,2: VIDAS - Aufbau einer robusten, frei programmierbaren Maschine aus Assoziativmatrizen Simulation und Hardware-Lösung Andreas Dierks
Hildesheim: Inst. für Mathematik und Angewandte Informatik, 2005

Hesse, Ralf [Author]
2005,1: LIS 2 eine service-orientierte Plattform für integratives Lehr- und Lernmanagement Ralf Hesse
Hildesheim: Univ., Inst. für Math. und Angewandte Informatik, 2005

Luba, Thomas [Author]
2001,1: Konkordanzen in langen Zeichenketten Thomas Luba
Hildesheim: Univ., Inst. für Mathematik und Angewandte Informatik, 2001

Ackermann, Martin [Author]
2000,1: Statistische Korpusanalyse zum Extrahieren von semantischen Wortrelationen Martin Ackermann
Hildesheim: Inst. für Mathematik und Angewandte Informatik, 2000

Gehrke, Thomas [Author]; Goltz, Ursula [Author]; Wehrheim, Heike [Author]
98,11: The dynamic models of UML towards a semantics and its application in the development process Thomas Gehrke; Ursula Goltz; Heike Wehrheim
Hildesheim: Inst. für Informatik, 1998

Diethelm, Kai [Author]
98,1: Fractional error constants for quadrature formalas Kai Diethelm
Hildesheim: Inst. für Mathematik, 1998

Glabbeek, Rob J. van [Author]; Goltz, Ursula [Author]
98,6: Refinement of actions and equivalence notions for concurrent systems Rob van Glabbeek; Ursula Goltz
Hildesheim: Univ., Inst. für Informatik, 1998

Firley, Thomas [Author]; Gehrke, Thomas [Author]; Rensink, Arend [Author]
98,4: Spezifikation eines RPC-Speichers mit der Sprache ProFun Thomas Firley; Thomas Gehrke; Arend Rensink
Hildesheim: Inst. für Informatik, 1998

Gehrke, Thomas [Author]
98,7: An algebraic semantics for an abstract language with intra object concurrency Thomas Gehrke
Hildesheim: Inst. für Informatik, 1998

Huhn, Michaela [Author]; Niebert, Peter [Author]; Wehrheim, Heike [Author]
98,8: Partial order reductions for bisimulation checking Michaela Huhn; Peter Niebert; Heike Wehrheim
Hildesheim: Inst. für Informatik, 1998

Rensink, Arend [Author]; Gorrieri, Roberto [Author]
98,9: Vertical bisimulation Arend Rensink; Roberto Gorrieri
Hildesheim: Inst. für Informatik, 1998

Gehrke, Thomas [Other]
98,5: An algebraic semantics for message sequence chart documents Thomas Gehrke
Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1998

Gehrke, Thomas [Author]; Rensink, Arend [Author]
97,7: Process creation and full sequential composition in a name-passing calculus Thomas Gehrke; Arend Rensink
Hildesheim: Inst. für Informatik, 1997

Habel, Annegret [Author]; Plump, Detlef [Author]
97,19: Completeness of narrowing in non-copying implementations Annegret Habel; Detlef Plump
Hildesheim: Inst. für Informatik, 1997

Diethelm, Kai [Author]
97,14: Spline-based quadrature methods for strongly singular integrals Kai Diethelm
Hildesheim: Inst. für Mathematik, 1997

Diethelm, Kai [Author]; Walz, Guido [Author]
97,17: Numerical solution of fractional order differential equations by extrapola- tion Kai Diethelm; Guido Walz
Hildesheim: Inst. für Mathematik, 1997

Fleischhack, Hans [Author]; Grahlmann, Bernd [Author]
97,18: A compositional Petri net semantics for SDL Hans Fleischhack; Bernd Grahlmann
Hildesheim: Inst. für Informatik, 1997

Stiege, Günther [Author]
97,3: Remarks on periods and colorings in graphs Günther Stiege
Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1997

Tarasjuk, Igor V. [Author]
97,8: An investigation of back forth and place bisimulation equivalences Igor V. Tarasyuk
Hildesheim: Institut für Informatik, 1997

Rensink, Arend [Author]
97,5: Bisimilarity of open terms Arend Rensink
Hildesheim: Inst. für Informatik, 1997

Damelin, S. B. [Author]; Diethelm, Kai [Author]
97,10: Interpolatory product quadratures for cauchy principal value integrals with Freud weights S. B. Damelin; K. Diethelm
Hildesheim: Inst. für Mathematik, 1997

Bleumer, Gerrit [Author]
97,2: Group signatures and group credentials Gerrit Bleumer
Hildesheim: Inst. für Mathematik, 1997

Ehrich, Sven [Author]
97,4: Sard optimal prefilters for the fast wavelet transform Sven Ehrich
Hildesheim: Inst. für Mathematik, 1997

Diethelm, Kai [Author]
97,11: A method for the practical evaluation of the Hilbert transform on the real line Kai Diethelm
Hildesheim: Inst. für Mathematik, 1997

Stiege, Günther [Author]
97,13: An algorithm for finding the connectivity structure of undirected graphs Günther Stiege
Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1997

Tarasjuk, Igor V. [Author]
97,9: An investigation of [tau]-equivalences Igor V. Tarasyuk
Hildesheim: Institut für Informatik, 1997

Diethelm, Kai [Author]
96,12: Peano kernels of non-integer order Kai Diethelm
Hildesheim: Inst. für Mathematik, 1996

Diethelm, Kai [Author]
96,20: New error bounds for modified quadrature formulas for Cauchy principal value integrals Kai Diethelm
Hildesheim: Inst. für Mathematik, 1996

Kolonko, Michael [Author]; Tran, Manh Tien [Author]
96,23: Convergence of simulated annealing with feedback temperature schedules Michael Kolonko; Manh Tien Tran
Hildesheim: Inst. für Mathematik, 1996

Ehrich, Sven [Author]
96,30: Pointwise error bounds for orthogonal cardinal spline approximation Sven Ehrich
Hildesheim: Inst. für Mathematik, 1996

Fleischhack, Hans [Author]; Grahlmann, Bernd [Author]
96,21: A Petri net semantics for B(PN)2 with procedures which allows verification Hans Fleischhack; Bernd Grahlmann
Hildesheim: Inst. für Informatik, 1996

Best, Eike [Author]
96,19: A memory module specification using composable high level Petri nets Eike Best
Hildesheim: Inst. für Informatik, 1996

Stiege, Günther [Author]
96,24: Equivalences of coloured Petri nets Günther Stiege
Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1996

Maibaum, Olaf [Author]
96,25: Bestimmung eines Lastprofils auf vernetzten Arbeitsplatzrechnern Olaf Maibaum
Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1996

Best, Eike [Author]
96,26: Partial order verification with PEP Eike Best
Hildesheim: Inst. für Informatik, 1996

Virbitskaite, Irina B. [Author]; Votinceva, Anželika [Author]; Čkliaev, Dmitrij [Author]
96,27: Investigating semantic notions for coloured dataflow networks Irina Virbitskaite; Angelika Votintseva; Dmitry Chkliaev
Hildesheim: Inst. für Informatik, 1996

Lavrov, Alexander [Author]
96,28: Combining constraint satisfaction techniques and hierarchical simulation structures Alexander Lavrov
Hildesheim: Inst. für Informatik, 1996

Voget, Stefan [Author]
96,9: Multiobjective optimization with genetic algorithms and fuzzy-control Stefan Voget
Hildesheim: Inst. für Mathematik, 1996

Best, Eike [Author]; Thielke, Thomas [Author]
96,10: Coloured nets with curry Eike Best; Thomas Thielke
Hildesheim: Inst. für Informatik, 1996

Ehrich, Sven [Author]
96,13: Error bounds for linear approximations on the real line Sven Ehrich
Hildesheim: Inst. für Mathematik, 1996

Voget, Stefan [Author]
96,2: Gaussian diffusion in a simple genetic algorithm Stefan Voget
Hildesheim: Inst. für Informatik, 1996

Braß, Helmut [Author]; Förster, Klaus-Jürgen [Author]
96,6: On the application of the Peano representation of linear functionals in numerical analysis Helmut Brass; Klaus-Jürgen Förster
Hildesheim: Inst. für Mathematik, 1996

Kolonko, Michael [Author]; Nachtigall, Karl [Author]; Voget, Stefan [Author]
96,8: Optimierung von integralen Taktfahrplänen mit genetischen Agorithmen Exponat der Universität Hildesheim auf der CeBit 96 Michael Kolonko; Karl Nachtigall; Stefan Voget
Hildesheim: Inst. für Mathematik, 1996

Goltz, Ursula [Author]; Wehrheim, Heike [Author]
96,5: Causal testing Ursula Goltz; Heike Wehrheim
Hildesheim: Inst. für Informatik, 1996

Stiege, Günther [Author]
96,31: Connectivity and periodicity in undirected graphs Günther Stiege
Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1996

Diethelm, Kai [Author]
96,3: When do definite estimation functionals exist? Kai Diethelm
Hildesheim: Inst. für Mathematik, 1996

Huhn, Michaela [Author]
96,15: On semantic and logical refinement of actions Michaela Huhn
Hildesheim: Inst. für Informatik, 1996

Huhn, Michaela [Author]; Niebert, Peter [Author]
96,16: Towards automata for branching time and partial order Michaela Huhn and Peter Niebert
Hildesheim: Inst. für Informatik, 1996

Habel, Annegret [Author]; Plump, Detlef [Author]
96,14: Term graph narrowing Annegret Habel; Detlef Plump
Hildesheim: Inst. für Informatik, 1996

Virbitskaite, Irina B. [Author]; Votinceva, Anželika [Author]; Best, Eike [Author]
96,22: Comparing logical and behavioural equivalences for event structures Irina Virbitskaite; Anzhelika Votintseva; Eike Best
Hildesheim: Inst. für Informatik, 1996

Diethelm, Kai [Author]
96,18: A fractional version of the Peano Sard theorem Kai Diethelm
Hildesheim: Inst. für Mathematik, 1996

Thielke, Thomas [Author]; Riemann, Robert [Author]
96,29: Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP Thomas Thielke; Robert Riemann
Hildesheim: Inst. für Informatik, 1996

Diethelm, Kai [Author]
96,32: An algorithm for the numerical solution of differential equations of fractional order Kai Diethelm
Hildesheim: Inst. für Mathematik, 1996

Voget, Stefan [Author]
96,1: Ein fuzzygesteuerter genetischer Algorithmus für die bikriterielle Optimierung Stefan Voget
Hildesheim: Inst. für Informatik, 1996

Tarasjuk, Igor V. [Author]
96,4: Equivalence notions for design of concurrent systems using petri nets
Hildesheim: Institut für Informatik, 1996

Luba, Thomas [Author]; Bentz, Hans-Joachim [Author]; Blieffert, Jörg [Author]
95,13: Information retrieval in sequence databases using Sparsely Coded Associative Memory Thomas Luba; Hans-Joachim Bentz; Jörg Blieffert
Hildesheim: Inst. für Mathematik, 1995

Ehrich, Sven [Author]
95,37: A lecture on Stieltjes polynominals and applications Sven Ehrich
Hildesheim: Inst. für Mathematik, 1995

Diethelm, Kai [Author]
95,23: Definite quadrature formulae for Cauchy principal value integrals Kai Diethelm
Hildesheim: Inst. für Mathematik, 1995

Ehrich, Sven [Author]
95,18: Practical error estimates for the Gauss-Kronrod quadrature formula Sven Ehrich
Hildesheim: Inst. für Mathematik, 1995

Desel, Jörg [Editor]
95,11: Structures in concurrency theory (STRICT) collection of abstracts. [Internatinal Workshop on Structures in Concurrency Theory, May 11-13, 1995, Berlin-Mitte, Germany] Jörg Desel (ed.). Universität Hildesheim. Hrsg. vom Inst. für Informatik
Hildesheim: Inst. für Informatik, 1995

Best, Eike [Editor]
95,14: PEP: Programming Environment Based on Petri Nets Workshop, October 11-12, 1994, Berlin; proceedings Eike Best ... (ed.)
Hildesheim: Inst. für Informatik, 1995

Köhler, Peter [Author]
7/95: Error estimates for polynomial and spline interpolation by the modulus of continuity Peter Köhler
Hildesheim: Univ., Inst. für Mathematik, 1995

Zhou, Jingzhou [Author]
95,22: Densely coded matrix model of associative memory Zhou JingZhou
Hildesheim: Inst. für Informatik, 1995

Zhou, Jingzhou [Author]
95,25: Representation and implementation of the DCM model of associative memory Zhou JingZhou
Hildesheim: Inst. für Informatik, 1995

Ehrich, Sven [Author]; Mastroianni, Giuseppe [Author]
95,26: On generalized Stieltjes polynomials and Lagrange interpolation Sven Ehrich and Giuseppe Mastroianni
Hildesheim: Inst. für Mathematik, 1995

Biskup, Joachim [Other]
95,27: A case study on object-oriented database schema design Joachim Biskup
Hildesheim: Institut für Informatik, 1995

Biskup, Joachim [Author]
95,28: Database schema design theory: achievements and challenges Joachim Biskup
Hildesheim: Inst. für Informatik, 1995

Rensink, Arend [Author]
95,29: Denotational, causal and operational determinism in event structures Arend Rensink
Hildesheim: Inst. für Informatik, 1995

Ehrich, Sven [Author]
95,38: On product integration with Gauss-Kronrod nodes Sven Ehrich
Hildesheim: Inst. für Mathematik, 1995

Ehrich, Sven [Author]
95,19: High order error constants of Gauss-Kronrod quadrature formulas Sven Ehrich
Hildesheim: Inst. für Mathematik, 1995

Steiner, Susanne [Author]
95,34: Priority based location policies applied to heterogeneous server speeds Susanne Steiner
Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1995

Best, Eike [Author]; Koutny, Maciej [Author]
95,33: Operational and denotational semantics for the box algebra Eike Best; Maciej Koutny
Hildesheim: Institut für Informatik, 1995

Stiege, Günther [Author]
95,24: Periodicity: an application of diagraphs to Markov chains Günther Stiege
Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1995

Voget, Stefan [Author]
95,31: Theoretical analysis of genetic algorithms with infinite population size Stefan Voget
Hildesheim: Inst. für Mathematik, 1995

Voget, Stefan [Author]
95,32: A central limit theorem for the population process of genetic algorithms Stefan Voget
Hildesheim: Inst. für Mathematik, 1995

Rensink, Arend [Author]
95,39: Causal traces Arend Rensink
Hildesheim: Inst. für Informatik, 1995

Huhn, Michaela [Author]; Wehrheim, Heike [Author]; Denker, Grit [Author]
95,40: Action refinement - an application of process theory on object oriented specification Michaela Huhn; Heike Wehrheim; Grit Denker
Hildesheim: Inst. für Informatik, 1995

Diethelm, Kai [Author]; Köhler, Peter [Author]
95,41: Asymptotic behaviour of fixed order error constants of modified quadrature formulae for Cauchy principal value integrals Kai Diethelm; Peter Köhler
Hildesheim: Inst. für Informatik, 1995

Förster, Klaus-Jürgen [Author]
95,35: Peano kernel theory and its application to error estimates and stopping rules Klaus-Jürgen Förster
Hildesheim: Inst. für Mathematik, 1995

Diethelm, Kai [Author]
95,17: Numerical approximation of finite part integrals with generalized compound quadrature formulae Kai Diethelm
Hildesheim: Inst. für Mathematik, 1995

Köhler, Peter [Author]
95,8: Asymptotically best spline approximation by quasi-interpolation and asymptotically best quadrature formulae Peter Köhler
Hildesheim: Inst. für Mathematik, 1995

Best, Eike [Author]; Koutny, Maciej [Author]
95,9: A refined view of the box algebra
Hildesheim: Institut für Informatik, 1995

Lavrov, Alexander [Author]
95,5: Automated simulation of flexible manufacturing systems Alexander Lavrov
Hildesheim: Inst. für Informatik, 1995

Diethelm, Kai [Author]
95,16: Error bounds for compound quadratures for Hadamard type finite part integrals Kai Diethelm
Hildesheim: Inst. für Mathematik, 1995

Nachtigall, Karl [Author]; Voget, Stefan [Author]
95,20: Optimization of the integrated fixed interval timetable Karl Nachtigall; Stefan Voget
Hildesheim: Inst. für Mathematik, 1995

Nachtigall, Karl [Author]; Voget, Stefan [Author]
95,1: Optimierung von periodischen Netzplänen mit genetischen Algorithmen Karl Nachtigall; Stefan Voget
Hildesheim: Univ., Inst. für Mathematik, 1995

Voget, Stefan [Author]
95,2: Epistasis in periodic programs Stefan Voget. Universität Hildesheim, Institut für Mathematik
Hildesheim: Univ., Inst. für Mathematik, 1995

Pfitzmann, Birgit [Author]; Waidner, Michael [Author]
95,15: Strong loss tolerance for untraceable electronic coin systems Birgit Pfitzmann; Michael Waidner
Hildesheim: Inst. für Informatik, 1995

Voget, Stefan [Author]
95,21: Speeding up a genetic algorithm for the optimization of periodic networks Stefan Voget
Hildesheim: Inst. für Mathematik, 1995

Eckert, Christian [Editor]
95,12: Kurzfassungen 7. Workshop "Grundlagen von Datenbanken", Bad Salzdetfurth, (6. Juni - 9. Juni 1995) Christian Eckert ... Universität Hildesheim. Hrsg. vom Inst. für Informatik
Hildesheim: Inst. für Informatik, 1995

Ehrich, Sven [Author]; Mastroianni, Giuseppe [Author]
95,4: Stieltjes polynomials and Lagrange interpolation Sven Ehrich; Giuseppe Mastroianni
Hildesheim: Univ., Inst. für Mathematik, 1995

Best, Eike [Other]
95,10: A class of composable high level Petri nets
Hildesheim: Institut für Informatik, 1995

Kolonko, Michael [Author]
94,23: On some theoretical aspects of the crossover operation in genetic algorithms Michael Kolonko
Hildesheim: Univ., Inst. für Informatik, 1994

Biskup, Joachim [Editor]
94,20: Proceedings of the IFIP WG 11.3 Eight Annual Working Conference on Database Security Bad Salzdetfurth, Germany, 23 - 26 August 1994 eds. J. Biskup
Hildesheim: Inst. für Mathematik, 1994

Virbitskaite, Irina B. [Author] ; Boženkova, Elena N. [Other]
94,22: Unified characterization of some properties of event structures Irina B. Virbitskaite; Elena N. Bozhenkova
Hildesheim: Univ., Inst. für Informatik, 1994

Pfitzmann, Birgit [Author]; Waidner, Michael [Author]
94,11: A general framework for formal notions of "Secure" systems Birgit Pfitzmann; Michael Waidner
Hildesheim: Inst. für Informatik, 1994

Lavrov, Alexander [Author]
94,21: Modular knowledge-based control systems Alexander Lavrov
Hildesheim: Univ., Inst. für Informatik, 1994

Heymer, Stefan [Editor]
94,24: Specification of systems theory in search for practice; summary of a workshop, Hildesheim, Germany, 7 - 9 March 1994 Ed Brinksma ... (organisiers). Stefan Heymer (ed.)
Hildesheim: Inst. für Informatik, 1994

Denecke, Sabine [Author]; Wahlbuhl, Thomas [Author]
28/94: Eine adaptive Komponente für Objektmigrationssysteme unter Benutzung neuronaler Netze Sabine Denecke; Thomas Wahlbuhl
Hildesheim: Univ., Inst. für Betriebssysteme & Rechnerverbund, 1994

Bentz, Hans-Joachim [Author] ; Braun, Jürgen [Other]
94,14: Über die Werte von Zeta(2n+1) Hans-Joachim Bentz; Jürgen Braun. Universität Hildesheim, Institut für Mathematik
Hildesheim: Univ., Inst. für Mathematik, 1994

Gehrmann, Uwe [Author]
94,8: Eine Methode für Entwurf und Spezifikation von Protokollkonvertern Uwe Gehrmann
Hildesheim: Institut für Betriebssysteme & Rechnerverbund, 1994

Förster, Klaus-Jürgen [Author]
94,4: On the weights of positive quadrature formulas for ultraspherical weight functions Klaus-Jürgen Förster
Hildesheim: Institut für Mathematik, 1994

Biskup, Joachim [Author] ; Menzel, Ralf [Other]; Polle, Torsten [Other]
94,17: Transforming an entity-relationship schema into object-oriented database schemas Joachim Biskup; Ralf Menzel; Torsten Polle
Hildesheim: Univ., Inst. für Informatik, 1994

Förster, Klaus-Jürgen [Author]; Köhler, Peter [Author]; Nikolov, G. [Author]
94,7: Monotonicity and stopping rules for compound Gauss-type quadrature formulae K.-J. Förster; P. Köhler; G. Nikolov
Hildesheim: Institut für Mathematik, 1994

Diethelm, Kai [Author]
94,19: Asymptotically sharp error bounds for a quadrature rule for Cauchy principal value integrals based on piecewise linear interpolation Kai Diethelm
Hildesheim: Inst. für Mathematik, 1994

Heitland, Michael [Author]
94,13: Using data compression for the representation of sparsely coded associative memory Michael Heitland
Hildesheim: Inst. für Mathematik, 1994

94,6: Vorträge auf der Jahrestagung der GAMM vom 4.4. - 8.4.1994 in Braunschweig
Hildesheim: Institut für Mathematik, 1994

Kadelka, Dieter [Author] ; Kolonko, Michael [Other]; Voget, Stefan [Other]
94,18: Epistasis variance in genetic algorithms Dieter Kadelka; Michael Kolonko; Stefan Voget
Hildesheim: Univ., Inst. für Mathematik, 1994

Hagström, Michael [Author]
94,12: Error tolerant retrieval in large text files Michael Hagström
Hildesheim: Univ., Inst. für Mathematik, 1994

Diethelm, Kai [Author]
94,9: A definiteness criterion for linear functionals and its application to cauchy principal value quadrature Kai Diethelm
Hildesheim: Inst. für Mathematik, 1994

Bentz, Hans-Joachim [Author] ; Braun, Jürgen [Other]
94,15: Some strange series involving Pi Hans-Joachim Bentz; Jürgen Braun. Universität Hildesheim, Institut für Mathematik
Hildesheim: Univ., Inst. für Mathematik, 1994

Diethelm, Kai [Author]
94,25: Gaussian quadrature formulae of the third kind for Cauchy principal value integrals basic properties and error estimates Kai Diethelm
Hildesheim: Institut für Mathematik, 1994

Ehrich, Sven [Author]
94,3: Asymptotic behaviour of Stieltjes polynomials for ultraspherical weight functions Sven Ehrich
Hildesheim: Inst. für Mathematik, 1994

Biskup, Joachim [Author]; Bleumer, Gerrit [Author]
94,10: Reflections on security of database and datatransfer systems in health care Joachim Biskup; Gerrit Bleumer
Hildesheim: Inst. für Informatik, 1994

Rensink, Arend [Author]
94,30: Deterministic pomsets Arend Rensink
Hildesheim: Inst. für Informatik, 1994

Gerns, Arnd [Author]; Lie, Jung Sun [Author]
94,27: Diomedes - Objektmigrationsstrategien für verteilte Umgebungen Arnd Gerns; Jung Sun Lie
Hildesheim: Univ., Inst. für Betriebssysteme u. Rechnerverbund, 1994

Nachtigall, Karl [Author]
29/94: A branch and cut approach for periodic network programming Karl Nachtigall. Universität Hildesheim. Hrsg. vom Institut für Mathematik
Hildesheim: Univ., Inst. für Mathematik, 1994

Esparza, Javier [Author]; Stengel, Bernhard von [Author]
1/93: The asynchronous committee meeting problem Javier Esparza; Bernhard von Stengel. Universität Hildesheim. Hrsg. vom Institut für Informatik
Hildesheim: Inst. für Informatik, Univ., 1993

Ehrich, Sven [Author]
17/93: A note on Peano constants of Gauss-Kronrod quadrature schemes Sven Ehrich
Hildesheim: Univ., Inst. für Mathematik, 1993

Schürmann, Hans Werner [Author]; Schmoldt, Reinhard [Author]
93,2: On the theory of reflectivity of a lossless nonlinear dielectric slab Hans Werner Schürmann; Reinhard Schmoldt
Hildesheim: Inst. für Informatik, 1993

Pfitzmann, Birgit [Author]
93,4: Sorting out signature schemes Birgit Pfitzmann
Hildesheim: Inst. für Informatik, 1993

Diethelm, Kai [Author]
93,5: Error estimates for a quadrature rule for Cauchy principal value integrals Kai Diethelm. Universität Hildesheim. Hrsg. vom Institut für Mathematik
Hildesheim: Inst. für Mathematik, 1993

Brüggemann, Hans H. [Author]; Teßmer, Bernd [Author]
93,6: Ein Universalrelation-Frontend für SQL Hans H. Brüggemann; Bernd Teßmer
Hildesheim: Inst. für Informatik, 1993

Ehrich, Sven [Author]
93,7: Asymptotic properties of Stieltjes polynomials and Gauss-Kronrod quadrature formulae Sven Ehrich
Hildesheim: Inst. für Informatik, 1993

Rensink, Arend [Author]
93,10: Order isomorphism does not preserve global event independence Arend Rensink
Hildesheim: Univ., Inst. für Informatik, 1993

Best, Eike [Other]
93,11: First-year results of the Esprit Basic Research WG 6067 CALIBAN (Causal Calculi Based on Nets) Universität Hildesheim, Institut für Informatik. Eike Best (ed.)
Hildesheim: Inst. für Informatik, 1993

Koutny, Maciej [Author]; Esparza, Javier [Author]; Best, Eike [Author]
93,13: Operational semantics for the Petri Box Calculus Maciej Koutny; Javier Esparza; Eike Best
Hildesheim: Univ., Inst. für Informatik, 1993

Nachtigall, Karl [Author]
93,14: Exact solution methods for periodic programs Karl Nachtigall. Universität Hildesheim. Hrsg. vom Institut für Mathematik
Hildesheim: Inst. für Mathematik, 1993

Kolonko, Michael [Author]
93,9: A semi-inhomogeneous Markov model for simulated annealing Michael Kolonko
Hildesheim: Inst. für Mathematik, Univ., 1993

Nachtigall, Karl [Author]
93,8: Time periodic network optimization Karl Nachtigall
Hildesheim: Inst. für Mathematik, 1993

Wehrheim, Heike [Author]
93,18: Parametric action refinement Heike Wehrheim
Hildesheim: Univ., Inst. für Informatik, 1993

Diethelm, Kai [Author]
15/93: Modified compound quadrature rules for strongly singular integrals Kai Diethelm
Hildesheim: Univ., Inst. für Mathematik, 1993

Best, Eike [Author]; Linde-Göers, Hans-Günther [Author]
93,19: Compositional process semantics of Petri Boxes Eike Best; Hans-Günther Linde-Göers
Hildesheim: Inst. für Informatik, 1993

Förster, Klaus-Jürgen [Author]
92,9: Exit criteria and monotonicity in compound quadrature Klaus-Jürgen Förster. ++Universität Hildesheim. Dieser Bericht ist hrsg. vom Institut für Mathematik
Hildesheim: Univ., Inst. für Mathematik, 1992

Esparza, Javier [Author]
92,14: Model checking using net unfoldings Javier Esparza. ++Universität Hildesheim. Dieser Bericht ist hrsg. vom Institut für Informatik
Hildesheim: Univ., Inst. für Informatik, 1992

Förster, Klaus-Jürgen [Author]
92,15: Stopping rules in quadrature based on Peano Kernel methods Klaus-Jürgen Förster. ++Universität Hildesheim, Institut für Mathematik
Hildesheim: Univ., Inst. für Mathematik, 1992

Förster, Klaus-Jürgen [Author]
20/92: Variance in quadrature a survey Klaus-Jürgen Förster. Universität Hildesheim. Hrsg. vom Institut für Mathematik
Hildesheim: Inst. für Mathematik, Univ., 1992

Best, Eike [Editor]
92,13: What good are partial orders? Procceedings of a workshop, Sheffield June (1992) hrsg. vom Institut für Informatik, Universität Hildesheim. Eike Best (Editor)
Hildesheim, 1992

Costantini, Ruggero [Author]; Rensink, Arend [Author]
92,18: Abstraction and refinement in configuration structures Ruggero Costantini; Arend Rensink. Universität Hildesheim, Institut für Informatik
Hildesheim: Univ., Inst. für Informatik, 1992

Diethelm, Kai [Author]
92,23: Uniform convergence of optimal order quadrature rules for Cauchy principal value integrals Kai Diethelm
Hildesheim: Univ., Inst. für Mathematik, 1992

Diethelm, Kai [Author]
92,24: Non-optimality of certain quadrature rules for Cauchy principal value integrals Kai Diethelm
Hildesheim: Univ., Inst. für Mathematik, 1992

Best, Eike [Author]
92,5: Esprit basic research action 3148 DEMON (design methods based on nets) aims, scope and achievements Eike Best
Hildesheim: Univ., Inst. für Informatik, 1992

Pfitzmann, Birgit [Author]; Waidner, Michael [Author]
92,3: Unconditionally untraceable and fault-tolerant broadcast and secret ballot election Birgit Pfitzmann; Michael Waidner
Hildesheim: Univ., Inst. für Informatik, 1992

Best, Eike [Author]; Devillers, Raymond [Author]; Hall, Jon G. [Author]
4/92: The box calculus a new causal algebra with multi-label communication Eike Best, Raymond Devillers and Jon G. Hall
Hildesheim: Inst. für Informatik, Univ., 1992

Goltz, Ursula [Author]; Gorrieri, Roberto [Author]; Rensink, Arend [Author]
93,17: On syntactic and semantic action refinement Ursula Goltz; Roberto Gorrieri; Arend Rensink. Universität Hildesheim. Hrsg. vom Institut für Informatik
Hildesheim: Inst. für Informatik, 1992

Cherniavsky, Vladimir [Author] ; Černjavskij, Vladimir S. [Other]
1/92: Die Virtualität philosophische Grundlagen der logischen Relativität Vladimir S. Cherniavsky
Hildesheim: Univ., Inst. für Betriebssysteme und Rechnerverbund [u.a.], 1992

Ehrich, Sven [Author]
21/92: Gauss-Kronrod quadrature error estimates for analytic functions Sven Ehrich
Hildesheim: Inst. für Mathematik, Univ., 1992

Desel, Jörg [Author]; Esparza, Javier [Author]
22/92: Shortest paths in reachability graphs Jörg Desel; Javier Esparza
Hildesheim: Inst. für Informatik, Univ., 1992

Biskup, Joachim [Author]; Stiefeling, Holger [Author]
11/92: Evaluation of upper bounds and least nodes as database operations Joachim Biskup; Holger Stiefeling. Universität Hildesheim, Institut für Informatik
Hildesheim: Inst. für Informatik, Univ., 1992

Best, Eike [Author]; Devillers, Raymond [Author]; Esparza, Javier [Author]
26/92: General refinement and recursion for the box calculus Eike Best; Raymond Devillers; Javier Esparza
Hildesheim: Inst. für Informatik, Univ., 1992

Fleischhack, Hans [Author]
6/92: P-superfairness in nets Hans Fleischhack
Hildesheim: Univ., Inst. für Informatik, 1992

Sánchez, Beatriz [Author]
7/92: Some monotonicity results for stochastic petri nets Beatriz Sánchez
Hildesheim: Univ., Inst. für Informatik, 1992

Kolonko, Michael [Author]; Tran, Manh Tien [Author]
25/92: Monotonicity of eigenvalues in time-reversible Markov chains with applications to simulated annealing Michael Kolonko; Manh Tien Tran
Hildesheim: Inst. für Mathematik, Univ., 1992

Ehrich, Sven [Author]
12/92: On the construction of Gaussian quadrature formulae containing preassigned nodes Sven Ehrich
Hildesheim: Univ., Inst. für Mathematik, 1992

Förster, Klaus-Jürgen [Author]
10/92: Estimates for the variance of positive quadrature formulas Klaus-Jürgen Förster
Hildesheim: Inst. für Mathematik, Univ., 1992

Best, Eike [Author]; Hopkins, Richard P. [Author] ; Hopkins, Richard Pinder [Other]
27/92: B(PN)2 - a basic Petri net programming notation Eike Best; Richard Pinder Hopkins
Hildesheim: Inst. für Informatik, Univ., 1992

Best, Eike [Author]; Esparza, Javier [Author]
91,11: Model checking of persistent petri nets Eike Best; Javier Esparza. ++Universität Hildesheim. Hrsg. vom Institut für Informatik
Hildesheim: Inst. für Informatik, 1991

Marx, Andreas [Author]
91,12: Entwicklung und Implementierung eines Prototypen zur UNIX-Benutzerverwaltung A. Marx
Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1991

Ehrich, Sven [Author]
14/91: Error estimates for Gauss Kronrod quadrature formulae Sven Ehrich. Universität Hildesheim, Institut für Mathematik
Hildesheim: Inst. für Mathematik, Univ., 1991

Best, Eike [Editor]
91,6: 3rd Workshop on Concurrency and Compositionality Goslar, March 5 - 8, 1991 Eike Best ... (Hrsg.)
Sankt Augustin: GMD, 1991

Förster, Klaus-Jürgen [Author]
91,13: On a theorem of K. A. Posse concerning gaussian quadrature of chebyshev-type Klaus-Jürgen Förster
Hildesheim: Institut für Mathematik, 1991

Esparza, Javier [Author]
91,7: Reduction and synthesis of live and bounded free choice Petri nets Javier Esparza. ++Universität Hildesheim, Institut für Informatik
Hildesheim: Univ., Inst. für Informatik, 1991

Förster, Klaus-Jürgen [Author]
91,8: On quadrature formulae near Gaussian quadrature Klaus-Jürgen Förster. ++Universität Hildesheim, Institut für Informatik
Hildesheim: Univ., Inst. für Informatik, 1991

Esparza, Javier [Author]; Silva, Manuel [Author]
91,3: Handles in Petri nets Javier Esparza; Manuel Silva
Hildesheim: Univ., 1991

Kühme, Thomas [Author]
91,2: Ein verteiltes graphisches Bediensystem für konventionelle Betriebssysteme Thomas Kühme
Hildesheim: Univ., 1991

Best, Eike [Author]
91,10: Overview of the results of the ESPRIT Basic Research Action 3148 DEMON, Design Methods Based on Nets Eike Best
Hildesheim: Univ., 1991

Kolonko, Michael [Author]
91,5: Generating uniformily distributed random numbers without floating point operations Michael Kolonko
Hildesheim: Univ., 1991

Esparza, Javier [Author]
91,9: A polynomial time algorithm to solve the covering problem for 1-bounded conflict-free Petri nets Javier Esparza
Hildesheim: Univ., 1991

Linde, Hans-Günther [Author]
91,4: Free choice simulation of Petri nets Hans-Günther Linde
Hildesheim: Univ., 1991