> Detailanzeige

Humboldt-Universität zu Berlin Institut für Informatik

Informatik-Berichte

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Schriftenreihe; Monographische Schriftenreihe
Titel: Informatik-Berichte
Weitere Titel: Nebent.: Informatik-Bericht
Körperschaft: Humboldt-Universität zu Berlin, Institut für Informatik
Erschienen: Berlin: Inst. für Informatik, 1994-
Erscheinungsverlauf: 23.1994 -
Sprache: Deutsch
ISSN: 0863-095X
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Nr. 166.2004 nicht erschienen; ersch. unregelmäßig

Verweise

Erscheint auch als (Online-Ausgabe):
Informatik-Berichte (SLUB)

Zeige weitere

weniger zeigen

> Verlagsreihe

Duske, Kristian [Sonstige Person, Familie und Körperschaft]
244: A BPMN model of the charity stroke treatment process K. Duske
Berlin: Inst. für Informatik, 2014

Popova-Zeugmann, Louchka [HerausgeberIn]; Werner, Matthias [Sonstige Person, Familie und Körperschaft]; Schlingloff, Holger [Sonstige Person, Familie und Körperschaft]
245: Concurrency, specification and programming CS&P'2014 Chemnitz September 29 - October 1, 2014; [23th International Workshop on Concurrency, Specification and Programming] ed. by Lochka Popova-Zeugmann
Berlin: Inst. für Informatik, 2014

Dzikowski, Raffael [Sonstige Person, Familie und Körperschaft]
243: Asynchronous communication R. Dzikowski
Berlin: Inst. für Informatik, 2014

Sürmeli, Jan [VerfasserIn]; Triebel, Marvin [VerfasserIn]
242: Cost-optimizing compositions of services - analysis and synthesis J. Sürmeli; M. Triebel
Berlin: Inst. für Informatik, 2013

Goldschmidt, Tobias [VerfasserIn]; Malek, Miroslaw [VerfasserIn]
241: Ranking of dependability-relevant indicators for availability enhancement of enterprise information systems Tobias Goldschmidt and Miroslaw Malek
Berlin: Inst. für Informatik, 2012

Koschmieder, André [VerfasserIn]; Leser, Ulf [VerfasserIn]
240: Regular path queries on large graphs A. Koschmieder; U. Leser
Berlin: Inst. für Informatik, 2012

Sürmeli, Jan [VerfasserIn]
239: Synthesizing cost-minimal partners for services Jan Sürmeli
Berlin: Professoren des Inst. für Informatik, 2012

Sadilek, Daniel A. [Sonstige Person, Familie und Körperschaft]
227: Towards agile language engineering Daniel A. Sadilek
Berlin: Inst. für Informatik, 2009

Kössler, Wolfgang [VerfasserIn]
228: Max-type rank tests, U-tests, and adaptive tests for the two-sample location problem an asymptotic power study W. Kössler
Berlin: Inst. für Informatik, 2009

Hinze, Annika [Sonstige Person, Familie und Körperschaft]
230: Seven scenarios for context-aware sysrems A. Hinze
Berlin: Inst. für Informatik, 2009

Iron, Rolf [Sonstige Person, Familie und Körperschaft]
232: TOOLS4BPEL Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL; Abschlußbericht des Verbundprojekts R. Iron
Berlin: Inst. für Informatik, [2009]

Hochmuth, Mirko [VerfasserIn]; Lüdeling, Anke [VerfasserIn]; Leser, Ulf [VerfasserIn]
220: Simulating and reconstructing language change M. Hochmuth; A. Lüdeling; U. Leser. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2008

Fahland, Dirk [HerausgeberIn]
221: DSML'08 - Domain-Specific Modeling Languages workshop co-located with Modellierung 2008, Berlin, Germany, March 14, 2008 ; proceedings Dirk Fahland ... (eds.). [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2008

Malek, Miroslaw [Sonstige Person, Familie und Körperschaft]
219: Methoden und Werkzeuge zur Verfügbarkeitsermittlung Miroslaw Malek ... Humboldt-Universität zu Berlin, Institut für Informatik, Rechnerorganisation und Kommunikation
Berlin: Professoren des Inst. für Informatik, 2007

Sadilek, Daniel A. [VerfasserIn]
217: Prototyping and simulating domain specific languages for wireless sensor networks Daniel A. Sadilek. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2007

Lohmann, Niels [VerfasserIn]; Massuthe, Peter [VerfasserIn]; Wolf, Karsten [VerfasserIn]
214: Behavioral constraints for services N. Lohmann; P. Massuthe; K. Wolf. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2007

Hohberg, Bodo [VerfasserIn]; Reisig, Wolfgang [VerfasserIn]; Wu, Bixia [VerfasserIn]
216: Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung B. Hohberg; W. Reisig; B. Wu. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2007

Kluth, Ronald [VerfasserIn]; Fischer, Joachim [VerfasserIn]; Ahrens, Klaus [VerfasserIn]
218: Ereignisorientierte Computersimulation mit ODEMx Ronald Kluth; Joachim Fischer; Klaus Ahrens. Humboldt-Universität zu Berlin, Institut für Informatik, Lehrstuhl für Systemanalyse. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2007

