BibSonomy ::  author :: Gough ::

bookmarks

publications

• Bottom-up Tree Rewriting Tool MBURG.
  K. John Gough SIGPLAN Notices31(1):28-31(1996)
  to dblp by dblp on Jan 9, 2010, 12:00 AM
  URL | BibTeX | spam 
• NONLINEAR BEHAVIOR OF SOLAR GRAVITY MODES DRIVEN BY HE-3 IN THE CORE .2. NUMERICAL SIMULATIONS
  W. J. MERRYFIELD and J. TOOMRE and D. GOUGH ASTROPHYSICAL JOURNAL367(2):658--665(1991)
  to CONVECTION; NON-RADIAL OSCILLATIONS; STABILITY STAR; by svance on Nov 3, 2009, 8:21 PM
  BibTeX | spam 
• METATEM: A Framework for Programming in Temporal Logic.
  Howard Barringer and Michael Fisher and Dov M. Gabbay and Graham Gough and Richard Owens REX Workshop, volume 430 of Lecture Notes in Computer Science, page 94-129. Springer, (1989)
  to dblp by dblp on Oct 8, 2009, 12:00 AM
  URL | BibTeX | spam 
• Fair SMG and Linear Time Model Checking.
  Howard Barringer and Michael Fisher and Graham Gough Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 133-150. Springer, (1989)
  to dblp by dblp on Oct 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• Type Test Elimination Using Typeflow Analysis.
  Diane Corney and K. John Gough Programming Languages and System Architectures, volume 782 of Lecture Notes in Computer Science, page 137-150. Springer, (1994)
  to dblp by dblp on Sep 29, 2009, 12:00 AM
  URL | BibTeX | spam 
• A Semantics Driven Temporal Verification System.
  Graham Gough and Howard Barringer ESOP, volume 300 of Lecture Notes in Computer Science, page 21-33. Springer, (1988)
  to dblp by dblp on Sep 20, 2009, 12:00 AM
  URL | BibTeX | spam 
• Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications.
  Friedemann Bitsch and Ulrich Feucht and Huw Gough SAFECOMP, volume 5775 of Lecture Notes in Computer Science, page 32-45. Springer, (2009)
  to dblp by dblp on Sep 6, 2009, 12:00 AM
  URL | BibTeX | spam 
• SUPERFAMILY - sophisticated comparative genomics, data mining, visualization and phylogeny.
  Derek Wilson and Ralph Pethica and Yiduo Zhou and Charles Talbot and Christine Vogel and Martin Madera and Cyrus Chothia and Julian Gough Nucleic Acids Research37(Database-Issue):380-386(2009)
  to dblp by dblp on Aug 26, 2009, 12:00 AM
  URL | BibTeX | spam 
• InterPro: the integrative protein signature database.
  Sarah Hunter and Rolf Apweiler and Teresa K. Attwood and Amos Bairoch and Alex Bateman and David Binns and Peer Bork and Ujjwal Das and Louise Daugherty and Lauranne Duquenne and Robert D. Finn and Julian Gough and Daniel H. Haft and Nicolas Hulo and Daniel Kahn and Elizabeth Kelly and Aurélie Laugraud and Ivica Letunic and David Lonsdale and Rodrigo Lopez and Martin Madera and John Maslen and Craig McAnulla and Jennifer McDowall and Jaina Mistry and Alex Mitchell and Nicola Mulder and Darren A. Natale and Christine A. Orengo and Antony F. Quinn and Jeremy D. Selengut and Christian J. A. Sigrist and Manjula Thimma and Paul D. Thomas and Franck Valentin and Derek Wilson and Cathy H. Wu and Corin Yeats Nucleic Acids Research37(Database-Issue):211-215(2009)
  to dblp by dblp on Aug 26, 2009, 12:00 AM
  URL | BibTeX | spam 
• VarySysDB: a human genetic polymorphism database based on all H-InvDB transcripts.
  Makoto K. Shimada and Ryuzou Matsumoto and Yosuke Hayakawa and Ryoko Sanbonmatsu and Craig Gough and Yumi Yamaguchi-Kabata and Chisato Yamasaki and Tadashi Imanishi and Takashi Gojobori Nucleic Acids Research37(Database-Issue):810-815(2009)
  to dblp by dblp on Aug 26, 2009, 12:00 AM
  URL | BibTeX | spam 
• The political economy of the welfare state
  Ian Gough Critical texts in social work and the welfare state Macmillan, London u.a., (1979)
  to imported by fbw_hannover on Aug 21, 2009, 10:31 AM
  URL | BibTeX | spam 
• Fundamentals of managerial economics
  Julian Gough and Stephen Hill Macmillan, London, (1979)
  to imported by fbw_hannover on Aug 21, 2009, 9:46 AM
  URL | BibTeX | spam 
• Stacking them up: a Comparison of Virtual Machines
  K. John Gough Aust. Comput. Sci. Commun.23(4):55--61(2001)
  to CLI JVM VM comparison by gron on Aug 11, 2009, 9:10 PM
  URL | BibTeX | spam 
• GNU Scientific Library Reference Manual
  M. Galassi and J. Davies and J. Theiler and B. Gough and G. Jungman and P. Alken and M. Booth and F. Rossi Network Theory Ltd., Third edition, (2009)
  to software by ebo on Aug 2, 2009, 7:42 PM
  URL | BibTeX | spam 
• Quantum behaviors and networks.
  Matthew R. James and John Edward Gough CDC, page 4552-4557. IEEE, (2008)
  to dblp by dblp on Jul 12, 2009, 12:00 AM
  URL | BibTeX | spam 
• Proteome discovery pipeline for mass spectrometry-based proteomics.
  Erik S. Gough and Cheolhwan Oh and Jing He and Catherine P. Riley and Charles R. Buck and Xiang Zhang BMC Bioinformatics(2008)
  to dblp by dblp on Jul 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• Instrumenting AMS assertion verification on commercial platforms.
  Rajdeep Mukhopadhyay and S. K. Panda and Pallab Dasgupta and John Gough ACM Trans. Design Autom. Electr. Syst.(2009)
  to dblp by dblp on Apr 14, 2009, 12:00 AM
  URL | BibTeX | spam 
• Improving Reconfigurable Systems Reliability by Combining Periodical Test and Redundancy Techniques: A Case Study.
  Eduardo Augusto Bezerra and Fabian Vargas and Michael Paul Gough J. Electronic Testing17(2):163-174(2001)
  to dblp by dblp on Mar 22, 2009, 12:00 AM
  URL | BibTeX | spam 
• Laboratories in school: Material places, mythic spaces
  N. Gough American Educational Research Association, (1992)
  to file-import-09-02-13 by clachapelle on Feb 24, 2009, 7:22 PM
  BibTeX | spam 
• Environmental education as a challenge to science education in schools
  A. G. Gough American Educational Research Association, (1992)
  to file-import-09-02-13 by clachapelle on Feb 24, 2009, 7:22 PM
  BibTeX | spam