Institut national de recherche en informatique et en automatique (France)
Overview
| Works: | 2,863 works in 3,581 publications in 3 languages and 20,637 library holdings |
|---|---|
| Genres: | Conference papers and proceedings |
| Roles: | Organizer of meeting, Editor, isb, Other, Producer, Collector, Sponsor, 475, Publishing director, 981, Distributor, Contributor, Publisher, Director, Thesis advisor, Collaborator, Restager |
| Classifications: | QA402, 006.3 |
Publication Timeline
.
Most widely held works about
Institut national de recherche en informatique et en automatique (France)
- Histoire d'un pionnier de l'informatique : 40 ans de recherche à l'Inria by Alain Beltran( )
- Rapport d'Activite 2000 : annexes scientifiques by Institut national de recherche en informatique et en automatique (France)( )
Most widely held works by
Institut national de recherche en informatique et en automatique (France)
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings by
Pierre Deransart(
Book
)
13 editions published in 1990 in English and German and held by 480 WorldCat member libraries worldwide
"Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This volume includes the text of the three invited talks and 21 submitted papers presented at the workshop. This selection provides a wide view of the diverse research being done in the area. Topics include: - Fundamentals: efficient exhaustive and incremental at- tribute evaluation methods, parallel evaluation, space optimization, relationships with functional, logic and object-oriented programming, and systems. - Applications: compiler construction, natural language processing, and interactive program manipulation."--PUBLISHER'S WEBSITE
13 editions published in 1990 in English and German and held by 480 WorldCat member libraries worldwide
"Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This volume includes the text of the three invited talks and 21 submitted papers presented at the workshop. This selection provides a wide view of the diverse research being done in the area. Topics include: - Fundamentals: efficient exhaustive and incremental at- tribute evaluation methods, parallel evaluation, space optimization, relationships with functional, logic and object-oriented programming, and systems. - Applications: compiler construction, natural language processing, and interactive program manipulation."--PUBLISHER'S WEBSITE
Geometry and robotics workshop, Toulouse, France, May 26 - 28, 1988 ; proceedings by
J.-D Boissonnat(
)
6 editions published in 1989 in English and held by 449 WorldCat member libraries worldwide
Annotation
6 editions published in 1989 in English and held by 449 WorldCat member libraries worldwide
Annotation
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings by
H Kirchner(
Book
)
3 editions published in 1990 in English and held by 376 WorldCat member libraries worldwide
3 editions published in 1990 in English and held by 376 WorldCat member libraries worldwide
Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : MEMOCODE '07 : May 30-June
1, 2007, Nice, France by ACM and IEEE International Conference on Formal Methods and Models for Co-Design(
)
2 editions published in 2007 in English and held by 365 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 365 WorldCat member libraries worldwide
Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings by
Laurent Kott(
Book
)
4 editions published in 1986 in English and held by 364 WorldCat member libraries worldwide
4 editions published in 1986 in English and held by 364 WorldCat member libraries worldwide
Macroscopic modelling of turbulent flows : proceedings of a workshop held at INRIA, Sophia-Antipolis, France, December 10-14,
1984 by
U Frisch(
Book
)
8 editions published in 1985 in English and German and held by 343 WorldCat member libraries worldwide
8 editions published in 1985 in English and German and held by 343 WorldCat member libraries worldwide
Proceedings : the 10th International Conference on Distributed Computing Systems, Paris, France, May 28-June 1, 1990 by
International Conference on Distributed Computing Systems(
)
5 editions published in 1990 in English and held by 322 WorldCat member libraries worldwide
5 editions published in 1990 in English and held by 322 WorldCat member libraries worldwide
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models : June 3-6, 1997, Saint Malo, France by International Workshop on Petri Nets and Performance Models(
)
3 editions published in 1997 in English and held by 301 WorldCat member libraries worldwide
3 editions published in 1997 in English and held by 301 WorldCat member libraries worldwide
Proceedings : Eighth IEEE International Conference on Tools with Artificial Intelligence : November 16-19, 1996, Toulouse,
France by International Conference on Tools for Artificial Intelligence(
)
3 editions published in 1996 in English and held by 297 WorldCat member libraries worldwide
3 editions published in 1996 in English and held by 297 WorldCat member libraries worldwide
IV'2002 : IEEE Intelligent Vehicle Symposium = IEEE Symposium sur les Véhicules Intelligents : proceedings : June 17-21,
2002, Versailles, France by IEEE Intelligent Vehicles Symposium(
)
4 editions published in 2003 in English and held by 292 WorldCat member libraries worldwide
4 editions published in 2003 in English and held by 292 WorldCat member libraries worldwide
Differential games and applications by
Tamer Başar(
Book
)
5 editions published in 1989 in English and held by 292 WorldCat member libraries worldwide
This volume contains fifteen articles on the topic of differential and dynamic games, focusing on both theory and applications. It covers a variety of areas and presents recent developments on topics of current interest. It should be useful to researchers in differential and dynamic games, systems and control, operations research and mathematical economics
5 editions published in 1989 in English and held by 292 WorldCat member libraries worldwide
This volume contains fifteen articles on the topic of differential and dynamic games, focusing on both theory and applications. It covers a variety of areas and presents recent developments on topics of current interest. It should be useful to researchers in differential and dynamic games, systems and control, operations research and mathematical economics
1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation : proceedings, ETFA '95, Paris, France, October
10-13, 1995 by
INRIA/IEEE Symposium on Emerging Technologies and Factory Automation(
)
4 editions published in 1995 in English and held by 286 WorldCat member libraries worldwide
4 editions published in 1995 in English and held by 286 WorldCat member libraries worldwide
QEST 2008 : Proceedings, Quantitative Evaluation of Systems : 14-17 September, 2008, St. Malo, France by International Conference on the Quantitative Evaluation of Systems(
)
2 editions published in 2008 in English and held by 275 WorldCat member libraries worldwide
2 editions published in 2008 in English and held by 275 WorldCat member libraries worldwide
Analysis and optimization of systems : proceedings of the 9th international conference, Antibes, June 12-15, 1990 by
Alain Bensoussan(
Book
)
5 editions published in 1990 in English and held by 269 WorldCat member libraries worldwide
5 editions published in 1990 in English and held by 269 WorldCat member libraries worldwide
Fifth International Conference on Application of Concurrency to System Design : ACSD 2005 : proceedings : 7-9 June 2005, St.
Malo, France by
International Conference on Application of Concurrency to System Design(
)
3 editions published in 2005 in English and held by 267 WorldCat member libraries worldwide
3 editions published in 2005 in English and held by 267 WorldCat member libraries worldwide
IHM '14 : Actes de la 26ième conférence francophone sur l'Interaction Homme-Machine : 28-31 Octobre 2014, Villeneuve d'Ascq,
France by
IHM (Conference)(
)
4 editions published in 2014 in English and French and held by 267 WorldCat member libraries worldwide
4 editions published in 2014 in English and French and held by 267 WorldCat member libraries worldwide
2009 IEEE International Workshop on Open-source Software for Scientific Computation OSSC-2009 : September 18-20 2009 by IEEE International Workshop on Open-source Software for Scientific Computation(
)
2 editions published in 2009 in English and held by 266 WorldCat member libraries worldwide
2 editions published in 2009 in English and held by 266 WorldCat member libraries worldwide
PASCO'2010 : proceedings of the 2010 International Workshop on Parallel Symbolic Computation : Grenoble, France, July 21-23,
2010 by
Marc Moreno Maza(
)
3 editions published in 2010 in English and held by 261 WorldCat member libraries worldwide
3 editions published in 2010 in English and held by 261 WorldCat member libraries worldwide
Analysis and optimization of systems : proceedings of the Fourth International Conference on Analysis and Optimization of
Systems, Versailles, December 16-19, 1980 by
Alain Bensoussan(
Book
)
9 editions published in 1980 in English and Undetermined and held by 261 WorldCat member libraries worldwide
9 editions published in 1980 in English and Undetermined and held by 261 WorldCat member libraries worldwide
IEEE Workshop on Variational and Level Set Methods in Computer Vision : proceedings : 13 July, 2001, Vancouver, Canada by IEEE Workshop on Variational and Level Set Methods in Computer Vision(
)
1 edition published in 2001 in English and held by 259 WorldCat member libraries worldwide
Annotation
1 edition published in 2001 in English and held by 259 WorldCat member libraries worldwide
Annotation
more
fewer
Audience Level
| 0 |
 |
