> Publishers' series
-
243:
Asynchronous communication R. Dzikowski
Berlin: Inst. für Informatik, 2014
-
244:
A BPMN model of the charity stroke treatment process K. Duske
Berlin: Inst. für Informatik, 2014
-
242:
Cost-optimizing compositions of services - analysis and synthesis J. Sürmeli; M. Triebel
Berlin: Inst. für Informatik, 2013
-
241:
Ranking of dependability-relevant indicators for availability enhancement of enterprise information systems Tobias Goldschmidt and Miroslaw Malek
Berlin: Inst. für Informatik, 2012
-
240:
Regular path queries on large graphs A. Koschmieder; U. Leser
Berlin: Inst. für Informatik, 2012
-
239:
Synthesizing cost-minimal partners for services Jan Sürmeli
Berlin: Professoren des Inst. für Informatik, 2012
-
230:
Seven scenarios for context-aware sysrems A. Hinze
Berlin: Inst. für Informatik, 2009
-
227:
Towards agile language engineering Daniel A. Sadilek
Berlin: Inst. für Informatik, 2009
-
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
-
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
-
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
-
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
-
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
-
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
-
204:
Multi-channel opportunistic routing in multi-hop wireless networks A. Zubow; M. Kurth; J.-P. Redlich
Berlin: Inst. für Informatik, 2006
-
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
-
208:
Modeling event-driven time series with generalized Hidden Semi-Markov models F. Salfner
Berlin: Professoren des Inst. für Informatik, 2006
-
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
-
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
-
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
-
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
-
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
-
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
-
184:
Hazard detection in a GALS wrappper a case study Chr. Stahl; W. Reisig; M. Krstic
Berlin: Inst. für Informatik, 2005
-
182:
Verteilte Geschäftsprozesse modellieren und analysieren W. Reisig; K. Schmidt; Chr. Stahl
Berlin: Inst. für Informatik, 2005
-
176:
Storing and querying historical texts i a relational database L. C. Faulstich; U. Leser; A. Lüdeling
Berlin: Inst. für Informatik, 2005
-
180:
Controlability of distributed business processes K. Schmidt
Berlin: Inst. für Informatik, 2005
-
164:
Problems, methods, and challenges in comprehensive data cleansing H. Müller; J.-Chr. Freytag
Berlin: Inst. für Informatik, 2005
-
187:
A query language for biological networks U. Leser
Berlin: Inst. für Informatik, 2005
-
188:
A petri net semantics for BPEL Chr. Stahl
Berlin: Inst. für Informatik, 2005
-
189:
Operating guidelines an alternative to public view P. Massuthe; K. Schmidt
Berlin: Inst. für Informatik, 2005
-
191:
An operating guideline approach to the SOA P. Massuthe; W. Reisig; K. Schmidt
Berlin: Inst. für Informatik, 2005
-
171:
Meeting deadlines in complex systems a probabilistic research G. A. Hoffmann; M. Malek
Berlin: Inst. für Informatik, 2004
-
172:
Advanced failure prediction in complex software systems G. A. Hoffmann; F. Salfner; M. Malek
Berlin: Inst. für Informatik, 2004
-
173:
Some c-sample rank tests of homogeneity against ordered alternatives based on u-statistics W. Kössler
Berlin: Inst. für Informatik, 2004
-
174:
Eine vergleichende Analyse von historischen und diachronen digitalen Korpora Projekt "DeutschDiachronDigital" E. Kroymann
Berlin: Professoren des Inst. für Informatik, 2004
-
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
-
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
-
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
-
169:
Business process execution language for Web services sementik, Analyse und Visualisierung Axel Martens
Berlin: Univ., Inst. für Informatik, 2004
-
167:
Some c-sample rank tests of homogeneity against umbrella alternatives with unknown peak Wolfgang Kössler
Berlin: Univ., Inst. für Informatik, 2004
-
165:
Links and paths trough life sciences data sources Z. Lacroix
Berlin: Inst. für Informatik, 2004
-
170:
Workshop Concurrency, Specification and Programming 3 Multiagent systems and applications ed. by Gabriela Lindemann
Berlin: Humboldt-Univ., 2004
-
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
-
161:
Workshop Concurrency, Specification and Programming 1 H.-D. Burkhard ... (eds.)
Berlin: Humboldt-Univ., Inst. für Informatik, 2002
-
158:
The XML query execution engine (XEE) D. Scheffner; J.-Chr. Freytag
Berlin: Professoren des Inst. für Informatik, 2002
-
159:
Private information retrieval, optimal for users and secure coprocessors D. Asonov; J.-Chr. Freytag
Berlin: Professoren des Institutes für Informatik, 2002
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
135:
Completeness of information sources F. Naumann; J. C. Freytag
Berlin: Inst. für Informatik, 2000
-
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
-
133:
Randomized self-stabilizing leader election (extended abstract) T. Vesper
Berlin: Inst. für Informatik, 2000
-
138:
Assessment methods for information quality criteria F. Naumann; C. Rolker
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
-
137:
A communication infrastructure for a distributed RDBMS M. Stillger; D. Scheffner; J. C. Freytag
Berlin: Inst. für Informatik, 2000
-
139:
Property preserving transition refinement with concurrent runs S. Peuker
Berlin: Inst. für Informatik, 2000
-
140:
Workshop Concurrency, Specification & Programming 2 Humboldt-Universität zu Berlin. H.-D. Burkhard ... (eds.)
Berlin: Inst. für Informatik, 2000
-
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
-
120:
Phased decomposition of distributed algorithms S. Peuker
Berlin: Inst. für Informatik, 1999
-
129:
Initial realization of the "Petri net Baukasten" DFG-Forschergruppe Petri net Technology. A. Battke
Berlin: Inst. für Informatik, 1999
-
126:
Mixed linear regression with equi-cross-correlated errors E. Rödel
Berlin: Professoren des Inst. für Informatik, 1999
-
128:
Tools der Softwaretechnik Technologie mit make; Einführung und Demonstrationen Christoph Polze
Berlin: Inst. für Informatik, 1999
-
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
-
117:
Quality-driven integration of heterogeneous information systems F. Naumann; U. Leser; J. C. Freytag
Berlin: Inst. für Informatik, 1999
-
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
-
125:
An improved inclusion-exclusion algorithm for counting Hamiltonian paths K. Dohmen
Berlin: Humboldt-Univ. zu Berlin, Professoren des Inst. für Informatik, 1999
-
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
-
119:
Verifying intuition - ILF checks DAWN proofs Th. Baar; E. Kindler; H. Völzer
Berlin: Professoren des Inst. für Informatik, 1999
-
122:
Integrating low level symmetries into reachability analysis K. Schmidt
Berlin: Inst. für Informatik, 1999
-
123:
Stubborn sets for model checking the EF AG fragment of CTL K. Schmidt
Berlin: Inst. für Informatik, 1999
-
121:
A rigorous analysis of the run time distribution of eager scheduling H. Karl
Berlin: Professoren des Inst. für Informatik, 1999
-
124:
Optimierung in dynamischen Compilern am Beispiel von DHLOS Sven Wischnowsky
Berlin: Inst. für Informatik, 1999
-
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
-
115:
Tools der Softwaretechnik Programmgeneratoren ; Einführung und Demonstrationen Christoph Polze
Berlin: Inst. für Informatik, 1998
-
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
-
105:
Data replication and weak memory consistency predictable CORBA interactions with composite objects A. Polze; J. Richling
Berlin: Inst. für Informatik, 1998
-
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
-
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
-
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
-
99:
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen eine Vorstudie Thomas Baar; Ekkart Kindler
Berlin: Professoren des Inst. für Informatik, 1998
-
96:
Essential states in time Petri nets Louchka Popova-Zeugmann
Berlin: Professoren des Inst. für Informatik, 1998
-
97:
Prioritized token-based mutual exclusion for distributed systems Frank Mueller
Berlin: Professoren des Inst. für Informatik, 1998
-
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
-
102:
Database theory - petri net theory - workflow theory E. Kindler
Berlin: Professoren des Institutes für Informatik, 1998
-
101:
INA, Integrierter Netz Analysator, Version 2.1 Handbuch Stephan Roch; Peter H. Starke
Berlin: Professoren des Institutes für Informatik, 1998
-
111:
Projections on convex cones with applications in statistics E. Rödel
Berlin: Professoren des Institutes für Informatik, 1998
-
108:
Branching processes of general S/T-systems Stefan Haar
Berlin: Professoren des Institutes für Informatik, 1998
-
107:
Integrating distributed algorithms into distributed systems E. Kindler; S. Peuker
Berlin: Professoren des Institutes für Informatik, 1998
-
100:
Validierung eines Petrinetz-basierten Steuerungssystems Tobias Vesper; Michael Weber
Berlin: Professoren des Institutes für Informatik, 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
-
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
-
112:
Coscheduling through synchronized scheduling servers - a prototype and experiments H. Karl
Berlin: Professoren des Institutes für Informatik, 1998
-
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
-
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
-
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
-
79:
BSDL the language ; version 0.3 Stefanie Lau; Andreas Prinz
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997
-
87:
ESTL: a temporal ogic for events and states Ekkart Kindler; Tobias Vesper
Berlin: Professoren des Inst. für Informatik, 1997
-
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
-
89:
Flexibility in algebraic nets Ekkart Kindler; Hagen Völzer
Berlin: Professoren des Inst. für Informatik, 1997
-
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
-
84:
Verifying fault tolerance of distributed algorithms formally a case study Hagen Völzer
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997
-
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
-
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
-
90:
The unstoppables responsiveness by consensus ; a software demonstration Matthias Werner and Miroslaw Malek
Berlin: Professoren des Inst. für Informatik, 1997
-
94:
Scheduling server for responsive computing Jan Richling
Berlin: Inst. für Informatik, 1997
-
95:
Fault tolerance and real time through duplication based dynamic load sharing Peter K. Ibach
Berlin: Professoren des Inst. für Informatik, 1997
-
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
-
91:
Towards a definition of responsiveness Matthias Werner; Holger Karl
Berlin: Professoren des Inst. für Informatik, 1997
-
92:
An optimal checkpointing interval for real-time systems Holger Karl; Matthias Werner
Berlin: Professoren des Inst. für Informatik, 1997
-
58:
Data threaded query evaluation in shared-everything environments St. Manegold
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
59:
On state-invariants of timed Petri nets Peter H. Starke
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
61:
Load balanced query evaluation in shared-everything environments Stefan Manegold
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
62:
Automatisches Theorembeweisen durch logische Programmierung Wolfram Heitsch
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
57:
Skript zum Kurs Software-Architektur UNIX, Teil Kommunikation [Sommersemester 1996] Barbara Burkhard
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
63:
Petri net based verification of distributed algorithms an example Ekkart Kindler
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
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
-
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
-
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
-
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
-
73:
Kick-Off-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 15. Juli 1996 H. Ehrig ... (eds.)
Berlin: Professoren des Inst. für Informatik, 1996
-
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
-
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
-
64:
Modelling and verification of distributed algorithms Wolfgang Reisig
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
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
-
74:
Network computing with SONiC A. Polze, M. Malek
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
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
-
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
-
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
-
68:
Interleaved progress, concurrent progress and local progress Wolfgang Reisig
Berlin: Professoren des Inst. für Informatik, 1996
-
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
-
76:
Predictable network computing A. Polze, G. Fohler, M. Werner
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
60:
A new model checking algorithm for time nets Lutz Pogrell
Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996
-
55:
System development and evaluation 4th German Workshop on Case Based Reasoning. H.-D. Burkhard ... (eds.)
Berlin: Inst. für Informatik, 1996
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
48:
Petri net models of distributed algorithms Wolfgang Reisig
Berlin: 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
-
46:
A memo on time constrains in Petri nets Peter H. Starke
Berlin: Inst. für Informatik, 1995
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
31:
T-invariants of algebraic Petri nets Karsten Schmidt
Berlin: Institut für Informatik, 1994
-
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
-
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
-
33:
Symmetries of Petri nets K. Schmidt
Berlin: Institut für Informatik, 1994
-
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
-
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
-
23:
Formal methods for concurrent systems design a survey W. Reisig
Berlin: Institut für Informatik, [1993]
-
24:
Proving non-reachability by modulo-place-invariants Desel; Radola
Berlin: Institut für Informatik, [1993]
-
26:
P, T-systems, invariants, and free-choice systems Jörg Desel
Berlin: Institut für Informatik, [1993]
-
25:
A primer on high-level Petri-net theory E. Smith
Berlin: Institut für Informatik, [1993]