Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFalko Bause
Person information
- affiliation: TU Dortmund University, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2002
[b4]Falko Bause, Pieter S. Kritzinger:
Stochastic Petri nets - an introduction to the theory (2. ed.). Vieweg 2002, ISBN 978-3-528-15535-3, pp. 1-218- 1996
- [b3]Falko Bause, Pieter S. Kritzinger:
Stochastic Petri nets - an introduction to the theory. Advanced studies of computer science, Vieweg 1996, ISBN 978-3-528-05535-6, pp. 1-250 - 1993
- [b2]Falko Bause, Wolfgang Tölle:
Programmieren mit C++ Version 3 - eine Anleitung für Studium und Praxis. Vieweg 1993, ISBN 978-3-528-05324-6, pp. I-IX, 1-232 - 1992
- [b1]Falko Bause:
Funktionale Analyse zeitbehafteter Petri-Netze. Technical University of Dortmund, Germany, Deutscher Universitätsverlag 1992, ISBN 978-3-8244-2025-4, pp. I-VIII, 1-182
Journal Articles
- 2010
- [j7]Falko Bause, Peter Buchholz
, Jan Kriege, Sebastian Vastag:
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simul. 86(5-6): 291-309 (2010) - 2009
- [j6]Falko Bause, Jan Kriege, Sebastian Vastag:
Efficient Validation of Process-based Simulation Models. Simul. Notes Eur. 19(2): 30-38 (2009) - 2001
- [j5]Falko Bause, Michael Kaczmarek:
Modellierung und Analyse von Supply Chains. Wirtschaftsinf. 43(6): 569-578 (2001) - 1998
- [j4]Falko Bause, Peter Buchholz:
Queueing Petri Nets with Product Form Solution. Perform. Evaluation 32(4): 265-299 (1998) - [j3]Falko Bause, Pieter S. Kritzinger:
Stochastic Perti Nets: An Introduction to the Theory. SIGMETRICS Perform. Evaluation Rev. 26(2): 2-3 (1998) - 1996
- [j2]Falko Bause:
On the Analysis of Petri Nets with Static Priorities. Acta Informatica 33(7): 669-685 (1996) - 1995
- [j1]Michael Sczittnick, Falko Bause:
Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool. Informationstechnik Tech. Inform. 37(3): 34-40 (1995)
Conference and Workshop Papers
- 2020
- [c30]Falko Bause:
An Efficient Brute Force Approach to Fit Finite Mixture Distributions. MMB 2020: 208-224 - 2018
- [c29]Falko Bause, Peter Buchholz:
SLA Tool. MMB 2018: 302-306 - 2017
- [c28]Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek:
Equivalence and Lumpability of FSPNs. ASMTA 2017: 16-31 - [c27]Falko Bause, Peter Buchholz, Johannes May:
A Tool Supporting the Analytical Evaluation of Service Level Agreements. ICPE 2017: 233-244 - 2010
- [c26]Falko Bause, Philipp Gerloff, Jan Kriege:
ProFiDo - A Toolkit for Fitting Input Models. MMB/DFT 2010: 311-314 - [c25]Falko Bause, Peter Buchholz, Jan Kriege:
ProFiDo - The Processes Fitting Toolkit Dortmund. QEST 2010: 87-96 - [c24]Falko Bause, Gábor Horváth:
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. QEST 2010: 97-106 - 2009
- [c23]Falko Bause, Peter Buchholz, Jan Kriege:
A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes. WSC 2009: 634-645 - [c22]Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. WSC 2009: 1015-1026 - 2008
- [c21]Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
Simulating process chain models with OMNeT++. SimuTools 2008: 19 - [c20]Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
A Framework for Simulation Models of Service-Oriented Architectures. SIPEW 2008: 208-227 - 2007
- [c19]Falko Bause, Jan Kriege:
Detecting non-ergodic simulation models of logistics networks. VALUETOOLS 2007: 64 - 2004
- [c18]Peter Buchholz, Falko Bause, Carsten Tepper:
The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) 2004: 328-334 - [c17]Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper:
Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138 - 2003
- [c16]Falko Bause:
On non-ergodic infinite-state stochastic Petri nets. PNPM 2003: 84-92 - [c15]Falko Bause, Mirko Eickhoff:
Simulation output analysis: truncation point estimation using multiple replications in parallel. WSC 2003: 414-421 - 2002
- [c14]Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker:
The ProC/B Toolset for the Modelling and Analysis of Process Chains. Computer Performance Evaluation / TOOLS 2002: 51-70 - 1998
- [c13]Falko Bause, Peter Buchholz, Peter Kemper:
A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359 - 1997
- [c12]Falko Bause:
Analysis of Petri Nets with a Dynamic Priority Method. ICATPN 1997: 215-234 - [c11]Falko Bause, Peter Buchholz, Peter Kemper:
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101 - [c10]Falko Bause, Peter Buchholz, Peter Kemper:
HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117 - [c9]Falko Bause, Peter Buchholz:
Aggregation and disaggregation in product form queueing Petri Nets. PNPM 1997: 16-25 - 1995
- [c8]Falko Bause, Peter Buchholz, Peter Kemper:
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238 - [c7]Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger:
SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282 - 1994
- [c6]Falko Bause, Peter Kemper:
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334 - 1993
- [c5]Falko Bause, Peter Buchholz:
Qualitative und Quantitative Analysis of Timed SDL Specifications. Kommunikation in Verteilten Systemen 1993: 486-500 - [c4]Falko Bause:
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems. PNPM 1993: 14-23 - 1992
- [c3]Peter Kemper, Falko Bause:
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. Application and Theory of Petri Nets 1992: 263-278 - 1990
- [c2]Falko Bause, Peter Buchholz:
Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254 - 1989
- [c1]Falko Bause, Heinz Beilner:
Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. MMB 1989: 190-204
Editorship
- 2008
- [e2]Falko Bause, Peter Buchholz:
Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany. VDE Verlag 2008, ISBN 978-3-8007-3090-2 [contents] - 1995
- [e1]Heinz Beilner, Falko Bause:
Quantitative Evaluation of Computing and Communication Systems, 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 977, Springer 1995, ISBN 3-540-60300-X [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
