Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

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

HU Informatik-Berichte


Die Informatik-Berichte erscheinen seit 1990 aperiodisch unter der ISSN: 0863-095X.
Herausgeber sind die Professoren des Instituts für Informatik.
Diese Seite listet alle Informatikberichte nach Jahren sortiert auf.
Seit 2005 werden die Informatikberichte gleichzeitig auf dem Dokumenten- und Plublikationsserver (edoc-Server) der HUB veröffentlich.
Zum Verfassen von Informatik-Berichten beachten Sie bitte die folgenden  Hinweise für Autoren

  Erscheinungsjahr:

 

1990-91

1. Fachbereich Informatik Jahresbericht 1990
2.J. Grabowski, W. Müller (1990)
       An Introduction to PROPEL (Version 1.0)
3. C. Damm u.a. (1990)
       Separating restricted MODp-Branching Program Classes
4. C. Damm (1990)
       Lower Bounds on the Size of Parity Normal Forms computing Clique Functions
5.G. Buntrock u.a. (1990)
       Structure and Importance of Logspace-MOD-Classes
6. F. Bauernöppel u.a. (1991)
       Dokumentation der Modulbibliothek HULIB
7. K. Bothe (1991)
       Multipurpose Use of a Prolog Space Benchmark Suite
8. C. Damm (1991)
       DET = L# L
9. J. Grabowski (1991)
       Declarative Semantics for Changing Objects: A Metaprogramming Approach
10. E. B. Kinber, R. Wiehagen (1991)
       Parallel Learning - a recursion-theoretic Approach
11. R. Rasch, H. Jung (1991)
       Computing shortest paths between circles
12. W. Abramowicz (1991)
       Hypertexte und IR-basierte Verarbeitung
 

1992-93

13.B. Hohberg (1992)
       Modulare Spezifikation von Compilern
14. K. Ahrens, J. Fischer, D. Witaszek (1992)
       Objektorientierte Prozessimulation in C++
15. K. Bothe (1992)
       On the Power of Meta-Interpretation and Partitial Evaluation in Logic Programming
16. H. Baumgarten, H. Jung, K. Mehlhorn(1992)
       Dynamic Point Location in General Subdivisions
17. C. Leopold (1992)
       Algorithms and Data Structures for Hierarchical Memories
18. J. Fauck (1992)
       Numerisch stabiler Algorithmus zur näherungsweisen Berechnung des größten gemeinsamen Teilers zweier Polynome
19. G. Bauer (1992)
       Spezifikation von Informationssystemen
20. K. Biener (1992)
       Wegbereiter der Informatik
21. J. Fischer, S. Krause, D. Witaszek (1992)
       PROCESS.LIB und STATISTI.LIB Referenzmanual
22. L. Czaja,H.-D. Burkhard, P. Starke (1993)
       Workshop Concurrency, Specification & Programming 1992
23. W. Reisig (1993)
       Formal Methods for Concurrent Systems Design: A servey
24. J. Desel,M.-D. Radola (1993)
       Proving Non-Reachability by Modulo-Place-Invariants
25. E. Smith (1993)
       A Primer on High-Level Petri-Net Theory
26. J. Desel (1993)
       P/T-Systems, Invariants and Free-Choice Systems
27. Tag der Informatik (1993)
 

1994

28. Th. Hecker, M. Weber (1994)
       ChannLib - An Advanced Routing Environment
29. P. Molitor, Ch. Scholl (1994)
       Communication based multilevel synthetics for multi-output boolean functions.
30. E. Kindler, Listl, R. Walter (1994)
       Kausalitaetsbasierte Beweismethoden fuer verteilte Datenbanken
31. K. Schmidt (1994)
       T-Invariants of Algebraic Petri Nets
32. E. Smith (1994)
       On the Border of Causality: Contact and Confusion
33. K. Schmidt
       Symmetries of Petri Nets
34. W. Reisig (1994)
       Progress in Petri Nets
