sign in · help · news · about ·

BibSonomy :: author :: Spiro ::

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

(79)

<< < 1 | 2 | 3 > >>

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses
Soumitra Bose, Edmund M. Clarke, David E. Long, and Spiro Michaylov LICS, page 80-89. IEEE Computer Society, (1989)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
The h-Index of a Graph and its Application to Dynamic Subgraph Statistics
David Eppstein, and Emma S. Spiro CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Meta-Programming in CLPR.
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, and Roland H. C. Yap J. Log. Program. 33(3):221-259 (1997)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Pose-Sensitive Embedding by Nonlinear NCA Regression.
Graham W. Taylor, Rob Fergus, George Williams, Ian Spiro, and Christoph Bregler NIPS, page 2280-2288. Curran Associates, Inc., (2010)
to dblp by dblp on Nov 14, 2011, 12:00 AM
URL | BibTeX
16-Channel-Analyser for Parallel IEEE 802.15.4 Monitoring.
Marko Krätzig, Lutz Rauchhaupt, André Schimschar, and Spiro Trikaliotis ETFA, page 1-4. IEEE, (2009)
to dblp by dblp on Nov 12, 2011, 12:00 AM
URL | BibTeX
Mapping WirelessHART into PROFINET and PROFIBUS Fieldbusses.
Spiro Trikaliotis, and André Gnad ETFA, page 1-4. IEEE, (2009)
to dblp by dblp on Nov 12, 2011, 12:00 AM
URL | BibTeX
Learning invariance through imitation.
Graham W. Taylor, Ian Spiro, Christoph Bregler, and Rob Fergus CVPR, page 2729-2736. IEEE, (2011)
to dblp by dblp on Aug 23, 2011, 12:00 AM
URL | BibTeX
Inactivation of the FNR protein of Escherichia coli by targeted mutagenesis in the N-terminal region
S. Spiro, and J. R. Guest Molecular Microbiology 2(6):701-707 (1988)
to ecoli by lantiq on Jul 14, 2011, 3:59 PM
BibTeX
Repeated Redundant Inequalities in Constraint Logic Programming.
Spiro Michaylov Inf. Comput. 142(1):26-39 (1998)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Combining Grammar-Based and Memory-Based Models of Perception of Time Signature and Phase.
Neta Spiro ICMAI, volume 2445 of Lecture Notes in Computer Science, page 183-194. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Utilizing a Fault-Tolerance Protocol for Colocating Interfering Cells in a Wireless Network.
Spiro Trikaliotis, and Jörg Diederich 0002 ARCS Workshops, volume 81 of LNI, page 106-115. GI, (2006)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Utilizing Fault Tolerance for Achieving QoS in Ad-hoc Networks.
Spiro Trikaliotis ARCS Workshops, volume 41 of LNI, page 66-75. GI, (2004)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.
Soumitra Bose, Edmund M. Clarke, David E. Long, and Spiro Michaylov J. Autom. Reasoning 8(2):153-181 (1992)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
CLPR and Some Electrical Engineering Problems.
Nevin Heintze, Spiro Michaylov, and Peter J. Stuckey J. Autom. Reasoning 9(2):231-260 (1992)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Computer-aided project management - a visual scheduling and management system.
Spiro N. Pollalis Vieweg, (1993)
to dblp by dblp on Apr 29, 2011, 12:00 AM
BibTeX
VIGOR, an annotation program for small viral genomes.
Shiliang Wang, Jaideep P. Sundaram, and David Spiro BMC Bioinformatics (2010)
to dblp by dblp on Nov 17, 2010, 12:00 AM
URL | BibTeX
Cognitive Flexibility, Constructivism, and Hypertext. Random Access Instruction for Advanced Knowledge Acquisition in Ill-Structured Domains
Rand Spiro, Paul Feltovich, Michael Jacobson, and Richard Coulson Educational Technology (Mai 1991)
to imported by antje on Aug 17, 2010, 10:41 AM
URL | BibTeX
Compiling the Polymorphic Lambda-Calculus.
Spiro Michaylov, and Frank Pfenning PEPM, page 285-296. (1991)
to dblp by dblp on Jan 10, 2010, 12:00 AM
URL | BibTeX
An Abstract Machine for CLPR.
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, and Roland H. C. Yap PLDI, page 128-139. (1992)
to dblp by dblp on Jan 10, 2010, 12:00 AM
URL | BibTeX
A Methodology for Managing Hard Constraints in CLP Systems.
Joxan Jaffar, Spiro Michaylov, and Roland H. C. Yap PLDI, page 306-316. (1991)
to dblp by dblp on Jan 10, 2010, 12:00 AM
URL | BibTeX

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