WorldCat Identities

Nivat, M.

Overview
Works: 223 works in 521 publications in 5 languages and 4,558 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Thesis advisor, Author of introduction, Opponent, Other, Honoree, Director, Creator, Redactor
Publication Timeline
.
Most widely held works by M Nivat
Automata on infinite words by Maurice Nivat( Book )

26 editions published in 1985 in 5 languages and held by 489 WorldCat member libraries worldwide

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings by Max Dauchet( Book )

10 editions published in 1988 in English and Italian and held by 403 WorldCat member libraries worldwide

Annotation This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency
Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings by Maurice Nivat( Book )

27 editions published in 1998 in English and held by 377 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory
Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings by M Wirsing( Book )

16 editions published in 1996 in English and Italian and held by 376 WorldCat member libraries worldwide

"This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations."--PUBLISHER'S WEBSITE
Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings by V. S Alagar( Book )

16 editions published between 1995 and 1996 in English and held by 323 WorldCat member libraries worldwide

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases
Algebraic methods in semantics by Maurice Nivat( Book )

15 editions published in 1985 in 3 languages and held by 254 WorldCat member libraries worldwide

Resolution of equations in algebraic structures( Book )

4 editions published in 1989 in English and held by 244 WorldCat member libraries worldwide

Automata, languages and programming by Maurice Nivat( Book )

24 editions published in 1973 in 4 languages and held by 241 WorldCat member libraries worldwide

Tree automata and languages( Book )

12 editions published in 1992 in English and held by 156 WorldCat member libraries worldwide

Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, the Netherlands, 21-25 June 1993 by M Nivat( Book )

12 editions published between 1993 and 1994 in English and held by 126 WorldCat member libraries worldwide

This volume contains papers presented at the Third International Conference on Algebraic Methodology and Sofware Technology (AMAST'93), held at the University of Twente, The Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools. Among the topics covered in this volume are: - Algebraic metamathematics; - Functional programming; - Category theory in software engineering; - Modular system design; - Real-time system specification; - Testing theory and applications; - Algebraic semantics of concurrency; - Modal logics and reactive systems; - Design and refinement priciples; - Equational and logic programming; - Algebraic specification in software engineering
Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 by International Conference on Algebraic Methodology and Software Technology( Book )

7 editions published in 1992 in English and held by 95 WorldCat member libraries worldwide

Parallel image processing by International Conference on Parallel Image Processing( Book )

10 editions published in 1992 in English and held by 89 WorldCat member libraries worldwide

Presents essays on such topics as three-dimensional object representation by array grammars, stochastic puzzle grammars, parallel recognition of high dimensional images, two-dimensional uniquely parsable isometric array grammars, and replicated image algorithms and their analyses on SIMD machines
Informatique programmation et calcul scientifique en Python et Scilab : classes préparatoires scientifiques 1re et 2e années by Thierry Audibert( Book )

2 editions published between 2013 and 2014 in French and held by 81 WorldCat member libraries worldwide

Parallel image analysis : second international conference, ICPIA '92, Ube, Japan, December 21-23, 1992 : proceedings by Akira Nakamura( )

5 editions published in 1992 in English and held by 71 WorldCat member libraries worldwide

"This volume contains the papers selected for presentation at the Second International Conference on Parallel Image Analysis (ICPIA '92), held in Ube, Japan, December 21-23, 1992. The conference topics are data structures, parallel algorithms and architectures, neural networks, computational vision, syntactic generation and recognition, and multidimensional models. The first meeting with these topics was theInternational Colloquium on Parallel Image Processing, which took place in Paris in June 1991. The aim of the meetings is to bring together specialistsfrom various countries who are interested in the topics and to stimulatetheoretical and practical research in the field of parallel image processingand analysis. The volume contains three invited papers, a summary of a tutorial lecture, and twenty selected and refereed communications."--PUBLISHER'S WEBSITE
Algorithmique parallèle by Yves Robert( Book )

4 editions published in 1992 in French and held by 59 WorldCat member libraries worldwide

Resolution of equations in algebraic structures( )

8 editions published between 1988 and 1989 in 3 languages and held by 44 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.62 for Resolution ... to 0.92 for Foundation ...)

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
Covers
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedingsFoundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedingsAlgebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedingsAlgebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedingsTree automata and languagesMathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '85)Parallel image analysis : second international conference, ICPIA '92, Ube, Japan, December 21-23, 1992 : proceedingsFoundations of Software Science and Computation Structures First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28-April 4, 1998 Proceedings
Alternative Names
Maurice Nivat Frans informaticus

Maurice Nivat fransk ingeniør og informatikar

Maurice Nivat fransk ingeniør og informatiker

Maurice Nivat fransk ingenjör och datavetare

Maurice Nivat französischer Informatiker

Maurice Nivat French computer scientist

Nivat, M.

Nivat, M. 1937-

Nivat, M. 1937-2017

Nivat, Maurice

Μωρίς Νιβά Γάλλος επιστήμονας υπολογιστών

Нива, Морис

Languages
English (201)

French (10)

Italian (6)

German (1)

Spanish (1)