35.U. Jaeger
       Using Context Information for Efficient Situation Detection
36. L. Czaja,H.-D. Burkhard, P. Starke (1994)
       Workshop Concurrency, Specification & Programming 1994
37.J. Fischer (1994)
       Contribution for the Formal Specification of the ODP Trader using SDL92 and ASN.1.
38. W. Reisig (1994)
       Correctness Proofs of Distributed Algorithms
39.L. Popova-Zeugmann (1994)
       On Time Invariance in Time Petri Nets
40. St. Hougardy (1994)
       On Wing-Perfect Graphs

1995

41.U. Jaeger, J.C. Freytag (1995)
       Annotated Bibliography on Active Databases
42. Jin Ye (1995)
       Specification and Simulation of TDM/CDMA VSAT Integrated Service Satellite Communication Network
43. J. Fischer, E. Dimitrov, U. Taubert (1995)
       Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
44. M. Born J. Fischer, M. Winkler (1995)
       Formal Language Mapping from CORBA IDL to SDL'92 in Combination with ASN.1
45. J. Fischer, E. Holz (1995)
       Proceedings of Cost 247 Meeting Berlin, Februar 1995
46. P. Starke (1995)
       A Memo on Time Constraints in Petri Nets
47. C. Polze (1995)
       Folien zum Kurs Software-Architektur UNIX
48.W. Reisig (1995)
       Petri Net Models of Distributed Algorithms
49. D. Witaszek, E. Holz, St. Lau (1995)
       A Methodology for Object-Oriented Analysis and Design Using OMT and SDL'92
50. E. Kindler, R. Walter (1995)
       Arc-Typed Petri Nets
51. M. Malek, A. Polze, M. Werner (1995)
       A Framework for Responsive Parallel Computing in Network-based Systems
52.A. Polze, M. Malek (1995)
       The Shared Objects Net-interconnected Computer (SONiC)
53. M. Werner, A. Polze, M. Malek (1995)
       The Unstoppable Orchestra a Responsive Distributed Application
54. M. Spiliopoulou, J.C. Freytag (1995)
       Modelling the Dynamic Evolution of System Workload During Pipelined Query Execution

1996

55. H.-D. Burkhard, M. Lenz (Eds.) (1996)
       4th German Workshop on Case-Based Reasoning -System Development and Evaluation-
56. E. Kindler, A. Listl, R. Walter (1996)
       A Specification Method for Transaction Models with Data Replication
57. B. Burkhard (1996)
       Skript zum Kurs Software-Architektur UNIX Teil Kommunikation
58. St. Manegold,J. K. Obermaier, F. Waas, J.C. Freytag (1996)
       Data Threaded Query Evaluation in Shared-Everything Environments
59. P. Starke (1996)
       On State-Invariants of Timed Petri Nets
60. L. Pogrell (1996)
       A New Model Checking Algoritm For Time Nets
61. St. Manegold,J. K. Obermaier, F. Waas, J.C. Freytag (1996)
       Load Balanced Query Evaluation in Shared-Everything Environments
62. W. Heitsch (1996)
       Automatisches Theorembeweisen durch logische Programmierung
63. E. Kindler, W. Reisig, H. Völzer, R. Walter (1996)
       Petri Net Based Verification of Distributed Algorithms: An Example
64. W. Reisig (1996)
       Modelling and Verification of Distributed Algorithms
65. M. Stillger, M. Spiliopoulou, J.C. Freytag (1996)
       Parallel Query Optimization: Exploiting Bushy and Pipeline Parallelism with Genetic Programs
66. F. Mueller (1996)
       Generalizing Timing Predictions to Set-Associative Caches
67. R. Walter, H. Völzer, T. Vesper, W. Reisig, E. Kindler, J. F reiheit, J. Desel (1996)
       MEMORANDUM Petrinetzmodelle zur Verifikation Verteilter Algorithmen
