BibSonomy :: author  ::

bookmarks

publications

(199)

• Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition.
  Frédéric Loulergue and Radia Benheddi and Frédéric Gava and D. Louis-Régis CSR 475-486 (2006)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Foreword.
  Sergei N. Artëmov and Volker Diekert and Dima Grigoriev Theory Comput. Syst. 43 99 (2008)
  to dblp by dblp on 2008-08-08 00:00:00
  | URL | BibTeX  
• Loewy decomposition of third-order linear aPDE's in the plane.
  Dima Grigoriev and Fritz Schwarz ISSAC 277-286 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Treewidth Lower Bounds with Brambles.
  Hans L. Bodlaender and Alexander Grigoriev and Arie M. C. A. Koster Algorithmica 51 81-98 (2008)
  to dblp by dblp on 2008-05-23 00:00:00
  | URL | BibTeX  
• Zero-knowledge authentication schemes from actions on graphs, groups, or rings
  Dima Grigoriev and Vladimir Shpilrain CoRR abs/0802.1661 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• Sea Anemone Genome Reveals Ancestral Eumetazoan Gene Repertoire and Genomic Organization
  Nicholas H. Putnam and Mansi Srivastava and Uffe Hellsten and Bill Dirks and Jarrod Chapman and Asaf Salamov and Astrid Terry and Harris Shapiro and Erika Lindquist and Vladimir V. Kapitonov and Jerzy Jurka and Grigory Genikhovich and Igor V. Grigoriev and Susan M. Lucas and Robert E. Steele and John R. Finnerty and Ulrich Technau and Mark Q. Martindale and Daniel S. Rokhsar Science 317 86-94 (2007)
  to genome imported nematostella by nik on 2008-02-24 05:30:02
  | URL | BibTeX  
• A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.
  Alexander Bolotov and Oleg Grigoriev and Vasilyi Shangin IICAI 1253-1266 (2007)
  to dblp by dblp on 2008-02-19 00:00:00
  | URL | BibTeX  
• Model for synchronizer of marked pairs in fork-join network
  S. V. Vyshenski and P. V. Grigoriev and Yu. Yu. Dubenskaya CoRR abs/0801.2092 (2008)
  to dblp by dblp on 2008-02-01 00:00:00
  | URL | BibTeX  
• Ideal synchronizer for marked pairs in fork-join network
  S. V. Vyshenski and P. V. Grigoriev and Yu. Yu. Dubenskaya CoRR abs/0801.1784 (2008)
  to dblp by dblp on 2008-02-01 00:00:00
  | URL | BibTeX  
• Constructions in public-key cryptography over matrix groups
  Dimitri Grigoriev and Ilia V. Ponomarenko CoRR abs/math/0506180 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX