BibSonomy :: author  ::

bookmarks

publications

(52)

• Bob++: Framework for Solving Optimization Problems with Branch-and-Bound methods.
  A. Djerrah and Bertrand Le Cun and Van-Dat Cung and Catherine Roucairol HPDC 369-370 (2006)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX  
• On the Distribution of an Assertion.
  Osvaldo Carvalho and Gérard Roucairol PODC 121-131 (1982)
  to dblp by dblp on 2007-07-18 00:00:00
  | URL | BibTeX  
• Maximal Serialisability of Iterated Transactions
  M.P. Fle and G. Roucairol Theoretical Computer Science 38 1--16 (1985)
  to imported by charoy on 2007-06-19 16:03:11
  | BibTeX  
• Stepwise construction of non-sequential software systems using a net-based specification language.
  Bernd J. Krämer European Workshop on Applications and Theory in Petri Nets 307-330 (1984)
  to dblp by dblp on 2006-02-01 00:00:00
  | URL | BibTeX  
• The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.
  Jean-Loup Baer and Georges Gardarin and Claude Girault and Gérard Roucairol ICSE 363-373 (1981)
  to dblp by dblp on 2004-12-09 00:00:00
  | URL | BibTeX  
• Approximate and Exact Algorithms for Constrained (Un) Weighted Two-dimensional Two-staged Cutting Stock Problems.
  Mhand Hifi and Catherine Roucairol J. Comb. Optim. 5 465-494 (2001)
  to dblp by dblp on 2004-02-05 00:00:00
  | URL | BibTeX  
• A Fully Distributed (Minimal) Spanning Tree Algorithm.
  Ivan Lavallée and Gérard Roucairol Inf. Process. Lett. 23 55-62 (1986)
  to dblp by dblp on 2003-11-20 00:00:00
  | URL | BibTeX  
• Multiserialization of Iterated Transactions.
  Marie-Paule Flé and Gérard Roucairol Inf. Process. Lett. 18 243-247 (1984)
  to dblp by dblp on 2003-11-20 00:00:00
  | URL | BibTeX  
• Maximal Serializability of Iterated Transactions.
  Marie-Paule Flé and Gérard Roucairol Theor. Comput. Sci. 38 1-16 (1985)
  to dblp by dblp on 2003-11-19 00:00:00
  | URL | BibTeX  
• Performances of Parallel Branch and Bound Algorithms with Best-first Search.
  Bernard Mans and Catherine Roucairol Discrete Applied Mathematics 66 57-74 (1996)
  to dblp by dblp on 2003-05-26 00:00:00
  | URL | BibTeX