68. W. Reisig (1996)
       Interleaved Progress Concurrent Progress and Local Progress
69. L. Czaja, H.-D. Burkhard, P. Starke, M. Lenz (Eds.) (1996)
       Workshop Concurrency, Specification & Programming 1996
70. St. Manegold, J. K. Obermaier, F. Waas (1996)
       Load Balanced Query Evaluation in Shared-Everything Environments (extended Version)
71. C. Polze (1996)
       Objektorientiertes Programmieren mit Perl5
72. U. Jaeger, J. K. Obermaier (1996)
       Parallel Event Detection in Active Database Systems: The Heart of the Matter
73. H. Ehrig, W. Reisig, H. Weber (Eds.) (1996)
       Kick-Off-Workshop der DFG-Forschergruppe Petrinetz-Technologie Business Proce
74.A. Polze, M. Malek (1996)
       Network Computing with SONiC
75.A. Polze, M. Werner, M. Malek (1996)
       High-Performance Responsive Computing Computing with CORE and SONiC
76. A. Polze, G. Fohler, M. Werner (1996)
       Predictable Network Computing
77.A. Polze (Ed.) (1996)
       Rechnen in Parallelen und Verteilten Umgebungen
78.G. Fohler (1996)
       Adaptive Fault-Tolerance with Statically Scheduled Real-Time Systems

1997

79. St. Lau, A. Prinz (1997)
       BSDL: The Language - Version 0.3
80. St. Manegold, J. K. Obermaier, F. Waas (1997)
       Flexible Anfrageoptimierung in parallelen Datenbanksystemen (Arbeitspapier)
81. M. Stillger, J. K. Obermaier, J.C. Freytag (1997)
       AQuES: An Agent-based Query Evaluation System
82. B. Burkhard (1997)
       Managment verteilter Systeme Eine Uebersicht zu aktuellen Entwicklungen
83.M. Heiner, L. Popova-Zeugmann (1997)
       Worst-case Analysis of Concurrent Systems with Duration Petri Nets
84. H. Voelzer (1997)
       Verifying fault tolerance of distributed algoritms formally: A case study
85. J. Desel, E. Kindler, A. Oberweis (Hrsg.) (1997)
       4. Workshop Algorithmen und Werkzeuge fuer Petrinetze
86. St. Haar (1997)
       Cyclic Orders and the axiomatization of causality and concurrency in periodic processes
87. E. Kindler, T. Vesper (1997)
       ESTL: A Temporal Logic for Events and States
88. M. Weber, R. Walter, H. Völzer, T. Vesper, W. Reisig, E. Kindler, J. Freiheit, J. Desel (1997)
       DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen
89. E. Kindler, H. Völzer (1997)
       Flexibility in Algebraic Notes
90. M. Werner, M. Malek (1997)
       The Unstoppables - Responsivness by Consensus
91. M. Werner , H. Karl (1997)
       Towards a Definition of Responsiveness
92. M. Werner , H. Karl (1997)
       An Optimal Checkpointing Interval for Real-Time Systems
93. H. Karl , M. Werner (1997)
       An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults
94. J. Richling (1997)
       Scheduling Server for Responsive Computing
95. P.K. Ibach (1997)
       Fault Tolerance and Real Time through Duplication Based Dynamic Load Sharing

1998

96. L. Popova-Zeugmann (1998)
       Essential States in Time Petri Nets
97. F. Mueller (1998)
       Prioritized Token-Based Mutual Exclusion for Distributed Systems
98. J. Hauptmann, B. Hohberg,E. Kindler, I. Schwenzer, M. Weber(1998)
       Der Petrinetz-Kern Version 1.0 Dokumentation der Anwendungsschnittstelle

247. H. Schligloff (Eds.)
          Concurrency, Specification and Progamming CS&P'2016

99. Th. Baar, E. Kindler(1998)
       Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
100. T. Vesper, M. Weber(1998)
       Validierung eines Petrinetz-basierten Steuerungssystems
