sign in · help · news · about ·

BibSonomy :: author :: Cherniavsky ::

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

(39)

<< < 1 | 2 > >>

Inductive Inference: An Abstract Approach.
John C. Cherniavsky, Mahendran Velauthapillai, and Richard Statman COLT, page 251-266. ACM/MIT, (1988)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
The Learning Grid.
John C. Cherniavsky, and Eric Hamilton CSCL, page 733-734. International Society of the Learning Sciences, (2002)
to dblp by dblp on Dec 14, 2011, 12:00 AM
URL | BibTeX
Validation, Verification, and Testing of Computer Software.
W. Richards Adrion, Martha A. Branstad, and John C. Cherniavsky ACM Comput. Surv. 14(2):159-192 (1982)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Recursion Theoretic Approach to Program Testing.
John C. Cherniavsky, and Carl H. Smith IEEE Trans. Software Eng. 13(7):777-784 (1987)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
On Weyuker's Axioms For Software Complexity Measures.
John C. Cherniavsky, and Carl H. Smith IEEE Trans. Software Eng. 17(6):636-638 (1991)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
The Complexity of Some Non-Classical Logics
John C. Cherniavsky SWAT FOCS, page 209-213. IEEE Computer Society, (1973)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Representing Program Schemes in Logic
John C. Cherniavsky, and Robert L. Constable SWAT FOCS, page 27-39. IEEE Computer Society, (1972)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
On involutions of the Symmetric Group and Congruence B-orbits of Anti-Symmetric Matrices.
Yonah Cherniavsky IJAC 21(5):841-856 (2011)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
On algorithmic natural language analysis and understanding.
V. Cherniavsky Inf. Syst. 3(1):5-10 (1978)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
On limitations of artificial intelligence.
Vladimir S. Cherniavsky Inf. Syst. 5(2):121-126 (1980)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
On database systems viewed as programming languages.
V. Cherniavsky, and H.-J. Schneider Inf. Syst. 3(3):217-225 (1978)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Fatal Defect: Chasing Killer Computer Bugs, by Peterson. Computer-Related Risks, by Neumann. Safeware: System Safety and Computers, by Leveson.
John C. Cherniavsky Inf. Soc. (1996)
to dblp by dblp on Aug 16, 2011, 12:00 AM
URL | BibTeX
On Finding Test Data Sets for Loop Free Programs.
John C. Cherniavsky Inf. Process. Lett. 8(2):106-107 (1979)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A Note Concerning Top Down Program Development and Restricted Exit Control Structures.
John C. Cherniavsky, John Keohane, and Peter B. Henderson Inf. Process. Lett. 9(1):8-12 (1979)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A Program for Timetable Compilation by a Look-Ahead Method.
A. L. Cherniavsky Artif. Intell. 3(1-3):61-76 (1972)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Editorial - A Survey of Research Questions for Intelligent Information Systems in Education.
John C. Cherniavsky, and Elliot Soloway J. Intell. Inf. Syst. 18(1):5-14 (2002)
to dblp by dblp on May 26, 2011, 12:00 AM
URL | BibTeX
Simple Programs Realize Exactly Presberger Formulas.
John C. Cherniavsky SIAM J. Comput. 5(4):666-677 (1976)
to dblp by dblp on Feb 1, 2011, 12:00 AM
URL | BibTeX
On Transforming Control Structures.
John Keohane, John C. Cherniavsky, and Peter B. Henderson SIAM J. Comput. 11(2):268-286 (1982)
to dblp by dblp on Feb 1, 2011, 12:00 AM
URL | BibTeX
Dynamic pricing for impatient bidders.
Nikhil Bansal, Ning Chen, Neva Cherniavsky, Atri Rudra, Baruch Schieber, and Maxim Sviridenko ACM Transactions on Algorithms (2010)
to dblp by dblp on Jul 21, 2010, 3:47 PM
URL | BibTeX
A Complete and Consistent Hoare Semantics for a Simple Programming Language.
John C. Cherniavsky, and Samuel N. Kamin POPL, page 1-9. (1977)
to dblp by dblp on Jan 28, 2010, 12:00 AM
URL | BibTeX

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

a gripper