François Hantry

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
i2		François Hantry, Lakhdar Saïs, Mohand-Said Hacid: On the Complexity of Computing Minimal Unsatisfiable LTL formulas. CoRR abs/1203.3706 (2012)
i1		Lakhdar Saïs, Mohand-Said Hacid, François Hantry: On the complexity of computing minimal unsatisfiable LTL formulas. Electronic Colloquium on Computational Complexity (ECCC) 19: 69 (2012)
	2011
c5		François Hantry, Mohand-Said Hacid, Romuald Thion: Detection of Conflicting Compliance Rules. EDOCW 2011: 419-428
c4		Yahia Chabane, François Hantry, Mohand-Said Hacid: Querying and Splitting Techniques for SBA: A Model Checking Based Approach. ISMIS Industrial Session 2011: 105-122
c3		François Hantry, Mohand-Said Hacid: Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages. FLACOS 2011: 39-53
	2010
c2		François Hantry, Mike P. Papazoglou, Willem-Jan van den Heuvel, Rafique Haque, Eoin Whelan, Noel Carroll, Dimka Karastoyanova, Frank Leymann, Christos Nikolaou, Winfried Lamersdorf, Mohand-Said Hacid: Business Process Management. S-CUBE Book 2010: 27-54
	2007
c1		Nicole Bidoit, François Hantry: Relational Temporal Machines. TIME 2007: 23-34

Coauthor Index

1	Nicole Bidoit (Nicole Bidoit-Tollu)	[c1]
2	Noel Carroll	[c2]
3	Yahia Chabane	[c4]
4	Mohand-Said Hacid	[i2] [i1] [c5] [c4] [c3] [c2]
5	Rafiqul Haque (Rafique Haque)	[c2]
6	Willem-Jan van den Heuvel	[c2]
7	Dimka Karastoyanova	[c2]
8	Winfried Lamersdorf	[c2]
9	Frank Leymann	[c2]
10	Christos Nikolaou	[c2]
11	Mike P. Papazoglou (Michael P. Papazoglou)	[c2]
12	Lakhdar Sais (Lakhdar Saïs)	[i2] [i1]
13	Romuald Thion	[c5]
14	Eoin Whelan	[c2]

Last update Thu May 23 19:01:57 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page