101. St. Roch, P. Starke(1998)
       INA Integrierter Netz Analysator Version 2.1
102. E. Kindler (1998)
       Database Theory - Petri Net Theory - Workflow Theory
104. Y. Lahav, A. Wolisz, J. Fischer, E. Holz (1998)
       PROCEEDINGS OF THE 1ST WORKSHOP OF THE SDL FORUM SOCIETY ON SDL AND MSC
105. A. Polze, J. Richling (1998)
       Data Replication and Weak Memory Consistency - Predictable CORBA Interactions with Composite Objects
107. E. Kindler, S. Peuker (1998)
       Integrating Distributed Algorithms into Distributed Systems
108. St. Haar (1998)
       Branching Processes of general S/T-Systems
109. E. Kindler, M. Weber (1998)
       The Dimensions of Petri nets: The Petri Net Cube
110. H.-D. Burkhard, L. Czaja, P. Starke, (Eds.) (1998)
       Workshop Concurrency, Specification & Programming 1998
111. E. Rödel (1998)
       Projections on Convex Cones with Applications in Statistics
112. H. Karl (1998)
       Coscheduling through Synchronized Scheduling Servers - A Prototype and Experiments
113. E. Rödel (1998)
       Data Control by Stochastic Model
114. K.Dohmen (1998)
       Improved Bonferroni Bounds for the Reliability of a Communication Network
115.   Chr.  Polze (1998)
       Tools der Softwaretechnik - Programmgeneratoren - Einführung und Demonstrationen

 

1999

117.  F. Naumann, U. Leser, J. C. Freytag  (1999)
             Quality-driven Integration of  Heterogeneous Information Systems
118. H. Karl, A. Polze, M. Werner (1999)
              A Flexible, Distributed I/O-based Framework for Improved Fault Tolerance of Legacy Software
119. Th. Baar, E. Kindler,  H. Völzer (1999)
               Verifying Intuition - ILF checks DAWN proofs
120. S.  Peuker (1999)
                 Phased Decomposition of Distributed Algorithms
121. H.  Karl (1999)
                 A Rigorous Analysis of the Run Time Distribution  of Eager Scheduling
122. K. Schmidt (1999)
                Integrating Low Level Symmetries into Reachability Analysis
123. K. Schmidt (1999)
                Stubborn Sets for Model Checking the EF/AG Fragment of CTL
124.  S. Wischnowsky  (1999)
                Optimierung in dynamischen Compilern am Beispiel von Delos
125.  K. Dohmen (1999)
                An improved inclusion-exclusion algorithm for counting Hamiltonian path
126.  E. Rödel (1999)
                 Mixed Linear Regression with Equi-Cross-Correlated Errors
127.  J. Richling (1999)
                    Komponierbare Echtzeitsysteme  - Entwurfsmethode und Architekturentwurf
128.  C.  Polze (1999)
                 Tools der Softwaretechnik - Technologie mit make - Einführung und Demonstrationen
129.  DFG-Forschergruppe  PETRI NET TECHNOLOGY (1999)
                   Initial Realization of the   > Petri Net Baukasten <
132.  K. Dohmen (1999)
                Convex geometric inclusion-exclusion identities and Bonferroni inequalities with applications
                 to system reliability analysis and reliability covering problems

  2000

133. T. Vesper (2000)
                  Randomized Self-Stabilizing Leader Election (Extended Abstract)
134. B. Burkhard  (2000)
                 CorSiCa: Eine CORBA-basierte Experimentalumgebung für intelligente Kommunikationssysteme
135.  F. Naumann,  J. C. Freytag  (2000)
                 Completeness of  Information Sources
137. M. Stillger, D. Scheffner,  J. C. Freytag  (2000)
                A Communication Infrastructure for a Distributed RDBMS
138.  F. Naumann,  C. Rolker (2000)
                 Assessment Methods for Information Quality Criteria
