Search for persons
X
?
Enterprise Information Systems; Lecture Notes in Business Information Processing ,
1
Resource Planning in Workflow Nets Based on a Symbolic Time..:
, In:
?
Advances in Intelligent Systems and Computing; ITNG 2023 20th International Conference on Information Technology-New Generations ,
2
Simulation and Comparison of Different Scenarios of a Workf..:
, In:
?
2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI) ,
3
Swarm robotics coordination dynamics modelled and formalise..:
, In:
?
Proceedings of the XXXIV Brazilian Symposium on Software Engineering ,
4
A Possibilistic Simulation Model for Multiplayer Game Scena..:
, In:
?
16th International Conference on Information Technology-New Generations (ITNG 2019); Advances in Intelligent Systems and Computing ,
5
Using Symbolic Dates of the Linear Logic to Verify Performa..:
, In:
?
Proceedings of the 31st Brazilian Symposium on Software Engineering ,
6
Modeling of Video Games Using Workflow Nets and State Graph:
, In:
?
Advances in Intelligent Systems and Computing; Information Technology - New Generations ,
7
A Synchronization Rule Based on Linear Logic for Deadlock P..:
, In:
?
Advances in Intelligent Systems and Computing; Information Technology - New Generations ,
8
A New Approach to Evaluate the Complexity Function of Algor..:
, In:
?
Advances in Intelligent Systems and Computing; Information Technology - New Generations ,
9
Requirement Verification in SOA Models Based on Interorgani..:
, In:
?
2015 12th International Conference on Information Technology - New Generations ,
10
Fuzzy Time Constraint Propagation Mechanism for Workflow Ne..:
, In:
?
2015 12th International Conference on Information Technology - New Generations ,
11
Modeling Recursive Search Algorithms by Means of Hierarchic..:
, In:
?
2015 12th International Conference on Information Technology - New Generations ,
12
Deadlock-Freeness Scenarios Detection in Web Service Compos..:
, In:
?
2014 IEEE 26th International Conference on Tools with Artificial Intelligence ,
13
Linear Logic as a Tool for Deadlock-Freeness Scenarios Dete..:
, In:
?
2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC) ,
14