default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th Anniversary of INRIA 1992: Paris, France
- Alain Bensoussan, Jean-Pierre Verjus:
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992, Proceedings. Lecture Notes in Computer Science 653, Springer 1992, ISBN 3-540-56320-2
Inaugural Conference
- Jacques-Louis Lions:
World Mathematical Year 2000 and Computer Sciences. 3-16
Symbolic Computation, Programming, and Software Engineering
- Michael O. Rabin:
Dependable Parallel Computing by Randomization (Abstract). 19-20
Parallel Processing, Databases, Networks, and Distributed Systems
- Brian Randell:
System Dependability. 21-50 - Jerome H. Saltzer:
Technology, Networks, and the Library of the Year 2000. 51-67 - Charles L. Seitz:
Mosaic C: An Experimental Fine-Grain Multicomputer. 69-85 - Jeffrey D. Ullman:
New Frontiers in Database System Research. 87-101
Symbolic Computation, Programming, and Software Engineering
- Robert L. Constable:
Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic. 105-127 - Zohar Manna, Amir Pnueli:
Time for Concurrency. 129-153 - Franco P. Preparata, Gianfranco Bilardi:
Horizons of Parallel Computation. 155-174 - Ravi Sethi, Roy H. Campbell, Sean Dorward, Anand Iyengar, Charles R. Kalmanek, Gary J. Murakami, Ce-Kuen Shieh, See-Mong Tan:
Control Software for Virtual-Circuit Switches: Call Processing. 175-186
Artificial Intelligence, Cognitive Systems, and Man-Machine Communications
- Ronald J. Brachman:
What is Knowledge Representation, and Where is it Going? 189-203 - John M. Carroll:
Creating a Design Science of Human-Computer Interaction. 205-215
Robotics, Image, Vision
- Michael Brady:
Sensing Robots. 219-231 - Jan J. Koenderink:
Fundamentals of Bicentric Perspective. 233-251 - Arun N. Netravali:
Digital HDTV: A Technical Challenge. 253-264
Signal Processing, Control and Manufacturing
- Karl Johan Åström:
Autonomous Control. 267-278 - Roger W. Brockett:
Analog and Digital Computing. 279-289 - Wendell H. Fleming:
Stochastic Control and Large Deviations. 291-300 - Héctor J. Sussmann:
Differential-Geometric Methods: A Powerful Set of New Tools for Optimal Control. 301-314 - Pravin Varaiya:
Coordinating Vehicles in an Automated Highway. 315-330 - Alan S. Willsky:
Opportunities and Challenges in Signal Processing and Analysis. 331-338 - Eugene Wong:
Neural Computing and Stochastic Optimization. 339-342
Scientific Computing, Numerical Software, and Computer Aided Engineering
- Franco Brezzi, C. Baiocchi, L. Donatella Marini:
Stabilization of Galerkin Methods and Applications to Domain Decomposition. 345-355 - Thomas J. R. Hughes, Zdenek Johan:
An Efficient Implementation of the Spectral Partitioning Algorithm on Connection Machine Systems. 357-371
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
