×

International Series of Monographs on Computer Science

Short Title: Int. Ser. Monogr. Comput. Sci.
Publisher: Oxford University Press, Oxford
Comments: Book series; No longer indexed
Documents Indexed: 8 Publications (1987–1994)
all top 5

Latest Volumes

11 (1994)
10 (1993)
9 (1993)
8 (1991)
7 (1990)
6 (1989)
3 (1987)
2 (1987)
all top 5

Authors / Editors

1 Cantone, Domenico
1 Ferro, Alfredo
1 Hähnle, Reiner
1 Ince, Darrel C.
1 Luo, Zhaohui
1 Nordström, Bengt
1 Omodeo, Eugenio Giovanni
1 O’Rourke, Joseph
1 Petersson, Kent
1 Reichel, Horst
1 Shepperd, Martin J.
1 Smith, Jan M.
1 Vavasis, Stephen A.
all top 5

Fields

6 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
1 Combinatorics (05-XX)
1 General algebraic systems (08-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

7 Publications have been cited 730 times in 710 Documents Cited by ▼ Year ▼
Art gallery theorems and algorithms. Zbl 0653.52001
O’Rourke, Joseph
272
1987
Programming in Martin-Löf’s type theory. An introduction. Zbl 0744.03029
Nordström, Bengt; Petersson, Kent; Smith, Jan M.
242
1990
Nonlinear optimization. Complexity issues. Zbl 0785.90091
Vavasis, Stephen A.
73
1991
Computation and reasoning. A type theory for computer science. Zbl 0823.68101
Luo, Zhaohui
51
1994
Automated deduction in multiple-valued logics. Zbl 0798.03010
Hähnle, Reiner
35
1993
Initial computability, algebraic specifications, and partial algebras. Zbl 0634.68001
Reichel, Horst
29
1987
Computable set theory. Vol. 1. Zbl 0755.03024
Cantone, Domenico; Ferro, Alfredo; Omodeo, Eugenio
28
1989
Computation and reasoning. A type theory for computer science. Zbl 0823.68101
Luo, Zhaohui
51
1994
Automated deduction in multiple-valued logics. Zbl 0798.03010
Hähnle, Reiner
35
1993
Nonlinear optimization. Complexity issues. Zbl 0785.90091
Vavasis, Stephen A.
73
1991
Programming in Martin-Löf’s type theory. An introduction. Zbl 0744.03029
Nordström, Bengt; Petersson, Kent; Smith, Jan M.
242
1990
Computable set theory. Vol. 1. Zbl 0755.03024
Cantone, Domenico; Ferro, Alfredo; Omodeo, Eugenio
28
1989
Art gallery theorems and algorithms. Zbl 0653.52001
O’Rourke, Joseph
272
1987
Initial computability, algebraic specifications, and partial algebras. Zbl 0634.68001
Reichel, Horst
29
1987
all cited Publications top 5 cited Publications
all top 5

Cited by 982 Authors

16 Cantone, Domenico
16 Urrutia Galicia, Jorge L.
14 Luo, Zhaohui
12 Tóth, Csaba D.
11 Maietti, Maria Emilia
11 Ntafos, Simeon C.
10 Kreinovich, Vladik Yakovlevich
10 Palmgren, Erik
9 Valentini, Silvio
8 Dybjer, Peter
8 Geuvers, Jan Herman
8 Hladík, Milan
7 Bose, Prosenjit K.
7 Hurtado, Ferran
7 Żyliński, Paweł
6 Barthe, Gilles
6 Coquand, Thierry
6 Maschio, Samuele
6 Omodeo, Eugenio Giovanni
6 Sambin, Giovanni
6 Viglietta, Giovanni
5 Bhattacharya, Binay Kumar
5 Bidoit, Michel
5 Chatzikyriakidis, Stergios
5 Chazelle, Bernard
5 Constable, Robert Lee
5 Harper, Robert
5 Hennicker, Rolf
5 Hliněný, Petr
5 Kranakis, Evangelos Konstantinou
5 Le Thi, Hoai An
5 Mehrabi, Saeed
5 Pezlar, Ivo
5 Pitts, Andrew M.
5 Rathjen, Michael
5 Roy, Bodhayan
5 Setzer, Anton
5 Shermer, Thomas Caton
5 Solov’ëv, Sergeĭ Vladimirovich
4 Altenkirch, Thorsten
4 Angiuli, Carlo
4 Awodey, Steve
4 Biniaz, Ahmad
4 Bove, Ana
4 Chen, Zhizhong
4 Das, Gautam
4 Diaconescu, Răzvan
4 Fekete, Sándor P.
4 Fu, Yuxi
4 Gambino, Nicola
4 Garner, Richard
4 Ghosh, Subir Kumar
4 Kaemawichanurat, Pawaton
4 Kirkpatrick, David G.
4 Liberti, Leo
4 Mitchell, Joseph S. B.
4 Nicolosi Asmundo, Marianna
4 Pal, Sudebkumar Prasant
4 Pinciu, Val
4 Rivera-Campo, Eduardo
4 Schmidt, Christiane
4 Smith, Jan M.
4 Wismath, Stephen K.
4 Zarba, Calogero G.
3 Abel, Andreas M.
3 Agrawal, Akanksha
3 Aichholzer, Oswin
3 Aldana-Galván, I.
3 Álvarez-Rebollar, J. L.
3 Bereg, Sergey N.
3 Biedl, Therese C.
3 Birkedal, Lars
3 Brimkov, Valentin E.
3 Chin, Wei-Pang
3 Crole, Roy L.
3 Curi, Giovanni
3 Czyzowicz, Jurek
3 Daescu, Ovidiu
3 de Rezende, Pedro Jussieu
3 de Souza, Cid Carvalho
3 Dumitrescu, Adrian
3 Durocher, Stephane
3 Emmenegger, Jacopo
3 Ferson, Scott A.
3 Filtser, Omrit
3 Formisano, Andrea
3 Gewali, Laxmi P.
3 Goodrich, Michael Truman
3 Gordon, Andrew D.
3 Gratzer, Daniel
3 Győri, Ervin
3 Hecker, Hans-Dietrich
3 Hofmann, Martin
3 Hsu, Fang Rong
3 Hutchinson, Joan P.
3 Iwerks, Justin
3 Katz, Matthew J.
3 Klev, Ansten Mørch
3 Kock, Joachim
3 Leach, Andrew J.
...and 882 more Authors
all top 5

Cited in 127 Journals

69 Computational Geometry
58 Theoretical Computer Science
25 Discrete & Computational Geometry
21 Discrete Applied Mathematics
20 Annals of Pure and Applied Logic
19 Mathematical Structures in Computer Science
14 Information Processing Letters
12 Information Sciences
12 Information and Computation
12 Journal of Automated Reasoning
8 Mathematical Programming. Series A. Series B
8 Mathematical Logic Quarterly (MLQ)
8 Journal of Functional Programming
7 Graphs and Combinatorics
7 Algorithmica
7 Journal of Global Optimization
6 BIT
6 The Journal of Symbolic Logic
6 Journal of Symbolic Computation
6 Optimization Letters
6 Logical Methods in Computer Science
5 Journal of Computer Science and Technology
5 Formal Aspects of Computing
5 Archive for Mathematical Logic
5 Journal of Discrete Algorithms
5 Journal of Applied Logic
4 Discrete Mathematics
4 Studia Logica
4 Synthese
4 International Journal of Computational Geometry & Applications
4 The Bulletin of Symbolic Logic
4 Annals of Mathematics and Artificial Intelligence
4 Reliable Computing
4 Fundamenta Informaticae
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Applied Mathematics and Computation
3 Journal of Computer and System Sciences
3 Journal of Philosophical Logic
3 Journal of Pure and Applied Algebra
3 Computer Aided Geometric Design
3 International Journal of Approximate Reasoning
3 European Journal of Operational Research
3 Indagationes Mathematicae. New Series
3 Journal of Logic, Language and Information
3 Applied Categorical Structures
3 Journal of Applied Non-Classical Logics
3 Journal of Combinatorial Optimization
3 Logic and Logical Philosophy
3 Logica Universalis
2 Computer Methods in Applied Mechanics and Engineering
2 ACM Transactions on Mathematical Software
2 Fuzzy Sets and Systems
2 Journal of Optimization Theory and Applications
2 Systems & Control Letters
2 Optimization
2 Computers & Operations Research
2 Mathematical and Computer Modelling
2 Annals of Operations Research
2 Applied Mathematical Modelling
2 Pattern Recognition
2 Computational Statistics and Data Analysis
2 SIAM Journal on Optimization
2 Journal of Mathematical Sciences (New York)
2 Top
2 European Journal of Control
2 Topoi
2 Journal of Graph Algorithms and Applications
2 Higher-Order and Symbolic Computation
2 CEJOR. Central European Journal of Operations Research
2 The Journal of Logic and Algebraic Programming
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Computers & Mathematics with Applications
1 Communications in Mathematical Physics
1 International Journal of Control
1 International Journal of General Systems
1 Inverse Problems
1 Israel Journal of Mathematics
1 Journal of Computational Physics
1 Physics Reports
1 Chaos, Solitons and Fractals
1 The Mathematical Intelligencer
1 The Annals of Statistics
1 Journal of Geometry
1 Journal of Soviet Mathematics
1 Linguistics and Philosophy
1 Notre Dame Journal of Formal Logic
1 Proceedings of the American Mathematical Society
1 Programming and Computer Software
1 Quaestiones Mathematicae
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Topology and its Applications
1 European Journal of Combinatorics
1 Operations Research Letters
1 New Generation Computing
1 International Journal of Intelligent Systems
1 SIAM Journal on Discrete Mathematics
1 SIAM Journal on Matrix Analysis and Applications
1 Neural Networks
1 International Journal of Foundations of Computer Science
...and 27 more Journals
all top 5

Cited in 36 Fields

438 Computer science (68-XX)
264 Mathematical logic and foundations (03-XX)
69 Combinatorics (05-XX)
66 Operations research, mathematical programming (90-XX)
56 Convex and discrete geometry (52-XX)
50 Numerical analysis (65-XX)
44 Category theory; homological algebra (18-XX)
13 General topology (54-XX)
13 Algebraic topology (55-XX)
12 Statistics (62-XX)
11 Order, lattices, ordered algebraic structures (06-XX)
10 General algebraic systems (08-XX)
9 Systems theory; control (93-XX)
7 Calculus of variations and optimal control; optimization (49-XX)
7 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 General and overarching topics; collections (00-XX)
5 Geometry (51-XX)
5 Quantum theory (81-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Biology and other natural sciences (92-XX)
4 Information and communication theory, circuits (94-XX)
3 History and biography (01-XX)
3 Mechanics of deformable solids (74-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Group theory and generalizations (20-XX)
2 Operator theory (47-XX)
2 Fluid mechanics (76-XX)
2 Geophysics (86-XX)
1 Number theory (11-XX)
1 Real functions (26-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Approximations and expansions (41-XX)
1 Manifolds and cell complexes (57-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of particles and systems (70-XX)

Citations by Year