Kössler, Wolfgang [VerfasserIn]
200: Asymptotic power and efficiency of Lepage type tests for the treatment of combined location scale alternatives W. Kössler
Berlin: Inst. für Informatik, 2006

Salfner, Felix [VerfasserIn]
208: Modeling event-driven time series with generalized Hidden Semi-Markov models F. Salfner
Berlin: Professoren des Inst. für Informatik, 2006

Weis, Melanie [VerfasserIn]; Naumann, Felix [VerfasserIn]
205: Relationship based duplicate detection M. Weis, F. Naumann. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2006

Müller, Heiko [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]; Leser, Ulf [VerfasserIn]
199: On the distance of databases H. Müller; J.-Chr. Freytag; U. Leser. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Inst. für Informatik, 2006

Bleiholder, Jens [VerfasserIn]; Naumann, Felix [VerfasserIn]
197: Conflict handling strategies in an integrated information system J. Bleiholder; F. Naumann. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Inst. für Informatik, 2006

Massuthe, Peter [VerfasserIn]; Wolf, Karsten [VerfasserIn]
202: An algorithm for matching nondeterministic services with operating guidelines P. Massuthe; K. Wolf. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Inst. für Informatik, 2006

Kössler, Wolfgang [VerfasserIn]; Kumar, Narinder [VerfasserIn]
201: An adaptive test for the two-sample location problem based on U-statistics W. Kössler [and Narinder Kumar]. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Inst. für Informatik, 2006

Reisig, Wolfgang [VerfasserIn]
203: Abstract state machines for the classroom the basics W. Reisig. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Inst. für Informatik, 2006

Trißl, Silke [VerfasserIn]; Leser, Ulf [VerfasserIn]
207: GRIPP indexing and querying graphs based on pre- and postorder numbering S. Trißl, U. Leser. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2006

Glausch, Andreas [VerfasserIn]; Reisig, Wolfgang [VerfasserIn]
196: Distributed abstract state machines and their expressive power A. Glausch; W. Reisig. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Inst. für Informatik, 2006

Zubow, Anatolij [VerfasserIn]; Kurth, Mathias [VerfasserIn]; Redlich, Jens-Peter [VerfasserIn]
204: Multi-channel opportunistic routing in multi-hop wireless networks A. Zubow; M. Kurth; J.-P. Redlich
Berlin: Inst. für Informatik, 2006

Weinberg, Daniela [VerfasserIn]
198: Reduction rules for interaction graphs D. Weinberg. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2006

Lohmann, Niels [VerfasserIn]; Massuthe, Peter [VerfasserIn]; Wolf, Karsten [VerfasserIn]
210: Operating guidelines for finite state services N. Lohmann; P. Massuthe; K. Wolf. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2006

Glausch, Andreas [VerfasserIn]; Reisig, Wolfgang [VerfasserIn]
211: On the expressive power of unbounded nondeterministic abstract state machines A. Glausch; W. Reisig. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2006

Salfner, Felix [VerfasserIn]; Malek, Miroslaw [VerfasserIn]
209: Reliability modeling of proactive fault handling F. Salfner; M. Malek. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2006

Müller, Heiko [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]
164: Problems, methods, and challenges in comprehensive data cleansing H. Müller; J.-Chr. Freytag
Berlin: Inst. für Informatik, 2005

Reisig, Wolfgang [VerfasserIn] ; Wolf, Karsten [Sonstige Person, Familie und Körperschaft]; Stahl, Christian [Sonstige Person, Familie und Körperschaft]; Schmidt, Karsten [Sonstige Person, Familie und Körperschaft]
182: Verteilte Geschäftsprozesse modellieren und analysieren W. Reisig; K. Schmidt; Chr. Stahl
Berlin: Inst. für Informatik, 2005

Faulstich, Lukas C. [VerfasserIn]; Leser, Ulf [VerfasserIn]; Lüdeling, Anke [VerfasserIn]
176: Storing and querying historical texts i a relational database L. C. Faulstich; U. Leser; A. Lüdeling
Berlin: Inst. für Informatik, 2005

Stahl, Christian [VerfasserIn]; Reisig, Wolfgang [VerfasserIn]; Krstić, Miloš [VerfasserIn]
184: Hazard detection in a GALS wrappper a case study Chr. Stahl; W. Reisig; M. Krstic
Berlin: Inst. für Informatik, 2005

Wolf, Karsten [VerfasserIn]
180: Controlability of distributed business processes K. Schmidt
Berlin: Inst. für Informatik, 2005

Faulstich, Lukas C. [VerfasserIn]; Leser, Ulf [VerfasserIn]
195: Implementing linguistic query languages using LoToS L. C. Faulstich; U. Leser. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Inst. für Informatik, 2005

Leser, Ulf [VerfasserIn]
187: A query language for biological networks U. Leser
Berlin: Inst. für Informatik, 2005

Stahl, Christian [VerfasserIn]
188: A petri net semantics for BPEL Chr. Stahl
Berlin: Inst. für Informatik, 2005

