sign in · help · news · about ·

BibSonomy :: author :: Allen ::

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

(4191)

<< < 1 | 2 | 3 > >>

Extracting Easily Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution .
Allen Van Gelder ISAIM, (2002)
to dblp by dblp and 1 other user on Feb 10, 2012, 12:00 AM
URL | BibTeX
Generalizations of Watched Literals for Backtracking Search.
Allen Van Gelder ISAIM, (2002)
to dblp by dblp and 1 other user on Feb 10, 2012, 12:00 AM
URL | BibTeX
Failure probability algorithm for test systems to reduce false alarms.
Don R. Allen ITC, page 648-656. IEEE Computer Society, (1990)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
Towards a logical form for descriptive metadata.
Karen M. Wickett, Richard J. Urban, and Allen H. Renear iConference, page 574-575. ACM, (2012)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
The effect of communication channel and visual awareness display on coordination in online tasks.
Lindsay Reynolds, Jeremy P. Birnholtz, and Allen Lee iConference, page 120-128. ACM, (2012)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
Verifying RUP Proofs of Propositional Unsatisfiability.
Allen Van Gelder ISAIM, (2008)
to dblp by dblp on Feb 9, 2012, 12:00 AM
URL | BibTeX
On the Self-similar Diffraction of a Weak Shock into an Expansion Wavefront.
John K. Hunter, and Allen M. Tesdall SIAM Journal of Applied Mathematics 72(1):124-143 (2012)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
A domain-specific modeling approach to realizing user-centric communication.
Yali Wu, Andrew A. Allen, Frank Hernandez, Robert B. France, and Peter J. Clarke Softw., Pract. Exper. 42(3):357-390 (2012)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Depot: Cloud Storage with Minimal Trust.
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, and Michael Walfish ACM Trans. Comput. Syst. 29(4):12 (2011)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Provenance for collaboration: Detecting suspicious behaviors and assessing trust in information.
M. David Allen, Adriane Chapman, Len Seligman, and Barbara T. Blaustein CollaborateCom, page 342-351. IEEE, (2011)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
IDDQ and AC Scan: The War Against Unmodelled Defects.
Peter C. Maxwell, Robert C. Aitken, Kathleen R. Kollitz, and Allen C. Brown ITC, page 250-258. IEEE Computer Society, (1996)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Design for Testability of a Modular, Mixed Signal Family of VLSI Devices.
Ed Flaherty, Andrew Allen, and John Morris ITC, page 797-804. IEEE Computer Society, (1993)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Stochastic Allocation and System Analysis.
Allen Klinger IEEE Trans. Systems Science and Cybernetics 5(3):207-214 (1969)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Every norm is not logarithmically convex.
Allen Klinger IEEE Trans. Systems Science and Cybernetics 5(3):250-251 (1969)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
An Application of Decision Theory to a Medical Diagnosis-Treatment Problem.
Allen S. Ginsberg, and Fred L. Offensend IEEE Trans. Systems Science and Cybernetics 4(3):355-362 (1968)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
A Generic Task-Farming Framework for Reservoir Analysis in a Grid Environment.
Santiago Peña, Dayong Huang, Zhou Lei, Gabrielle Allen, Xin Li, and Christopher D. White ICPP Workshops, page 426-434. IEEE Computer Society, (2006)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
ResGrid: A Grid-aware Toolkit for Reservoir Uncertainty Analysis.
Zhou Lei, Dayong Huang, Archit Kulshrestha, Santiago Peña, Gabrielle Allen, Xin Li, Christopher D. White, Richard Duff, John R. Smith, and Subhash Kalla CCGRID, page 249-252. IEEE Computer Society, (2006)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Multiscale 3D shape representation and segmentation with applications to hippocampal/caudate extraction from brain MRI.
Yi Gao, Benjamin Corn, Dan Schifter, and Allen Tannenbaum Medical Image Analysis 16(2):374-385 (2012)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Characterizing mechanical performance of Board Level Interconnects for In-Circuit Test.
Rosa D. Reinosa, Aileen Allen, Elizabeth Benedetto, and Alan Mcallister ITC, page 495-505. IEEE, (2010)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Software as a service for data scientists.
Bryce Allen, John Bresnahan, Lisa Childers, Ian T. Foster, Gopi Kandaswamy, Rajkumar Kettimuthu, Jack Kordas, Mike Link, Stuart Martin, Karl Pickett, and Steven Tuecke Commun. ACM 55(2):81-88 (2012)
to dblp by dblp on Feb 3, 2012, 12:00 AM
URL | BibTeX

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