1 | ||
| General | Special | |||
Related Identities
- Lions, J.-L (Jacques-Louis) 1928-2001 Other Publishing director Director Editor
- Griset, Pascal Redactor
- Beltran, Alain Author Redactor
- Bensoussan, Alain Other Publishing director Editor
- IEEE Computer Society Other Organizer of meeting
- Institute of Electrical and Electronics Engineers Other
- Centre national de la recherche scientifique (France) Organizer of meeting Sponsor Editor Collector
- Litwin, W. (Witold) 1946- Author Editor
- Hidoine, Bernard Director Editor Conceptor
- Association for Computing Machinery Organizer of meeting
Useful Links
Associated Subjects
Algebraic logic Algorithms Artificial intelligence Automatic control Automation Automobile driving--Automation Automobiles--Automatic control Computer networks--Evaluation Computer programming Computers Computer science Computer science--Research Computer systems--Evaluation Differential games Electronic data processing Electronic data processing--Distributed processing Expert systems (Computer science) Fluids Formal languages France Geometry Geometry, Algebraic Geometry--Data processing Image processing Information technology--Research Institut national de recherche en informatique et en automatique (France) Intelligent transportation systems Logic, Symbolic and mathematical--Data processing Logic design Logic programming Machine theory Mathematical optimization Mechatronics Neural networks (Computer science) Open source software Parallel processing (Electronic computers) Petri nets Physics Programming languages (Electronic computers) Programming languages (Electronic computers)--Semantics Programming languages (Electronic computers)--Syntax Reliability (Engineering) Robotics Robots--Motion Science--Data processing Software engineering System analysis System design Turbulence--Mathematical models User interfaces (Computer systems)
Covers
Alternative Names
Institut de recherche d'informatique et d'automatique
Centre de Recherche Inria Futurs Orsay
Computer Science Research Agency
Forschungseinrichtung für Informatik und Automatik
France Institut national de recherche en informatique et en automatique
Francie Institut national de recherche en informatique et en automatique
French National Computer Science Research Agency
French Research Institute in Computer Science and Automatic Control
I.N.R.I.A.
I.N.R.I.A. (Institut national de recherche en informatique et en automatique (France))
I.N.R.I.A. (Organisme)
INRIA
Inria Centre de Recherche Paris Rocquencourt
Inria Futurs Research Centre Orsay
INRIA (Institut national de recherche en informatique et en automatique ; France)
Inria (Organisme)
Institut de Recherche en Informatique et en Automatique
Institut de recherche en sciences du numérique (France)
Institut national de recherche d'informatique et d'automatique.
Institut national de recherche d'informatique et d'automatique (France)
Institut national de recherche d'informatique et d'automatique (Francie)
Institut national de recherche en informatique et automatique.
Institut national de recherche en informatique et automatique (France)
Institut national de recherche en informatique et automatique (Francie)
Institut National de Recherche en Informatique et en Automatique
Institut national de recherche en informatique et en automatique, Rocquencourt
Institut National de Recherche en Informatique et en Automatique Rocquencourt Centre de Recherche Inria Futurs
Institut National de Recherche en Informatique et en Automatique Rocquencourt INRIA Futurs
Institut National de Recherche en Informatique et en Automatique Rocquencourt Inria Futurs Research Centre
Institut national de recherche en sciences et technologies du numérique France
National Computer Science Research Agency
Nationale Forschungseinrichtung für Informatik und Automatik
Research Institute in Computer Science and Automatic Control
Rocquencourt (Yvelines)
Rocquencourt (Yvelines, France). Institut national de recherche en informatique et an automatique
Languages