Massuthe, Peter [VerfasserIn] ; Wolf, Karsten [Sonstige Person, Familie und Körperschaft]; Schmidt, Karsten [Sonstige Person, Familie und Körperschaft]
189: Operating guidelines an alternative to public view P. Massuthe; K. Schmidt
Berlin: Inst. für Informatik, 2005

Massuthe, Peter [VerfasserIn] ; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]; Wolf, Karsten [Sonstige Person, Familie und Körperschaft]; Schmidt, Karsten [Sonstige Person, Familie und Körperschaft]
191: An operating guideline approach to the SOA P. Massuthe; W. Reisig; K. Schmidt
Berlin: Inst. für Informatik, 2005

Düffert, Uwe [VerfasserIn]; Winkler, Frank [VerfasserIn]
175: Evaluation of the capabilities of Handel-C considering the implementation of a classification algorithm as exemple U. Düffert; F. Winkler
Berlin: Inst. für Informatik, 2004

Kroymann, Emil [Sonstige Person, Familie und Körperschaft]
174: Eine vergleichende Analyse von historischen und diachronen digitalen Korpora Projekt "DeutschDiachronDigital" E. Kroymann
Berlin: Professoren des Inst. für Informatik, 2004

Hoffmann, Günther A. [VerfasserIn] ; Salfner, Felix [Sonstige Person, Familie und Körperschaft]; Malek, Miroslaw [Sonstige Person, Familie und Körperschaft]
172: Advanced failure prediction in complex software systems G. A. Hoffmann; F. Salfner; M. Malek
Berlin: Inst. für Informatik, 2004

Hoffmann, Günther A. [VerfasserIn] ; Malek, Miroslaw [Sonstige Person, Familie und Körperschaft]
171: Meeting deadlines in complex systems a probabilistic research G. A. Hoffmann; M. Malek
Berlin: Inst. für Informatik, 2004

Kössler, Wolfgang [VerfasserIn]
173: Some c-sample rank tests of homogeneity against ordered alternatives based on u-statistics W. Kössler
Berlin: Inst. für Informatik, 2004

Rödel, Egmar [VerfasserIn]
168: Statistical analysis of memoryless discrete channels E. Rödel. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2004

Lacroix, Zoé [Sonstige Person, Familie und Körperschaft]
165: Links and paths trough life sciences data sources Z. Lacroix
Berlin: Inst. für Informatik, 2004

Kössler, Wolfgang [VerfasserIn]
167: Some c-sample rank tests of homogeneity against umbrella alternatives with unknown peak Wolfgang Kössler
Berlin: Univ., Inst. für Informatik, 2004

170: Workshop Concurrency, Specification and Programming 1 Petri nets and automata ed. by Gabriela Lindemann
Berlin: Humboldt-Univ., 2004

170: Workshop Concurrency, Specification and Programming 2 Specification and verification ed. by Gabriela Lindemann
Berlin: Humboldt-Univ., 2004

170: Workshop Concurrency, Specification and Programming 3 Multiagent systems and applications ed. by Gabriela Lindemann
Berlin: Humboldt-Univ., 2004

Martens, Axel [VerfasserIn]
169: Business process execution language for Web services sementik, Analyse und Visualisierung Axel Martens
Berlin: Univ., Inst. für Informatik, 2004

