Research Output

Filter
Conference contribution
1972

Un analyseur syntaxique pour grammaires hors-contexte ascendant selectif et general (in French)

Cousot, P., Nov 1972, Les Techniques de l'Informatique, Grenoble, France. p. 391-405 (Congres AFCET 72, Brochure 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1975

Integration is differentiable

Gottlieb, A., 1975, Proc. AMS 53. p. 167-171

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1976

A flowcharting proposal

Gottlieb, A., 1976, SIGPLAN notices . 12 ed. Vol. 11. p. 35-37

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Static determination of dynamic properties of programs

Cousot, P. & Cousot, R., 1976, Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, p. 106-130

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1977

Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints

Cousot, P. & Cousot, R., 1977, Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM, p. 238-252

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A generating function approach to the traveling salesman problem

Gottlieb, A., Kohn, S. & Kohn, M., 1977, Proc. ACM 77. p. 294-300

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Cousot, P. & Cousot, R., 1977, ACM Symposium on Artificial Intelligence & Programming Languages, Rochester, NY, USA. ACM, p. 1-12 (ACM SIGPLAN Notices; vol. 12, no. 8).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programs for natural language files

Sager, N., Hirschman, L., Grishman, R. & Insolio, C., 1977, Proceedings of the 1977 Meeting of the American Society for Information Science (ASIS). White Plains, NY: Knowledge Industry Publications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fact retrieval from natural language medical records