139. S. Peuker (2000)
                 Property Preserving Transition Refinement with Concurrent Runs
140.  H.-D. Burkhard, L. Czaja, A. Skowron, P. Starke (Eds.) (2000)
                Workshop Concurrency, Specification & Programming 2000
141. M. v. Löwis, D. Witaszek, J. Fischer, K. Ahrens, B. Neubauer (2000)
                  Architektur von SDL- Laufzeitsystemen in C++
142.  Chr. Polze  (2000)
                 Formale Grammatiken und Compilerbau
143. E. Rödel, W. Kössler (2000)
                Tests for Independence in Bivariate Distributions - Power Comparison by Simulation

2001

144.  Chr. Polze  (2001)
                Die Skriptsprache PERL
145. F. Mueller (2001)
                Real-Time Schedulability Analysis for Ada
146. S. Unger, F. Mueller (2001)
                Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs
147.  F. Mueller, J. Nolte, A. Schlaefer
                Clix - A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory
148. Th. Röblitz, O. Bühn, F. Mueller (2001)
                Simulation of Embedded Micro-Kernels over Pthreads
149. C. Jonker, A. Letia, G. Lindemann, T. Uthmann (Eds.)
                Workshop Modelling Artificial Societies and Hybrid Organizations; 14th European Conference on Artificial Intelligence
150. E. Kindler, M. Weber (2001)
               A Universal Modeule Concept for Petri Nets - an implementationoriented approach -
151. J. Köbler, W. Lindner (2001)
                Learning Classes of Polynomial Abstract Identification Dimension with an Oracle in
152.  V. Arvind, J. Köbler, W. Lindner (2001)
                Parametrized Learnability of k-Terms DNF and Boolean Circuits
153. E. Rödel (2001)
                R-Estimation of Optimal Transformations via Copulas and ACE.
154.  P. Ibach (2001)
                Zuverlässige Systeme für Web und e-Buiseness ; Fallstudie: Intershop Enfinity
155. A. Prinz (2001)
                Formal Semantics for SDL ; Definition and Implementation
156. D.  Asonov (2001)
                Almost Optimal Private Information Retrieval
157. D. Scheffner (2001)
                Access Support Tree & TextArray: Data Structures for XML Document Storage

2002

158. D. Scheffner, J.-Chr. Freytag (2002)
                The XML Query Execution Engine(XEE)
159. D.  Asonov, J.-Chr. Freytag (2002)
                Private Information Retrieval Optimal for Users and Secure Coprocessors