Burkhard, Hans-Dieter [HerausgeberIn]
163: Workshop Modellierung und Simulation Menschlichen Verhaltens Humboldt-Universität zu Berlin. H.-D. Burkhard ... (eds.). [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2003

Asonov, Dmitri [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn] ; Freytag, Johann-Christoph [Sonstige Person, Familie und Körperschaft]
159: Private information retrieval, optimal for users and secure coprocessors D. Asonov; J.-Chr. Freytag
Berlin: Professoren des Institutes für Informatik, 2002

Scheffner, Dieter [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn] ; Freytag, Johann-Christoph [Sonstige Person, Familie und Körperschaft]
158: The XML query execution engine (XEE) D. Scheffner; J.-Chr. Freytag
Berlin: Professoren des Inst. für Informatik, 2002

Starke, Peter H. [VerfasserIn]; Roch, Stephan [VerfasserIn]
162: Analysing signal net systems Peter H. Starke; Stephan Roch. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2002

161: Workshop Concurrency, Specification and Programming 1 H.-D. Burkhard ... (eds.)
Berlin: Humboldt-Univ., Inst. für Informatik, 2002

Scheffner, Dieter [VerfasserIn]
157: Access support tree & text array data structures for XML document storage D. Scheffner. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle. Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 2001

Prinz, Andreas [VerfasserIn]
155: Formal semantics for SDL definition and implementation A. Prinz. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Asonov, Dmitri [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]
156: Almost optimal private information retrieval D. Asonov; J. C. Freytag. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle. Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 2001

Polze, Christoph [VerfasserIn]
144: Die Skriptsprache PERL Einführung und Demoprogramme Christoph Polze. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Ibach, Peter K. [Sonstige Person, Familie und Körperschaft]
154: Zuverlässige Systeme für Web und e-Business Fallstudie: Intershop enfinity ; Projektbericht Humboldt-Universität zu Berlin; Intershop. Projekt-Betreuung: Peter Ibach. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Arvind, Vikram [VerfasserIn]; Köbler, Johannes [VerfasserIn]; Lindner, Wolfgang [VerfasserIn]
152: Parametrized learnability of k-terms DNF and boolean circuits V. Arvind; J. Köbler; W. Lindner. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Rödel, Egmar [VerfasserIn]
153: R-estimation of optimal transformations via copulas and ACE E. Rödel. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Kindler, Ekkart [VerfasserIn]; Weber, Michael [VerfasserIn]
150: A universal module concept for Petri nets an implementation oriented approach E. Kindler; M. Weber. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Köbler, Johannes [VerfasserIn]; Lindner, Wolfgang [VerfasserIn]
151: Learning classes of polynomial abstract identification dimension with an oracle in P*3 J. Köbler; W. Lindner. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Röblitz, Thomas [VerfasserIn]; Bühn, Oliver [VerfasserIn]; Mueller, Frank [VerfasserIn]
148: Simulation of embedded micro-kernels over pthreads Th. Röblitz; O. Bühn; F. Mueller. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Mueller, Frank [VerfasserIn]
145: Real time schedulability analysis for Ada F. Mueller. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Unger, Sebastian [VerfasserIn] ; Mueller, Frank [Sonstige Person, Familie und Körperschaft]
146: Handling irreducible loops optimized node splitting vs. DJ graphs S. Unger; F. Mueller. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

Mueller, Frank [VerfasserIn] ; Nolte, Jörg [Sonstige Person, Familie und Körperschaft]; Schlaefer, Alexander [Sonstige Person, Familie und Körperschaft]
147: Clix - a hybrid programming environment for distributed objects and distributed shared memory F. Mueller; J. Nolte; A. Schlaefer. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2001

140: Workshop Concurrency, Specification & Programming 2 Humboldt-Universität zu Berlin. H.-D. Burkhard ... (eds.)
Berlin: Inst. für Informatik, 2000

140: Workshop Concurrency, Specification & Programming 1 Humboldt-Universität zu Berlin. H.-D. Burkhard ... (eds.)
Berlin: Inst. für Informatik, 2000

Naumann, Felix [VerfasserIn]; Rolker, Claudia [VerfasserIn]
138: Assessment methods for information quality criteria F. Naumann; C. Rolker
Berlin: Inst. für Informatik, 2000

Stillger, Michael [VerfasserIn] ; Scheffner, Dieter [Sonstige Person, Familie und Körperschaft]; Freytag, Johann Christoph [Sonstige Person, Familie und Körperschaft]
137: A communication infrastructure for a distributed RDBMS M. Stillger; D. Scheffner; J. C. Freytag
Berlin: Inst. für Informatik, 2000

Peuker, Sybille [VerfasserIn] ; Peuker, Sibylle [Sonstige Person, Familie und Körperschaft]
139: Property preserving transition refinement with concurrent runs S. Peuker
Berlin: Inst. für Informatik, 2000

Vesper, Tobias [VerfasserIn]
133: Randomized self-stabilizing leader election (extended abstract) T. Vesper
Berlin: Inst. für Informatik, 2000

Rödel, Egmar [VerfasserIn]; Kössler, Wolfgang [VerfasserIn]
143: Tests for independence in bivariate distributions power comparison by simulation E. Rödel; W. Kössler. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2000

Polze, Christoph [VerfasserIn]
142: Formale Grammatiken und Compilerbau Literatur, Einführung, LL- und LR-Verfahren Chr. Polze. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Berlin: Professoren des Inst. für Informatik, 2000

Burkhard, Barbara [VerfasserIn]
134: CorSiCa: eine CORBA-basierte Experimentalumgebung für intelligente Telekommunikationsdienste Barbara Burkhard. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle. Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 2000

Naumann, Felix [VerfasserIn]; Freytag, Johann-Christoph [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]
135: Completeness of information sources F. Naumann; J. C. Freytag
Berlin: Inst. für Informatik, 2000

Löwis, Martin von [Sonstige Person, Familie und Körperschaft]
141: Architektur von SDL-Laufzeitsystemen in C++ Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]. M. v. Löwis
Berlin: Professoren des Inst. für Informatik, 2000

Karl, Holger [VerfasserIn]; Polze, Andreas [VerfasserIn]; Werner, Matthias [VerfasserIn]
118: A flexible, distributed I-O based framework for improved fault tolerance of legacy software H. Karl; A. Polze; M. Werner
Berlin: Humboldt-Univ., Inst. für Informatik, 1999

Peuker, Sibylle [VerfasserIn]
120: Phased decomposition of distributed algorithms S. Peuker
Berlin: Inst. für Informatik, 1999

Rödel, Egmar [VerfasserIn]
126: Mixed linear regression with equi-cross-correlated errors E. Rödel
Berlin: Professoren des Inst. für Informatik, 1999

Polze, Christoph [VerfasserIn]
128: Tools der Softwaretechnik Technologie mit make; Einführung und Demonstrationen Christoph Polze
Berlin: Inst. für Informatik, 1999

Battke, Anne [Sonstige Person, Familie und Körperschaft]
129: Initial realization of the "Petri net Baukasten" DFG-Forschergruppe Petri net Technology. A. Battke
Berlin: Inst. für Informatik, 1999

