sign in · help · news · about ·

BibSonomy :: author :: Ireland ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(117)

<< < 1 | 2 | 3 > >>

The TSIMMIS Project: Integration of Heterogenous Information Sources
S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom Information Processing Society of Japan IPSJ 1994, (1994)
to Informationssysteme distributed_databases by markush on Jan 14, 2012, 7:51 PM
URL | BibTeX
The CORE system: Animation and functional correctness of pointer programs.
Ewen Maclean, Andrew Ireland, and Gudmund Grov ASE, page 588-591. IEEE, (2011)
to dblp by dblp on Dec 14, 2011, 12:00 AM
URL | BibTeX
The OBO Foundry: Coordinated Evolution of Ontologies to Support Biomedical Data Integration
Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzel, and Suzanna Lewis Nature Biotechnology 25(11):1251--1255 (November 2007)
by gergie and 1 other user on Dec 12, 2011, 7:00 PM
DOI | BibTeX
Mutation in Linked Data Structures.
Ewen Maclean, and Andrew Ireland ICFEM, volume 6991 of Lecture Notes in Computer Science, page 275-290. Springer, (2011)
to dblp by dblp on Oct 24, 2011, 12:00 AM
URL | BibTeX
Capturing motions and forces of the human masticatory system to replicate chewing and to perform dental wear experiments.
D. Raabe, A. Harrison, K. Alemzadeh, A. Ireland, and J. Sandy CBMS, page 1-6. IEEE, (2011)
to dblp by dblp on Aug 31, 2011, 12:00 AM
URL | BibTeX
Discovery of Invariants through Automated Theory Formation
Maria Teresa Llano, Andrew Ireland, and Alison Pease Refine, volume 55 of EPTCS, page 1-19. (2011)
to dblp by dblp on Aug 4, 2011, 12:00 AM
URL | BibTeX
Artists' books : a cataloguers' manual
Maria White, ARLIS/UK \& Ireland Cataloguing, and Classification Committee. ARLIS/UK \& Ireland, London, (2006)
to imported by aesop on Jul 8, 2011, 8:06 PM
BibTeX
An Integration of Program Analysis and Automated Theorem Proving.
Bill J. Ellis, and Andrew Ireland IFM, volume 2999 of Lecture Notes in Computer Science, page 67-86. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Invariant Patterns for Program Reasoning.
Andrew Ireland, Bill J. Ellis, and Tommy Ingulfsen MICAI, volume 2972 of Lecture Notes in Computer Science, page 190-201. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Rippling: A Heuristic for Guiding Inductive Proofs.
Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, and Alan Smaill Artif. Intell. 62(2):185-253 (1993)
to dblp by dblp and 1 other user on Jun 30, 2011, 12:00 AM
URL | BibTeX
On Exploiting the Structure of Martin-Löf's Theory of Types.
Andrew Ireland Comput. J. 36(4):387-298 (1993)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Invariant Discovery via Failed Proof Attempts.
Jamie Stark, and Andrew Ireland LOPSTR, volume 1559 of Lecture Notes in Computer Science, page 271-288. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Automatic Verification of Functions with Accumulating Parameters.
Andrew Ireland, and Alan Bundy J. Funct. Program. 9(2):225-245 (1999)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Interactive Proof Critics.
Andrew Ireland, Michael Jackson, and Gordon Reid Formal Asp. Comput. 11(3):302-325 (1999)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Productive Use of Failure in Inductive Proof.
Andrew Ireland J. Autom. Reasoning 16(1-2):79-111 (1996)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Proof planning for strategy development.
Andrew Ireland, and Jamie Stark Ann. Math. Artif. Intell. 29(1-4):65-97 (2000)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Guest Editorial.
Andrew Ireland, and Willem Visser Autom. Softw. Eng. 17(2):117-118 (2010)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Cross-product extensions of the Gene Ontology.
Christopher J. Mungall, Michael Bada, Tanya Z. Berardini, Jennifer I. Deegan, Amelia Ireland, Midori A. Harris, David P. Hill, and Jane Lomax Journal of Biomedical Informatics 44(1):80-86 (2011)
to dblp by dblp on Apr 7, 2011, 12:00 AM
URL | BibTeX
Persons, males and females aged 3 years and over in each Regional Authority Area, classified by ability to speak Irish
Central Statistics Office Ireland (2006)
to imported by yevb0 on Mar 27, 2011, 5:20 PM
BibTeX
Potential for British research into the transmutation of radioactive wastes and problematic nuclear materials.
W. J. Nuttall, D. G. Ireland, J. S. Al-Khalili, and W. Gelletly IJCIS 1(4):380-393 (2005)
to dblp by dblp on Feb 15, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100