161. H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, P. Starke (Eds.) (2002)
                Concurrency, Specification and Programming CS&P`2002, Berlin, October 7-9
162. P. H. Starke, St. Roch (2002)
                Analysing Signal-Net Systems
               

2003

163. H.-D. Burkhard, T. Uthmann, G. Lindemann (Eds.)
                Workshop "Modellierung und Simulation menschlichen Verhaltens"  
164. H. Müller, J.-Chr. Freytag
                Problems, Methods, and Challenges in Comprehensive Cleansing

2004

165. Z. Lacroix, H. Murthy, F. Naumann, L. Raschid
                Links and Path through Life Sciences Data Sources
167. W. Kössler
                Some c-Sample Rank Tests of Homogeneity Against Umbrella Alternatives with unknown peak
168. E. Rödel
                Statistical Analysis of Memoryless Discrete Channels
169. A. Martens, Chr. Stahl, D. Weinberg, D. Fahland, Th. Heidinger
                Business Process Execution Language for Web services - Semantik, Analyse und Visualisierung -
170. G. Lindemann (Eds.)
                Concurrency, Specification and Progamming CS&P'2004 Volumes 1-3
171. G. A. Hoffmann, M. Malek
                Meeting Deadlines in Complex Systems: A Probabilistic Approach
172. G. A. Hoffmann, F. Salfner, M. Malek
                Advanced Failure Prediction in Complex Software Systems
173. W. Kössler
                Some c-Sample Rank Tests of Homogeneity Against Ordered Alternatives based On U-Statistics
174. E. Kroymann, S. Thiebes, A. Lüdeling, U. Leser
                Eine vergleichende Analyse von historischen und diachronen digitalen Korpora               
175. U. Düffert, F. Winkler
                Evaluation of the capabilities of HAndel-C considering the implementation of a classification algoritm as example               
176. L. C. Faulstich, U. Leser, A. Lüdeling
                Storing and Querying Historical Texts in a Relational Database                

2005

180. K. Schmidt
                Controlability of Distributed Business Processes                
182. W. Reisig, K. Schmidt, Chr. Stahl
                Verteilte Geschäftsprozesse modellieren und analysieren                
184. Chr. Stahl, W. Reisig, M. Krstic
                Hazard Detection in a GALS Wrapper: a Case Study                
187. U. Leser
                A Query Language for Biological Networks
188. Chr. Stahl
                A Petri Net Semantics for BPEL                
189. P. Massuthe, K. Schmidt
                Operating Guidelines - an Alternative to Public View
190. D. Fahland
                Complete Abstract Operational Semantics for the Web Service Business Process Execution Language
191. P. Massuthe, W. Reisig, K. Schmidt
                An Operating Guideline Approach to the SOA
192. K. Schmidt, Chr. Stahl
                Proceedings: 12. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2005)
193. P. Massuthe, K. Schmidt
                Matching Nondeterministic Services with Operating Guidelines
194. H. Schlingloff (Hrsg.)
                Proceedings: 4th Workshop "Methods for Modalities" (M4M)               
195. L. C. Faulstich, U. Leser
                Implementing Linguistic Query Languages Using LoToS                

2006

196. A. Glausch, W. Reisig
                Distributed Abstract State Machines and Their Expressive power
197. J. Bleiholder, F. Naumann
                Conflict Handling Strategies in an Integrated Information System
198. Daniela Weinberg
                Reduction Rules for Interaction Graphs
199. H. Müller, J.-Chr. Freytag, U. Leser
                On the Distance of Databases
200. W. Kössler
                Asymptotic Power and Efficiency of Lepage-Type Tests for the Treatment of Combined Location-Scale Alternatives
201. W. Kössler
                An adaptive test for the two-sample location problem based on U-statistics
202. P. Massuthe, K. Wolf
                An Algorithm for Matching Nondeterministic Services with Operating Guidelines
203. W. Reisig
                Abstract State Machines for the Classroom - The Basics -
204. A. Zubow, M. Kurth, J.-P. Redlich
                Multi-Channel Opportunistic Routing in Multi-Hop Wireless Networks
205. M. Weis, F. Naumann
               Relationship-based Duplicate Detection
206. G. Lindemann, H. Schlingloff (Eds.)
                Concurrency, Specification and Progamming CS&P'2006 Volumes 1-3
207. S. Trißl, U. Leser
                GRIPP - Indexing and Querying Graphs based on Pre- and Postorder Numbering
208. F. Salfner
                Modeling Event-Driven Time Series with Generalized Hidden Semi-Markov Models
209. F. Salfner, M. Malek
                Reliability Modeling of  Proactive Fault Handling
210. N. Lohmann, P. Massuthe, K. Wolf
                Operating Guidelines for Finite-State Services
211. A. Glausch, W. Reisig
                 On the Expressive Power of Unbounded-Nondeterministic Abstract State Machines

2007

213.  M. P. van der Aalst, P. Massuthe, Ch. Stahl, K. Wolf
               Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
214. N. Lohmann, P. Massuthe, K. Wolf
              Behavioral Constraints for Services
215. St. Brüning, St. Weißleder, M. Malek
             A Fault Taxonomy for Service-Oriented Architecture
216. B. Hohberg, W. Reisig, B. Wu
             Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
217. D. Sadilek
             Prototyping and Simulating Domain-Specific Languages for Wireless Sensor Networks
218. R. Kluth, J. Fischer, K. Ahrens
             Ereignisorientierte Computersimulation mit ODEMx
219. M. Malek, G. A. Hoffmann, N. Milanovic, St. Brüning, R. Meyer, B. Milic
             Methoden und Werkzeuge zur Verfügbarkeitsermittlung

2008

220. M. Hochmuth, A. Lüdeling, U. Leser
             Simulating and reconstructing language change
221. D. Fahland, D. A. Sadilek, M. Scheidgen, St. Weißleder (Eds.)
             SML'08: Domain-Specific Modeling Languages; Workshop co-located with Modellierung 2008
222. Chr. Stahl, P. Massuthe, J. Bretschneider
             Deciding Substitutabililty of Services with Operating Guidelines
223. D. Fahland
              Oclets - a formal approach to adaptive systems using scenario-based concepts
224. B. Milic, M. Malek
             NPART - Node Placement Algorithm for Realistic Topologies in Wireless Multihop Network Simulation
225. G. Lindemann (Eds.), H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicki, H. Schlingloff, A. Skowron, Z. Suraj (Co-Eds.)
             Concurrency, Specification and Progamming CS&P'2008 Volumes 1-3
226. D. Fahland
              Translating UML2 Activity Diagrams to Petri Nets for analyzing IBM WebSphere Business Modeler process models

2009

227. D. Sadilek, M. Scheidgen, G. Wachsmuth, St. Weißleder
             Towards Agile Language Engineering
228. W. Kössler
                Max-Type Rank Tests, U-Tests, and Adaptive Tests for the Two-Sample Location Problem - An Asymptotic Power Study
229. M. A. Salem, N. Ghamry, B. Meffert
                Daubechies Versus Biorthogonal Wavelet for Moving Object Detection in Traffic Monitoring Systems
230. A. Hinze
                Seven Scenarios for Context-aware Systems
232. R. Iron, O. Kopp, A. Leiner, F. Leymann, P. Massuthe
                TOOLS4BPEL Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL

2010

233. Chr. Gierds, J. Sürmeli (Eds.)
               Preliminary Proceedings of the 2nd Central-European Workshop on Services and their Composition, ZEUS2010
234. R. Castillo, Chr. Rothe, U. Leser
                RDFMatView: Indexing RDF Data for SPARQL Queries

235. K. Zimmermann, U. Leser
               Analysis of Affymetrix Exon Arrays

236. O. Oanea, J. Sürmeli, K. Wolf
              Service Discovery Using Communication Fingerprints

2012

239. J. Sürmeli
            Synthesizing cost-minimal partners for services

240. A. Koschmieder, U. Leser
            Regular Path Queries on Large Graphs

241. T. Goldschmidt, M. Malek
           Ranking of Dependability-Relevant Indicators for  Availability Enhancement of Enterprise Information Systems        

2013

242. J. Sürmeli and M. Triebel
           Cost-optimizing compositions of services – analysis and synthesis

2014

243. R. Dzikowski, A. Moelle, W. Reisig, J. Sürmeli
           Asynchronous Communication

244. K. Duske, R. Müller, R. Prüfer, D. Stöhr
           A BPMN Model of the Charity Stroke Treatment Process

245. L. Popova-Zeugmann (Eds.)
          Concurrency, Specification and Progamming CS&P'2014

246. S. Heiden, J. Sürmeli, M. Triebel
          Embedding Multi-Hemirings into Semirings (Preprint)

 

2016

247. H. Schlingloff (Eds.)
          Concurrency, Specification and Progamming CS&P'2016

 

2018

248. H. Schlingloff & S. Akili(Eds.)
          Concurrency, Specification and Progamming CS&P'2018

 


Bei Fehlern auf dieser Seite schreiben Sie bitte eine E-Mail an plone@informatik.hu-berlin.de .