Baar, Thomas [VerfasserIn]; Kindler, Ekkart [VerfasserIn]; Völzer, Hagen [VerfasserIn]
119: Verifying intuition - ILF checks DAWN proofs Th. Baar; E. Kindler; H. Völzer
Berlin: Professoren des Inst. für Informatik, 1999

Karl, Holger [VerfasserIn]
121: A rigorous analysis of the run time distribution of eager scheduling H. Karl
Berlin: Professoren des Inst. für Informatik, 1999

Dohmen, Klaus [VerfasserIn]
132: Convex geometric inclusion-exclusion identities and Bonferroni inequalities with applications to system reliability analysis and reliability covering problems K. Dohmen. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1999

Naumann, Felix [VerfasserIn]; Leser, Ulf [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]
117: Quality-driven integration of heterogeneous information systems F. Naumann; U. Leser; J. C. Freytag
Berlin: Inst. für Informatik, 1999

Wischnowsky, Sven [VerfasserIn]
124: Optimierung in dynamischen Compilern am Beispiel von DHLOS Sven Wischnowsky
Berlin: Inst. für Informatik, 1999

Dohmen, Klaus [VerfasserIn]
125: An improved inclusion-exclusion algorithm for counting Hamiltonian paths K. Dohmen
Berlin: Humboldt-Univ. zu Berlin, Professoren des Inst. für Informatik, 1999

Wolf, Karsten [VerfasserIn]
123: Stubborn sets for model checking the EF AG fragment of CTL K. Schmidt
Berlin: Inst. für Informatik, 1999

Wolf, Karsten [VerfasserIn]
122: Integrating low level symmetries into reachability analysis K. Schmidt
Berlin: Inst. für Informatik, 1999