Hirschman, L. & Grishman, R., 1977, Proceedings of the Second World Conference on Medical Informatics (MEDINFO '77), IFIP World Conference Series on Medical Informatics 2. Amsterdam: North-Holland, p. 247-251

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Static determination of dynamic properties of generalized type unions: Mathematical foundations

Cousot, P. & Cousot, R., 1977, ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina. ACM, p. 77-94 (ACM SIGPLAN Notices; vol. 12, no. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Static determination of dynamic properties of recursive procedures

Cousot, P. & Cousot, R., 1977, IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada. Neuhold, E. (ed.). North-Holland Publishing Company, p. 237-277

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1978

Automatic discovery of linear restraints among variables of a program

Cousot, P. & Halbwachs, N., 1978, Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona. ACM, p. 84-97

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal specification and analysis of loosely connected processes

Miller, R. & Yap, C., 1978, Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978. (Complete report in IBM Research Report RC-6716; no. 28917).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The "highly intelligent" tablet as an efficient pointing device for interactive graphics (Preliminary Report)

Fuchs, H. & Kedem, Z. H., Dec 4 1978, Proceedings of the 1978 Annual Conference, ACM 1978. Association for Computing Machinery, Inc, p. 765-769 5 p. (Proceedings of the 1978 Annual Conference, ACM 1978; vol. 2_130696).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The simplification of retrieval requests generated by question-answering systems

Grishman, R., 1978, Proceedings of the Fourth International Conference on Very Large Data Bases.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Traveling salesman problems, generating functions and Markov chains

Gottlieb, A., Kohn, S. & Kohn, M., 1978, Proc. ORSA regional meeting.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1979

On the formal specification and analysis of loosely connected processes

Miller, R. E. & Yap, C., Jan 1 1979, Mathematical Studies of Information Processing - Proceedings of the International Conference. Springer Verlag, Vol. 75 LNCS. p. 33-66 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 75 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Predetermining visibility priority in 3-D scenes (Preliminary Report)

Fuchs, H., Kedem, Z. & Naylor, B., Aug 8 1979, Proceedings of the 6th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1979. Association for Computing Machinery, Inc, p. 175-181 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Response generation in question-answering systems

Grishman, R., 1979, Proceedings of the 17th Annual Meeting of the Association for Computational Linguistics. p. 99-101

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1980

Conjunctions and modularity in language analysis procedures

Grishman, R., 1980, Proceedings of the 8th International Conference on Computational Linguistics, Tokyo, Japan. p. 500-503

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Constructing program invariance proof methods

Cousot, P. & Cousot, R., 1980, International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980. Vol. 13. p. 8-12

Research output: Chapter in Book/Report/Conference proceedingConference contribution

MULT - a multitasking ultracomputer language with timing: Ultracomputer note #15

Gottlieb, A. & Kruskal, C. P., 1980, Courant Institute, NYU.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On visible surface generation by a priori tree structures

Fuchs, H., Kedem, Z. & Naylor, B. F., Jul 14 1980, Proceedings of the 7th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1980. Association for Computing Machinery, Inc, p. 124-133 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantic analysis of communicating sequential processes

Cousot, P. & Cousot, R., Jul 1980, 7th International Colloquium on Automata, Languages and Programming. de Bakker, J. & van Leeuwen, J. (eds.). Springer, p. 119-133 (LNCS 85).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Space-time tradeoffs and first order problems in a model of programs

Yap, C., 1980, ACM Symposium on Theory of Computing. Vol. 12. p. 318-325

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The PUMA project: Computer design automation in the university

Grishman, R., 1980, Proceedings of the 1980 Annual Conference of the Association for Computing Machinery. p. 490-497

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The PUMA project: Computer design automation in the university

Grishman, R., 1980, What can be automated, the computer science and engineering research study. Arden, B. (ed.). Cambridge, MA: MIT Press

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1981

(Position paper for panel on "Perspectives in Parsing Issues")

Grishman, R., 1981, Proceedings of the 19th Annual Meeting of the Association for Computational Linguistics. p. 101

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Deadlock removal using partial rollback in database systems

Fussell, D., Kedem, Z. M. & Silberschatz, A., Apr 29 1981, Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, SIGMOD 1981. Association for Computing Machinery, p. 65-73 9 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optimal wiring between rectangles

Dolev, D., Karplus, K., Siegel, A., Strong, A. & Ullman, J. D., May 11 1981, Conference Proceedings of the 13th Annual ACM Symposium on Theory of Computing, STOC 1981. Association for Computing Machinery, p. 312-317 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The partial median problem with applications to parallel algorithms

Yap, C., 1981, Proceedings of the 15th Annual Conference on Information Sciences and Systems. Department of Electrical Engineering, Johns Hopkins University. March 25-27, 1981. Myers, G. & Rugh, W. (eds.). p. 204-206

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1982

Natural language interfaces using limited semantic information

Grishman, R., Hirschman, L. & Friedman, C., 1982, Proceedings of the 9th International Conference on Computational Linguistics. p. 89-94

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The format model: A theory of database organization

Hull, R. & Yap, C., Mar 29 1982, Proceedings of the 1st ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, PODS 1982. Association for Computing Machinery, p. 205-211 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The NYU ultracomputer: Designing a MIMD, shared-memory parallel machine

Gottlieb, A., Grishman, R., Kruskal, C. P., McAuliffe, K. P., Rudolph, L. & Snir, M., 1982, Proceedings of the 9th Annual International Symposium on Computer Architecture.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1983

A linguistically motivated approach to automated analysis of military messages

Froscher, J., Grishman, R., Bachenko, J. & Marsh, E., 1983, Proceedings of the 1983 Conference on Artificial Intelligence, Rochester, MI, April 1983.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Comparing the NYU ultracomputer with other large-scale parallel processors

Gottlieb, A., Aug 1983, Proc. conf. on frontiers of supercomputing. Los Alamos, NM

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Concurrency control theory for nested transactions

Beeri, C., Bernstein, P. A., Goodman, N. & Shasha, D. E., Dec 1 1983, Unknown Host Publication Title. ACM, p. 45-62 18 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

GEOMETRIC RETRIEVAL PROBLEMS.

Cole, R. & Yap, C. K., Dec 1 1983, Annual Symposium on Foundations of Computer Science (Proceedings). IEEE, p. 112-121 10 p. (Annual Symposium on Foundations of Computer Science (Proceedings)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Isolating domain dependencies in natural language interfaces

Grishman, R., Hirschman, L. & Friedman, C., 1983, Proceedings of the Conference on Applied Natural Language Processing, Santa Monica, CA, February 1983.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

MERCATOR REPRESENTATION OF SPATIAL KNOWLEDGE.

Davis, E., Dec 1 1983, Unknown Host Publication Title. Bundy, A. (ed.). p. 295-301 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

NUMERICAL METHODS FOR SOLVING INVERSE EIGENVALUE PROBLEMS.

Nocedal, J. & Overton, M. L., Dec 1 1983, Lecture Notes in Mathematics. Springer Verlag, p. 212-226 15 p. (Lecture Notes in Mathematics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

OPTIMAL RESOURCE ALLOCATION IN VLSI.

Kedem, Z. M. & Zorat, A., Dec 1 1983, Unknown Host Publication Title. IEEE, p. 701-704 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

RETRACTION: A NEW APPROACH TO MOTION-PLANNING.

O'Duniaing, C., Sharir, M. & Yap, C. K., Dec 1 1983, Conference Proceedings of the Annual ACM Symposium on Theory of Computing. ACM (Order n 508830), p. 207-220 14 p. (Conference Proceedings of the Annual ACM Symposium on Theory of Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TECHNIQUES FOR SOLVING GRAPH PROBLEMS IN PARALLEL ENVIRONMENTS.

Hochschild, P. H., Mayr, E. W. & Siegel, A. R., Dec 1 1983, Annual Symposium on Foundations of Computer Science (Proceedings). IEEE, p. 351-359 9 p. (Annual Symposium on Foundations of Computer Science (Proceedings)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

UNDERSTANDING NARRATIVE IN MESSAGES AND REPORTS.

Greshman, R., Dec 1 1983, Proceedings - Trends & Applications (IEEE Computer Society). IEEE, p. 85-88 4 p. (Proceedings - Trends & Applications (IEEE Computer Society)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1984

A production rule system for message summarization

Marsh, E., Hamburger, H. & Grishman, R., 1984, Proceedings of the 1984 National Conference on Artificial Intelligence, Austin, Texas.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automated determination of sublanguage syntactic usage

Grishman, R., Nhan, N. T., Marsh, E. & Hirschman, L., 1984, Proceedings of COLING 84 (Tenth International Conference on Computational Linguistics), Stanford, CA.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatic verification of asynchronous circuits

Clarke, E. & Mishra, B., Jan 1 1984, Logics of Programs - Workshop. Springer-Verlag, p. 101-115 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 164 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Avoiding serial bottlenecks in ultraparallel MIMD computers

Gottlieb, A., Feb 1984, Proc. compcon. San Francisco, CA, p. 345-359

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Efficient algorithm to find all 'bidirectional' edges of an undirected graph

Mishra, B., Dec 1 1984, Annual Symposium on Foundations of Computer Science (Proceedings). IEEE, p. 207-216 10 p. (Annual Symposium on Foundations of Computer Science (Proceedings)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution