Vincent Poirriez - Citegraph

Author Info

Name	Affiliation	Papers
VINCENT POIRRIEZ	Université de Valenciennes, France	11
Collaborators	Citations	PageRank
19	89	7.64
Referers	Referees	References
205	183	115

Search Limit

100205

Publications (11 rows)

Collaborators (19 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Relaxing b sharing restrictions within CSP\|\|B	0	0.34	2012
A hybrid algorithm for the unbounded knapsack problem	12	0.96	2009
Optimal protein threading by cost-splitting	5	0.41	2005
BRILLANT: An Open Source and XML-based platform for Rigourous Software Development	2	0.40	2005
FROST: Revisited and Distributed	2	0.42	2005
Duration calculus: a real-time semantic for B	3	0.45	2004
Reuse of SML module system for the B language	0	0.34	2004
The B Method And The Component-Based Approach	3	0.43	2004
Optimal tiling for the RNA base pairing problem	8	0.61	2002
Unbounded knapsack problem: Dynamic programming revisited	54	2.95	2000
MLOG: a strongly typed confluent functional language with logical variables	0	0.34	1994

1