Richling, Jan [VerfasserIn]
127: Komponierbare Echtzeitsysteme - Entwurfsmethode und Architekturentwurf Jan Richling. [Humboldt-Universität zu Berlin. Hrsg: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1999

Burkhard, Hans-Dieter [HerausgeberIn]
110: Workshop Concurrency, Specification & Programming September 28 - 30, 1998 Humboldt-Universität zu Berlin. H.-D. Burkhard ... (eds.). [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1998

Kindler, Ekkart [VerfasserIn]; Weber, Michael [VerfasserIn]
109: The dimensions of Petri nets the Petri net cube E. Kindler; M. Weber. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1998

Dohmen, Klaus [VerfasserIn]
114: Improved Bonferroni bounds for the reliability of a communication network K. Dohmen. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1998

Polze, Andreas [VerfasserIn]; Richling, Jan [VerfasserIn]
105: Data replication and weak memory consistency predictable CORBA interactions with composite objects A. Polze; J. Richling
Berlin: Inst. für Informatik, 1998

Polze, Christoph [VerfasserIn]
115: Tools der Softwaretechnik Programmgeneratoren ; Einführung und Demonstrationen Christoph Polze
Berlin: Inst. für Informatik, 1998

Rödel, Egmar [VerfasserIn]
113: Data control by stochastic models E. Rödel. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1998

Reisig, Wolfgang [VerfasserIn]
116: On the structure of DNA algorithms W. Reisig. Humboldt-Universität zu Berlin. [Hrsg: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1998

Hauptmann, Jens [Sonstige Person, Familie und Körperschaft]
98: Der Petrinetz-Kern Version 1.0 ; Dokumentation der Anwendungsschnittstelle Humboldt-Universität zu Berlin, Institut für Informatik. Jens Hauptmann
Berlin: Professoren des Institutes für Informatik, 1998

Kindler, Ekkart [VerfasserIn]
102: Database theory - petri net theory - workflow theory E. Kindler
Berlin: Professoren des Institutes für Informatik, 1998

Roch, Stephan [VerfasserIn] ; Starke, Peter H. [Sonstige Person, Familie und Körperschaft]
101: INA, Integrierter Netz Analysator, Version 2.1 Handbuch Stephan Roch; Peter H. Starke
Berlin: Professoren des Institutes für Informatik, 1998

Kindler, Ekkart [VerfasserIn]; Peuker, Sibylle [VerfasserIn]
107: Integrating distributed algorithms into distributed systems E. Kindler; S. Peuker
Berlin: Professoren des Institutes für Informatik, 1998

Haar, Stefan [VerfasserIn]
108: Branching processes of general S/T-systems Stefan Haar
Berlin: Professoren des Institutes für Informatik, 1998

Karl, Holger [VerfasserIn]
112: Coscheduling through synchronized scheduling servers - a prototype and experiments H. Karl
Berlin: Professoren des Institutes für Informatik, 1998

Rödel, Egmar [VerfasserIn]
111: Projections on convex cones with applications in statistics E. Rödel
Berlin: Professoren des Institutes für Informatik, 1998

Popova-Zeugmann, Louchka [VerfasserIn]
96: Essential states in time Petri nets Louchka Popova-Zeugmann
Berlin: Professoren des Inst. für Informatik, 1998

Mueller, Frank [VerfasserIn]
97: Prioritized token-based mutual exclusion for distributed systems Frank Mueller
Berlin: Professoren des Inst. für Informatik, 1998

Vesper, Tobias [VerfasserIn] ; Weber, Michael [Sonstige Person, Familie und Körperschaft]
100: Validierung eines Petrinetz-basierten Steuerungssystems Tobias Vesper; Michael Weber
Berlin: Professoren des Institutes für Informatik, 1998

Baar, Thomas [VerfasserIn]; Kindler, Ekkart [VerfasserIn]
99: Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen eine Vorstudie Thomas Baar; Ekkart Kindler
Berlin: Professoren des Inst. für Informatik, 1998

104: Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC 104 ed. by Yair Lahav
Berlin: Inst. für Informatik, Humboldt-Univ., 1998

104: Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC 2 SDL and MSC in relation to object oriented languages and to distributed systems ed. by Yair Lahav
Berlin: Inst. für Informatik, Humboldt-Univ., 1998

Kindler, Ekkart [VerfasserIn] ; Vesper, Tobias [Sonstige Person, Familie und Körperschaft]
87: ESTL: a temporal ogic for events and states Ekkart Kindler; Tobias Vesper
Berlin: Professoren des Inst. für Informatik, 1997

Kindler, Ekkart [VerfasserIn]; Völzer, Hagen [VerfasserIn]
89: Flexibility in algebraic nets Ekkart Kindler; Hagen Völzer
Berlin: Professoren des Inst. für Informatik, 1997

Weber, Michael [Sonstige Person, Familie und Körperschaft]
88: DAWN Petrinetzmodelle zur Verifikation verteilter Algorithmen Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]. Michael Weber
Berlin: Professoren des Inst. für Informatik, 1997

Burkhard, Barbara [VerfasserIn]
82: Management verteilter Systeme eine Übersicht zu aktuellen Entwicklungen Barbara Burkhard. Humboldt-Universität zu Berlin [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997

Haar, Stefan [VerfasserIn]
86: Cyclic orders and the axiomatization of causality and concurrency in periodic processes Stefan Haar
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997

Heiner, Monika [VerfasserIn] ; Popova-Zeugmann, Louchka [Sonstige Person, Familie und Körperschaft]
83: Worst-case analysis of concurrent systems with duration interval Petri nets Monika Heiner; Louchka Popova-Zeugmann
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997

Völzer, Hagen [VerfasserIn]
84: Verifying fault tolerance of distributed algorithms formally a case study Hagen Völzer
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997

Desel, Jörg [HerausgeberIn]
85: 4. Workshop Algorithmen und Werkzeuge für Petrinetze Humboldt-Universität zu Berlin. J. Desel ... (Hrsg.)
Berlin: Professoren des Inst. für Informatik, 1997

Stillger, Michael [VerfasserIn]; Obermaier, Johann K. [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]
81: AQuES: an agent based query evaluation system M. Stillger; J. K. Obermaier; J. C. Freytag. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Institutes für Informatik, 1997

Manegold, Stefan [VerfasserIn]; Obermaier, Johann K. [VerfasserIn]; Waas, Florian [VerfasserIn]
80: Flexible Anfrageoptimierung in parallelen Datenbanksystemen (Arbeitspapier) St. Manegold; J. K. Obermaier; F. Waas. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1997

Lau, Stefanie [VerfasserIn] ; Prinz, Andreas [Sonstige Person, Familie und Körperschaft]
79: BSDL the language ; version 0.3 Stefanie Lau; Andreas Prinz
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997

Karl, Holger [Sonstige Person, Familie und Körperschaft]; Werner, Matthias [Sonstige Person, Familie und Körperschaft]
92: An optimal checkpointing interval for real-time systems Holger Karl; Matthias Werner
Berlin: Professoren des Inst. für Informatik, 1997

Karl, Holger [VerfasserIn] ; Werner, Matthias [Sonstige Person, Familie und Körperschaft]
93: An experimental investigation of message latencies in the totem protocol in the presence of faults Holger Karl; Matthias Werner
Berlin: Professoren des Inst. für Informatik, 1997

Richling, Jan [VerfasserIn]
94: Scheduling server for responsive computing Jan Richling
Berlin: Inst. für Informatik, 1997

Ibach, Peter K. [VerfasserIn]
95: Fault tolerance and real time through duplication based dynamic load sharing Peter K. Ibach
Berlin: Professoren des Inst. für Informatik, 1997

Werner, Matthias [VerfasserIn]; Malek, Miroslaw [VerfasserIn]
90: The unstoppables responsiveness by consensus ; a software demonstration Matthias Werner and Miroslaw Malek
Berlin: Professoren des Inst. für Informatik, 1997

Werner, Matthias [VerfasserIn] ; Karl, Holger [Sonstige Person, Familie und Körperschaft]
91: Towards a definition of responsiveness Matthias Werner; Holger Karl
Berlin: Professoren des Inst. für Informatik, 1997

Polze, Andreas [VerfasserIn]; Werner, Matthias [VerfasserIn]; Malek, Miroslaw [VerfasserIn]
75: High performance responsive computing with CORE and SONiC A. Polze; M. Werner; M. Malek. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1996

Kindler, Ekkart [VerfasserIn]; Listl, Andreas [VerfasserIn]; Walter, Rolf [VerfasserIn]
56: A specification method for transaction models with data replication E. Kindler; A. Listl; R. Walter. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1996

Mueller, Frank [VerfasserIn]
66: Generalizing timing predictions to set associative caches Frank Mueller. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1996

Walter, Rolf [Sonstige Person, Familie und Körperschaft]
67: Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]. R. Walter
Berlin: Professoren des Inst. für Informatik, 1996

Polze, Christoph [VerfasserIn]
71: Objektorientiertes Programmieren mit Perl5 Christoph Polze. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1996

Ehrig, Hartmut [HerausgeberIn]
73: Kick-Off-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 15. Juli 1996 H. Ehrig ... (eds.)
Berlin: Professoren des Inst. für Informatik, 1996

Fohler, Gerhard [VerfasserIn]
78: Adaptive fault tolerance with statically scheduled real time systems G. Fohler. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik]
Berlin: Professoren des Inst. für Informatik, 1996

Manegold, Stefan [VerfasserIn] ; Obermaier, Johann K. [Sonstige Person, Familie und Körperschaft]; Waas, Florian [Sonstige Person, Familie und Körperschaft]
70: Load balanced query evaluation in shared-everything environments (extended version) St. Manegold; J. K. Obermaier; F. Waas
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Czaja, Ludvik [Sonstige Person, Familie und Körperschaft]; Czaja, Ludwik [HerausgeberIn]
69: Workshop Concurrency, Specification & Programming September 25 - 27, 1996 [Hrsg.: Professoren des Institutes für Informatik, Humboldt-Universität Berlin]. L. Czaja ... (Eds.)
Berlin: Professoren des Inst. für Informatik, 1996

Reisig, Wolfgang [VerfasserIn]
64: Modelling and verification of distributed algorithms Wolfgang Reisig
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Stillger, Michael [VerfasserIn] ; Spiliopoulou, Myra [Sonstige Person, Familie und Körperschaft]; Freytag, Johann Christoph [Sonstige Person, Familie und Körperschaft]
65: Parallel query optimization exploiting bushy and pipeline parallelism with genetic programs M. Stillger; M. Spiliopoulou; J. C. Freytag
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Reisig, Wolfgang [VerfasserIn]
68: Interleaved progress, concurrent progress and local progress Wolfgang Reisig
Berlin: Professoren des Inst. für Informatik, 1996

Polze, Andreas [VerfasserIn]; Fohler, Gerhard [VerfasserIn]; Werner, Matthias [VerfasserIn]
76: Predictable network computing A. Polze, G. Fohler, M. Werner
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Polze, Andreas [Sonstige Person, Familie und Körperschaft]; Hauf, Michael [Sonstige Person, Familie und Körperschaft]
77: Rechnen in Parallelen und Verteilten Umgebungen Experimente und Messungen A. Polze (ed.). [Michael Hauf ...]
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Pogrell, Lutz [VerfasserIn]
60: A new model checking algorithm for time nets Lutz Pogrell
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Burkhard, Barbara [VerfasserIn]
57: Skript zum Kurs Software-Architektur UNIX, Teil Kommunikation [Sommersemester 1996] Barbara Burkhard
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Manegold, Stefan [Sonstige Person, Familie und Körperschaft]
61: Load balanced query evaluation in shared-everything environments Stefan Manegold
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Heitsch, Wolfram [VerfasserIn]
62: Automatisches Theorembeweisen durch logische Programmierung Wolfram Heitsch
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Burkhard, Hans-Dieter [HerausgeberIn]
55: System development and evaluation 4th German Workshop on Case Based Reasoning. H.-D. Burkhard ... (eds.)
Berlin: Inst. für Informatik, 1996

Manegold, St [Sonstige Person, Familie und Körperschaft]
58: Data threaded query evaluation in shared-everything environments St. Manegold
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Starke, Peter H. [VerfasserIn]
59: On state-invariants of timed Petri nets Peter H. Starke
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Kindler, Ekkart [Sonstige Person, Familie und Körperschaft]
63: Petri net based verification of distributed algorithms an example Ekkart Kindler
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Jaeger, Ulrike [VerfasserIn]; Obermaier, Johann K. [VerfasserIn]
72: Parallel event detection in active database systems the heart of the matter Ulrike Jaeger; Johann K. Obermaier
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Polze, Andreas [VerfasserIn]; Malek, Miroslaw [VerfasserIn]
74: Network computing with SONiC A. Polze, M. Malek
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996

Ye, Jin [VerfasserIn]
42: SDL specification and simulation of TDM/CDMA VSAT integrated service satellite communication network Jin Ye. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Jaeger, Ulrike [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]
41: Annoted bibliography on active databases U. Jaeger; J. C. Freytag. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Polze, Christoph [VerfasserIn]
47: Folien zum Kurs Software-Architektur UNIX Christoph Polze. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Starke, Peter H. [VerfasserIn]
46: A memo on time constrains in Petri nets Peter H. Starke
Berlin: Inst. für Informatik, 1995

Kindler, Ekkart [VerfasserIn]; Walter, Rolf [VerfasserIn]
50: Arc-typed Petri nets E. Kindler; R. Walter. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Malek, Miroslaw [VerfasserIn]; Polze, Andreas [VerfasserIn]; Werner, Matthias [VerfasserIn]
51: A framework for responsive parallel computing in network-based systems M. Malek; A. Polze; M. Werner. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Polze, Andreas [VerfasserIn]; Malek, Miroslaw [VerfasserIn]
52: The shared objects net-interconnected computer (SONiC) A. Polze, M. Malek. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Spiliopoulou, Myra [VerfasserIn]; Freytag, Johann Christoph [VerfasserIn]
54: Modelling the dynamic evolution of system workload during pipelined query execution M. Spiliopoulou; J. C. Freytag. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Werner, Matthias [VerfasserIn]; Polze, Andreas [VerfasserIn]; Malek, Miroslaw [VerfasserIn]
53: The unstoppable orchestra a responsive distributed application M. Werner; A. Polze; M. Malek. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Fischer, Joachim [VerfasserIn] ; Dimitrov, Evgeni [Sonstige Person, Familie und Körperschaft]; Taubert, Udo [Sonstige Person, Familie und Körperschaft]
43: Analysis and formal verification of SDL '92 specifications using extended Petri nets J. Fischer; E. Dimitrov; U. Taubert. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

45: Proceedings of COST 247 Meeting Berlin, Februar 1995 Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Witaszek, Dorata [VerfasserIn]; Holz, Eckhardt [VerfasserIn]; Lau, Stefanie [VerfasserIn] ; Witaszek, Dorota [Sonstige Person, Familie und Körperschaft]
49: A methodology for object-oriented analysis and design using OMT and SDL '92 D. Witaszek; E. Holz; St. Lau. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1995

Born, Marc [VerfasserIn]; Fischer, Joachim [VerfasserIn]; Winkler, Mario [VerfasserIn]
44: Formal language mapping from CORBA IDL to SDL'92 in combination with ASN.1 M. Born; J. Fischer; M. Winkler
Berlin: Inst. für Informatik, 1995

Reisig, Wolfgang [VerfasserIn]
48: Petri net models of distributed algorithms Wolfgang Reisig
Berlin: Inst. für Informatik, 1995

Jaeger, Ulrike [VerfasserIn]
35: Using context information for efficient situation detection U. Jaeger. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Hougardy, Stefan [VerfasserIn]
40: On wing-perfect graphs St. Hougardy. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Popova-Zeugmann, Louchka [VerfasserIn]
39: On time invariance in time Petri nets L. Popova-Zeugmann. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Fischer, Joachim [VerfasserIn]
37: Contributions for the formal specification of the ODP trader using SDL'92 and ASN.1 Joachim Fischer. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Reisig, Wolfgang [VerfasserIn]
38: Correctness proofs of distributed algorithms W. Reisig. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Czaja, Ludwik [Sonstige Person, Familie und Körperschaft]
36: Workshop Concurrency, Specification & Programming October 12 - 15, 1994 L. Czaja ... Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Hecker, Thomas [VerfasserIn] ; Weber, Michael [Sonstige Person, Familie und Körperschaft]
28: ChannLib an advanced routing environment Th. Hecker; M. Weber. Hrsg.: Die Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Molitor, Paul [VerfasserIn] ; Scholl, Christoph [Sonstige Person, Familie und Körperschaft]
29: Communication based multilevel synthesis for multi-output boolean functions Paul Molitor; Christoph Scholl. Hrsg.: Die Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Wolf, Karsten [VerfasserIn]
31: T-invariants of algebraic Petri nets Karsten Schmidt
Berlin: Institut für Informatik, 1994

Smith, Einar [VerfasserIn]
32: On the border of causality contact and confusion E. Smith. Hrsg.: Die Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

Wolf, Karsten [VerfasserIn]
33: Symmetries of Petri nets K. Schmidt
Berlin: Institut für Informatik, 1994

Reisig, Wolfgang [VerfasserIn]
34: Progress in Petri nets W. Reisig. Hrsg.: Professoren des Institutes für Informatik. [Humboldt-Universität zu Berlin]
Berlin: Professoren des Inst. für Informatik, 1994

27: Zusammenfassung der Vorträge / Tag der Informatik an der Humboldt-Universität zu Berlin Fachbereich Informatik der Humboldt-Universität zu Berlin. [Humboldt-Universität Berlin. Hrsg.: Dekan des Fachbereichs Informatik]
Berlin: Dekan des Fachbereichs Informatik, 1993

Reisig, Wolfgang [VerfasserIn]
23: Formal methods for concurrent systems design a survey W. Reisig
Berlin: Institut für Informatik, [1993]

Desel, Jörg [VerfasserIn]; Radola, Micaela-Daphne [VerfasserIn]
24: Proving non-reachability by modulo-place-invariants Desel; Radola
Berlin: Institut für Informatik, [1993]

Smith, Einar [VerfasserIn]
25: A primer on high-level Petri-net theory E. Smith
Berlin: Institut für Informatik, [1993]

Desel, Jörg [VerfasserIn]
26: P, T-systems, invariants, and free-choice systems Jörg Desel
Berlin: Institut für Informatik, [1993]