Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(14)
Christian Stahl
6
Niels Lohmann
5
Peter Massuthe
5
Wolfgang Reisig
2
Dirk Fahland
2
Conferences
(4)
USENIX
1
Algorithmen und Werkzeuge für Petrinetze
1
ISOLA
1
WSFM
1
Journals
(3)
DKE
1
FUIN
1
ACM Sigsoft Software Engineering Notes
1
Keywords
(33)
Embed
Subscribe
Academic
Authors
Daniela Weinberg
Daniela Weinberg,Humboldt University of Berlin,Algorithms & Theory,Software Engineering,Operating Systems
Edit
Daniela Weinberg
Humboldt University of Berlin
Publications:
14
|
Citations:
135
Fields:
Algorithms & Theory
,
Software Engineering
,
Operating Systems
View FAQ about top research areas and Fields of study
Collaborated with
14 co-authors
from 1995 to 2011
|
Cited by
200 authors
Cumulative
Annual
Sort by:
Publications
(14)
BibTeX
|
RIS
|
RefWorks
Download
Guaranteeing weak termination in service discovery
K Wolf
,
C Stahl
,
D Weinberg
,
J Ott
,
R Danitz
Journal:
Fundamenta Informaticae - FUIN
, vol. 108, 2011
Wendy: A Tool to Synthesize Partners for Services
(
Citations: 3
)
Niels Lohmann
,
Daniela Weinberg
Published in 2010.
Creating a message profile for open nets
Jan Sürmeli
,
Daniela Weinberg
Published in 2009.
Analyzing interacting WS-BPEL processes using flexible model generation
(
Citations: 45
)
Niels Lohmann
,
Peter Massuthe
,
Christian Stahl
,
Daniela Weinberg
Journal:
Data & Knowledge Engineering - DKE
, vol. 64, no. 1, pp. 38-54, 2008
Fiona: A Tool to Analyze Interacting Open Nets
(
Citations: 2
)
Peter Massuthe
,
Daniela Weinberg
Conference:
Algorithmen und Werkzeuge für Petrinetze
, pp. 99-104, 2008
Sort by:
Citations
(135 times by 119 publications)
Soundness of Workflow Nets: Classification, Decidability, and Analysis
(
Citations: 11
)
Wil M. P. van der Aalst
,
Kees M. van Hee
,
Arthur H. M. ter Hofstede
,
Natalia Sidorova
,
H. M. W. Verbeek
,
Marc Voorhoeve
,
Moe Thandar Wynn
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 3, pp. 333-363, 2011
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
(
Citations: 1
)
Kais Klai
,
Samir Tata
,
Jörg Desel
Journal:
Data & Knowledge Engineering - DKE
, vol. 70, no. 5, pp. 467-482, 2011
Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check
Jacob Palczynski
,
Carsten Weise
,
Stefan Kowalewski
,
Daniel Ulmer
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs
Yitao Ni
,
Lu Zhang
,
Zhongjie Li
,
Tao Xie
,
Hong Mei
Conference:
IEEE International Conference on Services Computing - IEEESCC
, 2011
SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems
Rafael Accorsi
,
Claus Wonnemann
,
Sebastian Dochow
Conference:
Availability, Reliability and Security - IEEEARES
, 2011
Comments