Treffer 1 - 20 von 3.105

1

Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
Delzanno, Giorgio ; Stückrath, Jan

Computer Science - Logic...
Report
Merkliste
2

A Colored Petri Net Executable Modeling Approach for a Data Flow Well-Structured BPMN Process Model
Huang, F. ; Ni, F. ; Liu, J. ; et al.
IEEE Access Access, IEEE. 10:86696-86709 2022

Fachzeitschrift
Merkliste
3

Dieses Ergebnis kann Gästen nicht angezeigt werden.

4

Model-based systems engineering for business process management: Leveraging ARCADIA for production system design.
Sullivan, Brendan P. ; Arias-Nava, Elias H. ; Premprakash Patel, Kirtan
International Journal of Engineering Business Management. 11/26/2025, Vol. 17, p1-17. 17p.

Fachzeitschrift
Merkliste
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Infinite-state graph transformation systems under adverse conditions.
Özkan, Okan
IT: Information Technology; 2021, Vol. 63 Issue 5/6, p311-320, 10p

PETRI nets CHARTS, diagrams, etc. COMPUTER logic
Fachzeitschrift
Merkliste
8

Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.
Joshi, Salil ; König, Barbara
Computer Aided Verification (9783540705437); 2008, p214-226, 13p

Buch
Merkliste
9

A Social Group Chatbot System by Multiple Topics Tracking and Atkinson‐Shiffrin Memory Model Using AI Agents Collaboration.
Zhang, Guoshuai ; Wu, Jiaji ; Jeon, Gwanggil ; et al.
Expert Systems. Feb2025, Vol. 42 Issue 2, p1-14. 14p.

Fachzeitschrift
Merkliste
10

Verification of Well-Structured Graph Transformation Systems
Stückrath, Jan ; König, Barbara ; King, Barbara

Merkliste
11

Theory Research in India: 2019–2022.
AISWARYA, C. ; ARVIND, V. ; SAURABH, SAKET
Communications of the ACM. Nov2022, Vol. 65 Issue 11, p88-93. 6p. 1 Color Photograph, 1 Diagram.

Zeitschrift
Merkliste
12

A General Framework for Well-Structured Graph Transformation Systems.
König, Barbara ; Stückrath, Jan
CONCUR 2014 - Concurrency Theory; 2014, p467-481, 15p

Buch
Merkliste
13

Social Commerce and SME Competitiveness in the Fashion Industry: Insights from an Emerging Market.
GUNAWAN, Hery ; LISTIYANI, Paulina Mego
Management Dynamics in the Knowledge Economy. 2025, Vol. 13 Issue 3, p283-300. 18p.

Fachzeitschrift
Merkliste
14

POST-PANDEMIC COMPANIES AND CUSTOMERS' DIGITAL READINESS: A DIAGNOSTIC ANALYSIS BASED ON THE MARKETING 5.0 APPROACH.
da Costa Nogami, Vitor Koki ; Borges Senra, Karin
Internext: Revista Electrônica de Negócios Internacionais da ESPM. 2025, Vol. 20 Issue 3, p1-18. 18p.

Fachzeitschrift
Merkliste
15

Robotic Process Automation and Enterprise Systems: Toward Cost Efficiency.
Wang, Yunsen ; Huang, Feiqi ; Chiu, Tiffany
Journal of Emerging Technologies in Accounting. Spring2025, Vol. 22 Issue 1, p119-136. 18p.

Fachzeitschrift
Merkliste
16

Evaluating the disclosure of impacts, risks, and opportunities in sustainability reports published by Brazilian companies: a multicriteria decision analysis.
Silva, Paulo Henrique da ; Sigahi, Tiago F. A. C. ; Rampasso, Izabela Simon ; et al.
Cogent Business & Management. Dec2025, Vol. 12 Issue 1, p1-24. 24p.

Fachzeitschrift
Merkliste
17

Advancement in medical report generation: current practices, challenges, and future directions.
Rehman, Marwareed ; Shafi, Imran ; Ahmad, Jamil ; et al.
Medical & Biological Engineering & Computing. May2025, Vol. 63 Issue 5, p1249-1270. 22p.

Fachzeitschrift
Merkliste
18

Can ChatGPT Perform a Grounded Theory Approach to Do Risk Analysis? An Empirical Study.
Zhou, Yaxian ; Yuan, Yufei ; Huang, Kai ; et al.
Journal of Management Information Systems. 2024, Vol. 41 Issue 4, p982-1015. 34p.

Fachzeitschrift
Merkliste
19

Parameterized verification of graph transformation systems withwhole neighbourhood operations
Delzanno, Giorgio ; Stückrath, Jan ; Delzanno, Giorgio* ; et al.

Theoretical Computer Sci... Computer Science (all)
Konferenz
Merkliste
20

Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.
Stückrath, Jan
Graph Transformation (9783319211442); 2015, p266-274, 9p

Buch
Merkliste

Filter