BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Portugal
2 × Spain
Collaborated with:
L.P.d.Rezende J.C.J.d.Freitas L.M.S.Passos J.Cardoso F.M.Barreto M.S.Soares
Talks about:
net (4) interorganiz (3) workflow (3) possibilist (2) process (2) use (2) straightforward (1) introduct (1) recoveri (1) deadlock (1)

Person: Stéphane Julia

DBLP DBLP: Julia:St=eacute=phane

Contributed to:

ICEIS v1 20152015
ICEIS v3 20152015
ICEIS v1 20142014
ICEIS v2 20142014

Wrote 5 papers:

ICEIS-v1-2015-FreitasJR #fuzzy #resource management #workflow
Fuzzy Resource Allocation Mechanisms in Workflow Nets (JCJdF, SJ, LPdR), pp. 471–478.
ICEIS-v1-2015-RezendeJ #concurrent #process #using #workflow
Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net (LPdR, SJ), pp. 429–439.
ICEIS-v3-2015-PassosJ #process #verification #workflow
Relaxed Soundness Verification for Interorganizational Workflow Processes (LMSP, SJ), pp. 221–228.
ICEIS-v1-2014-RezendeJC #communication #problem #workflow
Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures (LPdR, SJ, JC), pp. 432–439.
ICEIS-v2-2014-BarretoFSJ #formal method #petri net #using
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.