BibSonomy :: author  :: Kaminski ::

bookmarks

publications

(134)

• A Note on k-Colorability of P5-Free Graphs.
  Chính T. Hoàng and Marcin Kaminski and Vadim V. Lozin and Joe Sawada and Xiao Shu MFCS 387-394 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Deciding k-colourability of P_5-free graphs in polynomial time
  Chính T. Hoàng and Marcin Kaminski and Vadim V. Lozin and Joe Sawada and Xiao Shu CoRR abs/cs/0702043 (2007)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning.
  Ariel Cohen and Michael Kaminski and Johann A. Makowsky Journal of Logic, Language and Information 17 285-306 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system.
  Bruce Wile and Michael P. Mullen and Cara Hanson and Dean G. Bair and Kevin M. Lasko and Patrick J. Duffy and Edward J. Kaminski Jr. and Thomas E. Gilbert and Steven M. Licker and Robert G. Sheldon and William D. Wollyung and William J. Lewis and Robert J. Adkins IBM Journal of Research and Development 41 549-566 (1997)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• SimAPI - A common programming interface for simulation.
  Gary G. Hallock and Edward J. Kaminski Jr. and Kevin M. Lasko and Michael P. Mullen IBM Journal of Research and Development 41 601-610 (1997)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• First-Order Ground Non-Monotonic Modal Logic.
  Benjamin Grimberg and Michael Kaminski Fundam. Inform. 83 253-276 (2008)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Invariance Under Stuttering in a Temporal Logic without the "Until" Operator.
  Michael Kaminski Fundam. Inform. 82 127-140 (2008)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Alignment and classification of time series gene expression in clinical studies.
  Tien ho Lin and Naftali Kaminski and Ziv Bar-Joseph ISMB 147-155 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Conjunctive Grammars and Alternating Pushdown Automata.
  Tamar Aizikowitz and Michael Kaminski WoLLIC 44-55 (2008)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• Self-Organised Criticality as a Function of Connections' Number in the Model of the Rat Somatosensory Cortex.
  Grzegorz M. Wojcik and Wieslaw A. Kaminski ICCS (1) 620-629 (2008)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX