Search

Your search keyword '"Lohmann N"' showing total 79 results

Search Constraints

Start Over You searched for: Author "Lohmann N" Remove constraint Author: "Lohmann N"
79 results on '"Lohmann N"'

Search Results

1. Raw Report on the Model Checking Contest at Petri Nets 2012

3. Automatic extraction of process categories from process model collections

4. Discovering stochastic Petri nets with arbitrary delay distributions from event logs

5. Discovering and navigating a collection of process models using multiple quality dimensions

6. Conformance checking of services using the best matching private view

7. Diagnosing and repairing data anomalies in process models

8. Automatic test case generation for interacting services

9. Another approach to service instance migration

10. Why does my service have no partners?

11. Petri net transformations for business processes : a survey

12. Report : The Process Model Matching Contest 2013

13. Supporting domain experts to select and configure precise compliance rules

14. Report : business process intelligence challenge 2013

15. Where did I go wrong? : explaining errors in business process models

16. Discovering block-structured process models from event logs containing infrequent behaviour

17. Synthesizing object-centric models from business process models

18. Supporting blended workflows

19. Information flow security for business process models - just one click away

20. Detecting approximate clones in process model repositories with Apromore

21. Ensuring correctness during process configuration via partner synthesis

22. Realizability is controllability

23. Wendy: A tool to synthesize partners for services

24. Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis

25. Communication models for services

26. How to Implement a Theory of Correctness in the Area of Business Processes and Services

27. Discovering block-structured process models from event logs containing infrequent behaviour

28. A finite representation of all substitutable services and its applications

29. Does my service have unspecified behavior?

30. Realizability is controllability

31. Instantaneous soundness checking of industrial business process models

32. From public views to private views: correctness-by-design for services

33. An approach to tackle livelock-freedom in SOA

34. Weak conformance of process models with respect to data objects

35. Supporting blended workflows

36. Detecting approximate clones in process model repositories with Apromore

37. Correctness of services and their composition

38. Petrifying operating guidelines for services

45. Search for a non-standard-model Higgs boson decaying to a pair of new light bosons in four-muon final states

46. Dioxin-like POPs in national samples from global monitoring plan projects (2017-2019).

47. Changes and Challenges in Inpatient Mental Health Care During the First Two High Incidence Phases of the COVID-19 Pandemic in Germany - Results From the COVID Ψ Psychiatry Survey.

48. Metal-free oxoammonium salt-mediated C(sp 3 )-H oxidative Ugi-azide multicomponent reaction.

49. Tissue concentrations of per- and polyfluoroalkyl substances (PFAS) in German freshwater fish: Derivation of fillet-to-whole fish conversion factors and assessment of potential risks.

50. Long-term trends of airborne halogenated flame retardants (HFRs) by means of tree leaf and shoot analyses.

Catalog

Books, media, physical & digital resources