| 2022 | ICTAI | Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets. | Claudiney R. Tinoco, Leiliane Pereira de Rezende, Stphane Julia, Gina M. B. Oliveira |
| 2016 | ICTAI | Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. | Lgia Maria Soares Passos, Stphane Julia |
| 2014 | ICTAI | Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. | Lgia Maria Soares Passos, Stphane Julia |
| 2013 | IRI | Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. | Luciane de Fatima Silva, Lgia Maria Soares Passos, Michel dos Santos Soares, Stphane Julia |
| 2013 | ICTAI | Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. | Lgia Maria Soares Passos, Stphane Julia |
| 2012 | SMC | Possibilistic WorkFlow nets to deal with non-conformance in process execution. | Leiliane Pereira de Rezende, Stphane Julia, Janette Cardoso |
| 2011 | SMC | Game modeling using WorkFlow nets. | Guilherme Willian de Oliveira, Stphane Julia, Lgia Maria Soares Passos |
| 2009 | SMC | Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. | Lgia Maria Soares Passos, Stphane Julia |
| 2007 | SMC | Modelling biological processes using differential predicate transition Petri nets. | Michele Nasu Tomiyama, Stphane Julia |
| 2006 | IRI | Fuzzy continuous resource allocation mechanisms in workflow management systems. | Joslaine Cristina Jeske de Freitas, Stphane Julia, Robert Valette |
| 2004 | SMC | A p-time hybrid Petri net model for the scheduling problem of workflow management systems. | Stphane Julia, Fernanda Francielle de Oliveira |
| 2000 | SMC | Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism. | Stphane Julia, Clarimundo Machado M. Jior |
| 1998 | SMC | Scheduling batch systems using a token player algorithm. | Stphane Julia, Robert Valette, Jos M. Fernandes |