×

zbMATH — the first resource for mathematics

Lecture Notes in Computer Science

Short Title: Lect. Notes Comput. Sci.
Publisher: Springer, Cham
ISSN: 0302-9743; 1611-3349/e
Online: https://rd.springer.com/bookseries/558
Comments: Book series
Documents Indexed: 5,704 Publications (since 1973)
all top 5

Authors / Editors

69 Rozenberg, Grzegorz
55 Dongarra, Jack J.
53 Gavrilova, Marina L.
50 Tan, Chih Jeng Kenneth
37 Yung, Moti
35 Skowron, Andrzej
33 Gervasi, Osvaldo
32 Martín-Vide, Carlos
29 Sloot, Peter M. A.
28 Huang, Deshuang
27 Salomaa, Arto Kustaa
26 Taniar, David
26 Voronkov, Andrei
25 Peters, James Francis III
25 Waśniewski, Jerzy
25 Zurada, Jacek M.
23 Ehrig, Hartmut
23 Jansen, Klaus
23 Rutkowski, Leszek
23 Tadeusiewicz, Ryszard
21 Nguyen Thanh Ngoc
21 Zhou, Jianying
20 Rolim, José D. P.
20 Scherer, Rafał
20 van Albada, Geert Dick
19 Du, Ding-Zhu
19 Raś, Zbigniew W.
18 Korytkowski, Marcin
18 Priami, Corrado
18 Spaccapietra, Stefano
18 Zadeh, Lotfi Asker
17 Laganà, Antonio
17 Mun, Youngsong
17 Murgante, Beniamino
17 Narukawa, Yasuo
17 Păun, Gheorghe
17 Preneel, Bart
17 Torra, Vicenç
16 Dehne, Frank
16 Kumar, Vipin
16 Pieprzyk, Josef P.
16 Qing, Sihan
16 Sack, Jörg-Rüdiger
16 Vorozhtsov, Evgenii V.
15 Lin, Dongdai
15 Mayr, Ernst W.
15 Ślęzak, Dominik
15 Thalheim, Bernhard
15 Wyrzykowski, Roman
14 Calude, Cristian S.
14 de Boer, Frank S.
14 Dediu, Adrian Horia
14 Nerode, Anil
14 Wang, Guoyin
14 Woodcock, James C. P.
13 Apduhan, Bernady O.
13 Bernardo, Marco
13 Bonsangue, Marcello Maria
13 Börger, Egon
13 Jantke, Klaus-Peter
13 Koutny, Maciej
13 Potapov, Igor
13 Vega-Rodríguez, Miguel A.
13 Yao, Yiyu
12 Bao, Feng
12 Calmet, Jacques
12 de Roever, Willem-Paul
12 Lopez, Javier
12 Margenov, Svetozar D.
12 Montanari, Ugo G.
12 Pedrycz, Witold
12 Perner, Petra
12 Rijmen, Vincent
12 Wirsing, Martin
11 Bevilacqua, Vitoantonio
11 Deng, Robert Huijie
11 Graf, Susanne
11 Jo, Kang-Hyun
11 Karczewski, Konrad
11 Leite, João
11 Lirkov, Ivan D.
11 Löwe, Benedikt
11 Lutton, Evelyne
11 Mu, Yi
11 Sako, Kazue
11 Schoenauer, Marc
11 Takagi, Tsuyoshi
11 Vaudenay, Serge
11 Zeugmann, Thomas
10 Akiyama, Jin
10 Barneva, Reneta P.
10 Chen, Liqun
10 Gerdt, Vladimir P.
10 Gottlob, Georg
10 Imai, Hideki
10 Koepf, Wolfram A.
10 Moreno-Díaz, Roberto jun.
10 Nitaj, Abderrahmane
10 Palamidessi, Catuscia
10 Persiano, Giuseppe
...and 7,215 more Authors
all top 5

Fields

5,055 Computer science (68-XX)
4,869 General and overarching topics; collections (00-XX)
770 Information and communication theory, circuits (94-XX)
309 Mathematical logic and foundations (03-XX)
179 Operations research, mathematical programming (90-XX)
173 Numerical analysis (65-XX)
137 Biology and other natural sciences (92-XX)
83 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
47 Combinatorics (05-XX)
45 Systems theory; control (93-XX)
38 Quantum theory (81-XX)
31 Number theory (11-XX)
13 Category theory; homological algebra (18-XX)
12 Probability theory and stochastic processes (60-XX)
8 Linear and multilinear algebra; matrix theory (15-XX)
8 Calculus of variations and optimal control; optimization (49-XX)
8 Statistics (62-XX)
6 Convex and discrete geometry (52-XX)
5 History and biography (01-XX)
5 General algebraic systems (08-XX)
5 Field theory and polynomials (12-XX)
4 Algebraic geometry (14-XX)
4 Group theory and generalizations (20-XX)
4 Differential geometry (53-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Geometry (51-XX)
3 Fluid mechanics (76-XX)
2 Commutative algebra (13-XX)
2 Ordinary differential equations (34-XX)
2 Mathematics education (97-XX)
1 Associative rings and algebras (16-XX)
1 Measure and integration (28-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Functional analysis (46-XX)
1 Operator theory (47-XX)
1 Mechanics of deformable solids (74-XX)

Publications by Year

Citations contained in zbMATH Open

1,085 Publications have been cited 6,634 times in 5,869 Documents Cited by Year
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
463
1980
Isabelle/HOL. A proof assistant for higher-order logic. Zbl 0994.68131
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
318
2002
Treewidth. Computations and approximations. Zbl 0825.68144
Kloks, Ton
206
1994
Constrained global optimization: algorithms and applications. Zbl 0638.90064
Pardalos, P. M.; Rosen, J. B.
177
1987
An introduction to partial differential equations. Zbl 0917.35001
Renardy, M.; Rogers, R. C.
171
1993
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
143
2007
Matrix eigensystem routines - EISPACK guide. 2nd ed. Zbl 0325.65016
Smith, B. T.; Boyle, J. M.; Dongarra, J. J.; Garbow, B. S.; Ikebe, Y.; Klema, V. C.; Moler, C. B.
131
1976
Global optimization. Zbl 0752.90075
Törn, Aimo; Zilinskas, Antanas
127
1989
The stability theory of stream ciphers. Zbl 0762.94008
Ding, Cunsheng; Xiao, Guozhen; Shan, Weijuan
108
1991
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
107
1979
Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037
Grädel, Erich (ed.); Thomas, Wolfgang (ed.); Wilke, Thomas (ed.)
102
2002
Automatic differentiation: techniques and applications. Zbl 0473.68025
Rall, Louis B.
102
1981
Isabelle. A generic theorem prover. Zbl 0825.68059
Paulson, Lawrence C.
96
1994
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem. Zbl 1293.68005
Godefroid, Patrice
94
1996
Axioms and hulls. Zbl 0777.68012
Knuth, D. E.
90
1992
First-order dynamic logic. Zbl 0403.03024
Harel, David
90
1979
A collection of test problems for constrained global optimization algorithms. Zbl 0718.90054
Floudas, Christodoulos A.; Pardalos, Panos M.
89
1990
Concrete and abstract Voronoi diagrams. Zbl 0699.68005
Klein, Rolf
72
1989
Matrix eigensystem routines. EISPACK guide extension. Zbl 0368.65020
Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B.
69
1977
Hyperedge replacement: grammars and languages. Zbl 0787.68066
Habel, Annegret
66
1992
Combinatorics on traces. Zbl 0717.68002
Diekert, Volker
66
1990
Online algorithms. The state of the art. Zbl 1177.68009
Fiat, Amos (ed.); Woeginger, Gerhard J. (ed.)
63
1998
The design of dynamic data structures. Zbl 0545.68009
Overmars, Mark H.
59
1983
Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142
Hermanns, Holger
55
2002
Multiobjective optimization. Interactive and evolutionary approaches. Zbl 1147.68304
Branke, Jürgen (ed.); Deb, Kalyanmoy (ed.); Miettinen, Kaisa (ed.); Słowiński, Roman (ed.)
53
2008
The logic of information structures. Zbl 0788.03001
Wansing, Heinrich
46
1993
Drawing graphs. Methods and models. Zbl 0977.68644
Kaufmann, Michael (ed.); Wagner, Dorothea (ed.)
45
2001
How to multiply matrices faster. Zbl 0548.65022
Pan, Victor
43
1984
Matrix eigensystem routines - EISPACK guide. Zbl 0289.65017
Smith, B. T.; Boyle, J. M.; Garbow, B. S.; Ikebe, Y.; Klema, V. C.; Moler, C. B.
43
1974
Computing in systems described by equations. Zbl 0421.68038
O’Donnell, Michael J.
40
1977
Theory of program structures: Schemes, semantics, verification. Zbl 0345.68002
Greibach, Sheila A.
39
1975
Modular construction and partial order semantics of Petri nets. Zbl 1293.68015
Vogler, Walter
37
1992
Filtering, segmentation and depth. Zbl 0801.68171
Nitzberg, Mark; Mumford, David; Shiota, Takahiro
35
1993
The traveling salesman. Computational solutions for RSP applications. Zbl 0825.90720
Reinelt, Gerhard
35
1994
On the computational geometry of pocket machining. Zbl 0755.68136
Held, Martin
33
1991
Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents. Zbl 0978.03014
Kern-Isberner, Gabriele
32
2001
Turing machines with sublogarithmic space. Zbl 0998.68062
Szepietowski, Andrzej
32
1994
Algebraic semantics. Zbl 0474.68010
Guessarian, Irene
32
1981
Probabilistic inductive logic programming. Theory and applications. Zbl 1132.68007
De Raedt, Luc (ed.); Frasconi, Paolo (ed.); Kersting, Kristian (ed.); Muggleton, Stephen (ed.)
32
2008
A unified approach to interior point algorithms for linear complementary problems. Zbl 0766.90077
Kojima, Masakazu (ed.); Megiddo, Nimrod (ed.); Noma, Toshihito (ed.); Yoshise, Akiko (ed.)
30
1991
Group-theoretic algorithms and graph isomorphism. Zbl 0487.68055
Hoffmann, Christoph M.
30
1982
Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24–27, 2009. Revised selected and invited papers. Zbl 1179.68004
Păun, Gheorghe (ed.); Pérez-Jiménez, Mario J. (ed.); Riscos-Núñez, Agustín (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.)
30
2010
Grammar and L forms: an introduction. Zbl 0521.68085
Wood, Derick
29
1980
Computational cardiology. Modeling of anatomy, electrophysiology, and mechanics. Zbl 1051.92025
Sachse, Frank B.
28
2004
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
28
1990
Fundamental algorithms for permutation groups. Zbl 0785.20001
Butler, Gregory
27
1991
Axiomatising the logic of computer programming. Zbl 0474.68045
Goldblatt, Robert
27
1982
Network calculus. A theory of deterministic queueing systems for the Internet. Zbl 0974.90003
Le Boudec, Jean-Yves; Thiran, Patrick
26
2001
CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001
Mosses, Peter D. (ed.)
26
2004
Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001
Schmidt-Schauss, Manfred
26
1989
Foundations of inductive logic programming. Zbl 1293.68014
Nienhuys-Cheng, Shan-Hwei; de Wolf, Ronald
25
1997
Network analysis. Methodological foundations. Zbl 1069.68001
Brandes, Ulrik (ed.); Erlebach, Thomas (ed.)
25
2005
The logic of categorial grammars. A deductive account of natural language syntax and semantics. Zbl 1261.03001
Moot, Richard; Retoré, Christian
22
2012
Temporal logic. 1st International Conference, ICTL ’94, Bonn, Germany, July 11-14, 1994. Proceedings. Zbl 0875.03007
Gabbay, Dov M. (ed.); Ohlbach, Hans J. (ed.)
21
1994
Semirings for constraint solving and programming. Zbl 1054.68136
Bistarelli, Stefano
21
2004
Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072
Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.)
20
1998
Finite representations of CCS and TCSP programs by automata and Petri nets. Zbl 0684.68011
Taubner, Dirk
20
1989
Attribute grammars. Definitions, systems and bibliography. Zbl 0647.68073
Deransart, Pierre; Jourdan, Martin; Lorho, Bernard
20
1988
List decoding of error-correcting codes. Winning thesis of the 2002 ACM Doctoral Dissertation Competition. Zbl 1075.94001
Guruswami, Venkatesan
19
2004
Queueing networks with discrete time scale. Explicit expressions for the steady state behaviour of discrete time stochastic networks. Zbl 0988.60094
Daduna, Hans
18
2001
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.)
18
2005
Co-oP. A group decision support system for cooperative multiple criteria group decision making. Zbl 0677.68124
Bui, Tung X.
18
1987
A methodology for uncertainty in knowledge-based systems. Zbl 0705.68097
Weichselberger, Kurt; Pöhlmann, Sigrid
17
1990
Automated deduction in equational logic and cubic curves. Zbl 0921.03011
McCune, William; Padmanabhan, R.
16
1996
CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. Zbl 1033.68025
Bidoit, Michel; Mosses, Peter D.
16
2004
Lectures on the complexity of bilinear problems. Zbl 0609.68032
de Groote, H. F.
16
1987
A connotational theory of program structure. Zbl 0625.68018
Royer, James S.
16
1987
Property testing. Current research and surveys. Zbl 1197.68012
Goldreich, Oded (ed.)
16
2010
Formal concept analysis. Foundations and applications. Zbl 1087.68003
Ganter, Bernhard (ed.); Stumme, Gerd (ed.); Wille, Rudolf (ed.)
16
2005
Modular specification and verification of object-oriented programs. Zbl 0998.68034
Müller, Peter
15
2002
Foundations of equational logic programming. Zbl 0688.68004
Hölldobler, Steffen
15
1989
Hybrid systems. Zbl 0825.00044
Grossmann, Robert L. (ed.); Nerode, Anil (ed.); Ravn, Anders P. (ed.); Rischel, Hans (ed.)
14
1993
Ray shooting, depth orders and hidden surface removal. Zbl 0787.68098
de Berg, Mark
14
1993
Resolution methods for the decision problem. Zbl 0789.03013
Fermüller, C. (ed.); Leitsch, A. (ed.); Tammet, Tanel (ed.); Zamov, Nail (ed.)
14
1993
Association rule mining. Models and algorithms. Zbl 0998.68047
Zhang, Chengqi; Zhang, Shichao
14
2002
Trace theory and VLSI design. Zbl 0616.68001
van de Snepscheut, Jan L. A.
14
1985
Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013
Ehrig, H. (ed.); Nagl, M. (ed.); Rozenberg, G. (ed.); Rosenfeld, A. (ed.)
14
1987
Systems of reductions. Zbl 0636.68027
Benninghofen, B.; Kemmerich, S.; Richter, M. M.
14
1987
Direct methods for sparse matrices. Zbl 0516.65011
Osterby, Ole; Zlatev, Zahari
14
1983
Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Zbl 0674.68011
Zwiers, Job
13
1989
The problem of incomplete information in relational databases. Zbl 0779.68023
Grahne, Gösta
13
1991
GAG: a practical compiler generator. Zbl 0492.68004
Kastens, Uwe; Hutt, Brigitte; Zimmermann, Erich
13
1982
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
Grumberg, Orna (ed.); Veith, Helmut (ed.)
13
2008
Specifying message passing and time-critical systems with temporal logic. Zbl 0806.68074
Koymans, Ron
12
1992
Numerical integration on advanced computer systems. Zbl 0825.65012
Krommer, Arnold R.; Ueberhuber, Christoph W.
12
1994
Distributed algorithms. 8th international workshop, WDAG 1994, Terschelling, The Netherlands, September 29 – October 1, 1994. Proceedings. Zbl 0803.00026
Tel, Gerard (ed.); Vitanyi, Paul (ed.)
12
1994
Negation and control in PROLOG. Zbl 0602.68006
Naish, Lee
12
1986
Complexity and structure. Zbl 0589.03022
Schöning, Uwe
12
1986
Temporally distributed symptoms in technical diagnosis. Zbl 0786.68088
Nökel, Klaus
12
1991
Simple program schemes and formal languages. Zbl 0288.68030
Engelfriet, Joost
12
1974
Pascal. User manual and report. Zbl 0288.68043
Jensen, Kathleen; Wirth, Niklaus
12
1974
Context-free grammars: covers, normal forms, and parsing. Zbl 0477.68077
Nijholt, Anton
12
1980
Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Zbl 1241.68016
Erdem, Esra (ed.); Lee, Joohyung (ed.); Lierler, Yuliya (ed.); Pearce, David (ed.)
12
2012
Integer optimization by local search. A domain-independent approach. Zbl 0934.90053
Walser, Joachim Paul
11
1999
Complexity of constraints. An overview of current research themes. Zbl 1154.68008
Creignou, Nadia (ed.); Kolaitis, Phokion G. (ed.); Vollmer, Heribert (ed.)
11
2008
New stream cipher designs. The eSTREAM finalists. Zbl 1259.94006
Robshaw, Matthew (ed.); Billet, Olivier (ed.)
11
2008
Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15–17, 2007. Proceedings. Zbl 1119.68003
Baral, Chitta (ed.); Brewka, Gerhard (ed.); Schlipf, John (ed.)
11
2007
Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Zbl 1214.68009
Delgrande, James P. (ed.); Faber, Wolfgang (ed.)
11
2011
Specification and compositional verification of real-time systems. Zbl 1293.68009
Hooman, Jozef
11
1991
Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008
Erdem, Esra (ed.); Lin, Fangzhen (ed.); Schaub, Torsten (ed.)
10
2009
Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006
Soares Barbosa, Luís; Baltag, Alexandru
1
2020
Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 07290429
Gadducci, Fabio; Kehrer, Timo
1
2020
Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Zbl 1410.68009
Balduccini, Marcello; Lierler, Yuliya; Woltran, Stefan
4
2019
Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008
Beyer, Dirk; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
3
2019
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
Lutz, Carsten; Sattler, Uli; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank
1
2019
Mathematical morphology and its applications to signal and image processing. 14th international symposium, ISMM 2019, Saarbrücken, Germany, July 8–10, 2019. Proceedings. Zbl 1428.68009
Burgeth, Bernhard; Kleefeld, Andreas; Naegel, Benoît; Passat, Nicolas; Perret, Benjamin
1
2019
Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006
Madeira, Alexandre; Benevides, Mário
1
2018
Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Zbl 1383.68006
Heckel, Reiko; Taentzer, Gabriele
1
2018
Security and cryptography for networks. 11th international conference, SCN 2018, Amalfi, Italy, September 5–7, 2018. Proceedings. Zbl 1397.94004
Catalano, Dario; De Prisco, Roberto
1
2018
Rewriting logic and its applications. 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14–15, 2018. Proceedings. Zbl 1398.68038
Rusu, Vlad
1
2018
Adventures between lower bounds and higher altitudes. Essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday. Zbl 1398.68015
Böckenhauer, Hans-Joachim; Komm, Dennis; Unger, Walter
1
2018
Verified software. Theories, tools, and experiments. 10th international conference, VSTTE 2018, Oxford, UK, July 18–19, 2018. Revised selected papers. Zbl 1400.68034
Piskac, Ruzica; Rümmer, Philipp
1
2018
String processing and information retrieval. 25th international symposium, SPIRE 2018, Lima, Peru, October 9–11, 2018. Proceedings. Zbl 1398.68028
Gagie, Travis; Moffat, Alistair; Navarro, Gonzalo; Cuadros-Vargas, Ernesto
1
2018
Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part II. Zbl 1391.68002
Chockler, Hana; Weissenbacher, Georg
1
2018
Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Zbl 1391.68003
Chockler, Hana; Weissenbacher, Georg
1
2018
Post-quantum cryptography. 9th international conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9–11, 2018. Proceedings. Zbl 1387.94005
Lange, Tanja; Steinwandt, Rainer
1
2018
Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018. Proceedings. Zbl 1387.68019
Chapman, Peter; Stapleton, Gem; Moktefi, Amirouche; Perez-Kriz, Sarah; Bellucci, Francesco
1
2018
Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Zbl 1392.68017
Fioravanti, Fabio; Gallagher, John P.
1
2018
Theory and applications of satisfiability testing – SAT 2018. 21st international conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1390.68015
Beyersdorff, Olaf; Wintersteiger, Christoph M.
1
2018
Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1391.68001
Avigad, Jeremy; Mahboubi, Assia
1
2018
Cryptographic hardware and embedded systems – CHES 2017. 19th international conference, Taipei, Taiwan, September 25–28, 2017. Proceedings. Zbl 1371.68007
Fischer, Wieland; Homma, Naofumi
2
2017
Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Zbl 1367.68005
Balduccini, Marcello; Janhunen, Tomi
2
2017
Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part II. Zbl 1367.68012
Polkowski, Lech; Yao, Yiyu; Artiemjew, Piotr; Ciucci, Davide; Liu, Dun; Ślęzak, Dominik; Zielosko, Beata
2
2017
Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Zbl 1369.68037
de Moura, Leonardo
2
2017
Geometric science of information. Third international conference, GSI 2017, Paris, France, November 7–9, 2017. Proceedings. Zbl 1374.94006
Nielsen, Frank; Barbaresco, Frédéric
1
2017
Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part III. Zbl 1380.94008
Takagi, Tsuyoshi; Peyrin, Thomas
1
2017
Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68010
Esparza, Javier; Murawski, Andrzej S.
1
2017
Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Zbl 1352.03004
Day, Adam; Fellows, Michael; Greenberg, Noam; Khoussainov, Bakhadyr; Melnikov, Alexander; Rosamond, Frances
1
2017
Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Zbl 1368.68008
Gaspers, Serge; Walsh, Toby
1
2017
Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Zbl 1369.68036
Ranzato, Francesco
1
2017
Reachability problems. 11th international workshop, RP 2017, London, UK, September 7–9, 2017. Proceedings. Zbl 1371.68009
Hague, Matthew; Potapov, Igor
1
2017
Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Zbl 1369.68029
Klasing, Ralf; Zeitoun, Marc
1
2017
Topics in theoretical computer science. Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12–14, 2017. Proceedings. Zbl 1373.68021
Mousavi, Mohammad Reza; Sgall, Jiří
1
2017
Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Zbl 1416.03005
Ghosh, Sujata; Prasad, Sanjiva
1
2017
Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Zbl 1365.68007
Carayol, Arnaud; Nicaud, Cyril
1
2017
Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Zbl 1367.68013
de Lara, Juan; Plump, Detlef
1
2017
Advances in cryptology – EUROCRYPT 2016. 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8–12, 2016. Proceedings. Part I. Zbl 1339.94004
Fischlin, Marc; Coron, Jean-Sébastien
3
2016
Advances in cryptology – CRYPTO 2016. 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14–18, 2016. Proceedings. Part II. Zbl 1344.94002
Robshaw, Matthew; Katz, Jonathan
2
2016
Descriptive set theoretic methods in automata theory. Decidability and topological complexity. Zbl 1375.03003
Skrzypczak, Michał
2
2016
Advances in cryptology – EUROCRYPT 2016. 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8–12, 2016. Proceedings. Part II. Zbl 1337.94002
Fischlin, Marc; Coron, Jean-Sébastien
2
2016
Combinatorial optimization. 4th international symposium, ISCO 2016, Vietri sul Mare, Italy, May 16–18, 2016. Revised selected papers. Zbl 1346.90004
Cerulli, Raffaele; Fujishige, Satoru; Mahjoub, A. Ridha
2
2016
Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Zbl 1346.68003
Artho, Cyrille; Legay, Axel; Peled, Doron
1
2016
Combinatorial optimization and applications. 10th international conference, COCOA 2016, Hong Kong, China, December 16–18, 2016. Proceedings. Zbl 1377.68004
Chan, T-H. Hubert; Li, Minming; Wang, Lusheng
1
2016
Post-quantum cryptography. 7th international workshop, PQCrypto 2016, Fukuoka, Japan, February 24–26, 2016. Proceedings. Zbl 1331.94007
Takagi, Tsuyoshi
1
2016
Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Zbl 1331.68016
Kiselyov, Oleg; King, Andy
1
2016
Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Zbl 1342.68025
Kohlhase, Michael; Johansson, Moa; Miller, Bruce; de Moura, Leonardo; Tompa, Frank
1
2016
Advances in cryptology – CRYPTO 2016. 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14–18, 2016. Proceedings. Part I. Zbl 1344.94001
Robshaw, Matthew; Katz, Jonathan
1
2016
Cryptographic hardware and embedded systems – CHES 2016. 18th international conference, Santa Barbara, CA, USA, August 17–19, 2016. Proceedings. Zbl 1343.68009
Gierlichs, Benedikt; Poschmann, Axel Y.
1
2016
Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Zbl 1343.68004
Blanchette, Jasmin Christian; Merz, Stephan
1
2016
Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Zbl 1339.68004
Albert, Elvira; Lanese, Ivan
1
2016
Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Zbl 1337.68009
Creignou, Nadia; Le Berre, Daniel
1
2016
Graph drawing and network visualization. 24th international symposium, GD 2016, Athens, Greece, September 19–21, 2016. Revised selected papers. Zbl 1352.68012
Hu, Yifan; Nöllenburg, Martin
1
2016
Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised selected papers. Zbl 1334.65002
Nehmeier, Marco; Wolff von Gudenberg, Jürgen; Tucker, Warwick
1
2016
Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Zbl 1360.68008
Chechik, Marsha; Raskin, Jean-François
1
2016
Web services, formal methods, and behavioral types. 11th international workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11–12, 2014, and 12th international workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4–5, 2015. Revised selected papers. Zbl 1334.68017
Hildebrandt, Thomas; Ravara, António; van der Werf, Jan Martijn; Weidlich, Matthias
1
2016
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
Larsen, Kim Guldstrand; Potapov, Igor; Srba, Jiří
1
2016
Theory of cryptography. 12th theory of cryptography conference, TCC 2015, Warsaw, Poland, March 23–25, 2015. Proceedings, Part II. Zbl 1312.94004
Dodis, Yevgeniy; Nielsen, Jesper Buus
5
2015
Advances in cryptology – CRYPTO 2015. 35th annual cryptology conference, Santa Barbara, CA, USA, August 16–20, 2015. Proceedings. Part II. Zbl 1319.94003
Gennaro, Rosario; Robshaw, Matthew
5
2015
Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part II. Zbl 1321.94011
Oswald, Elisabeth; Fischlin, Marc
4
2015
Cryptographic hardware and embedded systems – CHES 2015. 17th international workshop, Saint-Malo, France, September 13–16, 2015. Proceedings. Zbl 1343.68011
Güneysu, Tim; Handschuh, Helena
4
2015
Advances in cryptology – CRYPTO 2015. 35th annual cryptology conference, Santa Barbara, CA, USA, August 16–20, 2015. Proceedings. Part I. Zbl 1319.94002
Gennaro, Rosario; Robshaw, Matthew
3
2015
Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part I. Zbl 1321.94010
Oswald, Elisabeth; Fischlin, Marc
3
2015
Models of strategic reasoning. Logics, games, and communities. Zbl 1327.91003
van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke
3
2015
Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Zbl 1320.68014
Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw
3
2015
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
Kerber, Manfred; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker
2
2015
Geometric science of information. Second international conference, GSI 2015, Palaiseau, France, October 28–30, 2015. Proceedings. Zbl 1334.94028
Nielsen, Frank; Barbaresco, Frédéric
2
2015
Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Zbl 1318.68012
Calude, S.; Dinneen, J.
2
2015
Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Zbl 1360.68006
Baier, Christel; Tinelli, Cesare
2
2015
Fast software encryption. 22nd international workshop, FSE 2015, Istanbul, Turkey, March 8–11, 2015. Revised selected papers. Zbl 1318.68029
Leander, Gregor
2
2015
Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Zbl 1303.68014
Eiter, Thomas; Strass, Hannes; Truszczyński, Mirosław; Woltran, Stefan
2
2015
Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011
Martí-Oliet, Narciso; Ölveczky, Csaba; Talcott, Carolyn
2
2015
Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Zbl 1325.68016
De Nivelle, Hans
2
2015
Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Zbl 1312.68008
Hinze, Ralf; Voigtländer, Janis
1
2015
Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Zbl 1314.68011
Beckmann, Arnold; Mitrana, Victor; Soskova, Mariya
1
2015
Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Zbl 1316.68008
Destercke, Sébastien; Denoeux, Thierry
1
2015
Mathematical morphology and its applications to signal and image processing. 12th international symposium, ISMM 2015, Reykjavik, Iceland, May 27–29, 2015. Proceedings. Zbl 1316.68004
Benediktsson, Jón Atli; Chanussot, Jocelyn; Najman, Laurent; Talbot, Hugues
1
2015
Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part II. Zbl 1318.68024
Italiano, F.; Pighizzini, Giovanni; Sannella, T.
1
2015
Principles and practice of constraint programming. 21st international conference, CP 2015, Cork, Ireland, August 31 – September 4, 2015. Proceedings. Zbl 1318.68035
Pesant, Gilles
1
2015
Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Zbl 1333.68020
Vitek, Jan
1
2015
Public-key cryptography – PKC 2015. 18th IACR international conference on practice and theory in public-key cryptography, Gaithersburg, MD, USA, March 30 – April 1, 2015. Proceedings. Zbl 1318.94002
Katz, Jonathan
1
2015
Fast software encryption. 21st international workshop, FSE 2014, London, UK, March 3–5, 2014. Revised selected papers. Zbl 1318.68013
Cid, Carlos; Rechberger, Christian
1
2015
Advances in cryptology – ASIACRYPT 2015. 21st international conference on the theory and application of cryptology and information security, Auckland, New Zealand, November 29 – December 3, 2015. Proceedings. Part II. Zbl 1327.94002
Iwata, Tetsu; Cheon, Jung Hee
1
2015
Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Zbl 1327.68013
Codescu, Mihai; Diaconescu, Răzvan; Ţuţu, Ionuţ
1
2015
Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Zbl 1320.68024
Meyer, Roland; Platzer, André; Wehrheim, Heike
1
2015
Algorithms – ESA 2015. 23rd annual European symposium, Patras, Greece, September 14–16, 2015. Proceedings. Zbl 1320.68011
Bansal, Nikhil; Finocchi, Irene
1
2015
Theory of cryptography. 11th theory of cryptography conference, TCC 2014, San Diego, CA, USA, February 24–26, 2014. Proceedings. Zbl 1280.94007
Lindell, Yehuda
5
2014
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
Watt, Stephen M.; Davenport, James H.; Sexton, Alan P.; Sojka, Petr; Urban, Josef
4
2014
Advances in cryptology – ASIACRYPT 2014. 20th international conference on the theory and application of cryptology and information security, Kaoshiung, Taiwan, R.O.C., December 7–11, 2014, Proceedings, Part II. Zbl 1301.94002
Sarkar, Palash; Iwata, Tetsu
3
2014
Advances in cryptology – CRYPTO 2014. 34th annual cryptology conference, Santa Barbara, CA, USA, August 17–21, 2014. Proceedings, Part I. Zbl 1292.94002
Garay, Juan A.; Gennaro, Rosario
3
2014
Topics in cryptology – CT-RSA 2014. The cryptographer’s track at the RSA conference 2014, San Francisco, CA, USA, February 25–28, 2014. Proceedings. Zbl 1283.94001
Benaloh, Josh
2
2014
Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Zbl 1325.68014
Cassez, Franck; Raskin, Jean-François
2
2014
Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Zbl 1318.68016
Escobar, Santiago
2
2014
Selected areas in cryptography – SAC 2013. 20th international conference, Burnaby, BC, Canada, August 14–16, 2013. Revised selected papers. Zbl 1321.94008
Lange, Tanja; Lauter, Kristin; Lisoněk, Petr
2
2014
Advances in cryptology – EUROCRYPT 2014. 33rd annual international conference on the theory and applications of cryptographic techniques, Copenhagen, Denmark, May 11–15, 2014. Proceedings. Zbl 1287.94004
Nguyen, Phong Q.; Oswald, Elisabeth
2
2014
Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Zbl 1294.68020
Klein, Gerwin; Gamboa, Ruben
2
2014
Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Zbl 1291.68017
Dowek, Gilles
2
2014
Advances in cryptology – CRYPTO 2014. 34th annual cryptology conference, Santa Barbara, CA, USA, August 17–21, 2014. Proceedings, Part II. Zbl 1292.94001
Garay, Juan A.; Gennaro, Rosario
2
2014
Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Zbl 1295.68021
Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide
2
2014
Cryptographic hardware and embedded systems – CHES 2014. 16th international workshop, Busan, South Korea, September 23–26, 2014. Proceedings. Zbl 1316.68002
Batina, Lejla; Robshaw, Matthew
2
2014
Transactions on Computational Collective Intelligence XIII. Zbl 1283.68038
Nguyen, Ngoc-Thanh; Le-Thi, Hoai An
1
2014
...and 150 more Documents
all top 5

Cited by 8,813 Authors

43 Meseguer Guaita, José
32 Pardalos, Panos M.
21 Nipkow, Tobias
20 Blanchette, Jasmin Christian
20 Engelfriet, Joost
19 Bergstra, Jan A.
19 Pan, Victor Yakovlevich
18 Alpuente, María
18 Benzmüller, Christoph Ewald
18 Paulson, Lawrence Charles
18 Rabe, Florian
17 Larsen, Kim Guldstrand
17 Lucas, Salvador
17 Montanari, Ugo G.
17 Rozenberg, Grzegorz
17 Vogler, Walter
16 Martí-Oliet, Narciso
15 Schaub, Torsten H.
14 Bodlaender, Hans L.
14 Horst, Reiner
14 Kamide, Norihiro
14 Kern-Isberner, Gabriele
13 Baier, Christel
13 Courcelle, Bruno
13 Mossakowski, Till
12 Benson, Harold P.
12 Escobar, Santiago
12 Lucanu, Dorel
12 Wansing, Heinrich Theodor
12 Wood, Derick
11 Baader, Franz
11 Bernstein, Daniel Julius
11 De Raedt, Luc
11 Drewes, Frank
11 Geffert, Viliam
11 Hermanns, Holger
11 Ingólfsdóttir, Anna
11 Kohlhase, Michael
11 Roşu, Grigore
11 Rutten, Jan J. M. M.
10 Baeten, Jos C. M.
10 Basin, David A.
10 Bundy, Alan
10 Case, John
10 Corradini, Andrea
10 Durán, Francisco
10 Falaschi, Moreno
10 Katoen, Joost-Pieter
10 Klein, Rolf-Dieter
10 Kloks, Ton
10 Koutny, Maciej
10 Liotta, Giuseppe
10 Nguyen van Thoai
10 Popescu, Andrei
10 Sau, Ignasi
10 Struth, Georg
10 Talcott, Carolyn L.
10 Tarlecki, Andrzej
10 Urban, Josef
10 Woltran, Stefan
10 Žilinskas, Antanas
9 Beierle, Christoph
9 Ćirić, Miroslav D.
9 de Berg, Mark Theodoor
9 Floudas, Christodoulos Achilleus
9 Gastin, Paul
9 Kaliszyk, Cezary
9 Kratsch, Stefan
9 Meyer, John-Jules Charles
9 Niederreiter, Harald
9 Peltier, Nicolas
9 Riguzzi, Fabrizio
9 Salomaa, Arto Kustaa
9 Sannella, Donald T.
9 Silva, Alexandra
9 Thiemann, René
9 Thilikos, Dimitrios M.
8 Ballis, Demis
8 Böhme, Sascha
8 Brihaye, Thomas
8 De Nicola, Rocco
8 Eiter, Thomas
8 Guttmann, Walter
8 Hennessy, Matthew C. B.
8 Ignjatović, Jelena
8 Kutsia, Temur
8 Lokshtanov, Daniel
8 Papadopoulou, Evanthia
8 Raskin, Jean-François
8 Riesco, Adrián
8 Rusu, Vlad
8 Saurabh, Saket
8 Standaert, Francois-Xavier
8 Verdejo, Alberto
8 Verraedt, Raymond
8 Wanke, Egon
8 Woodcock, James C. P.
7 Aceto, Luca
7 Aichholzer, Oswin
7 Arusoaie, Andrei
...and 8,713 more Authors
all top 5

Cited in 543 Journals

503 Theoretical Computer Science
160 Journal of Automated Reasoning
154 Information and Computation
119 Formal Aspects of Computing
118 Information Processing Letters
115 Journal of Global Optimization
110 Acta Informatica
101 Theory and Practice of Logic Programming
98 Journal of Computer and System Sciences
95 Artificial Intelligence
87 Algorithmica
74 Journal of Logical and Algebraic Methods in Programming
68 Discrete Applied Mathematics
64 Journal of Symbolic Computation
61 European Journal of Operational Research
58 Applied Mathematics and Computation
56 Formal Methods in System Design
53 Journal of Computational and Applied Mathematics
48 Annals of Mathematics and Artificial Intelligence
43 Information Sciences
40 Computers & Mathematics with Applications
39 Annals of Operations Research
38 Journal of Applied Non-Classical Logics
36 Computational Geometry
34 Studia Logica
33 Computing
33 Journal of Cryptology
33 Theory of Computing Systems
32 The Journal of Logic and Algebraic Programming
31 Mathematics of Computation
31 Journal of Optimization Theory and Applications
31 Linear Algebra and its Applications
30 Discrete & Computational Geometry
29 Journal of Computational Physics
29 International Journal of Foundations of Computer Science
29 Mathematical Programming. Series A. Series B
28 International Journal of Approximate Reasoning
28 MSCS. Mathematical Structures in Computer Science
28 Computational Optimization and Applications
28 Journal of Applied Logic
27 International Journal of Computer Mathematics
26 Designs, Codes and Cryptography
24 Computers & Operations Research
24 Cybernetics and Systems Analysis
22 BIT
22 Science of Computer Programming
22 Pattern Recognition
22 Distributed Computing
22 Cryptography and Communications
21 Discrete Mathematics
21 Journal of Mathematical Analysis and Applications
21 RAIRO. Informatique Théorique et Applications
21 Journal of Logic, Language and Information
20 Computer Methods in Applied Mechanics and Engineering
20 The Journal of Symbolic Logic
20 Applicable Algebra in Engineering, Communication and Computing
19 Journal of Combinatorial Optimization
18 International Journal of Control
18 Journal of Philosophical Logic
18 Machine Learning
17 Software. Practice & Experience
17 International Journal of Computational Geometry & Applications
17 Journal of Functional Programming
17 Optimization Letters
16 Fuzzy Sets and Systems
16 Journal of Differential Equations
16 SIAM Journal on Computing
16 Annals of Pure and Applied Logic
16 Optimization
16 New Generation Computing
16 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
16 RAIRO. Theoretical Informatics and Applications
16 ACM Transactions on Computational Logic
16 Logical Methods in Computer Science
15 International Journal for Numerical Methods in Engineering
15 Journal of Complexity
14 Mathematical Systems Theory
14 Operations Research Letters
14 Constraints
13 Automatica
13 Synthese
13 Computer Aided Geometric Design
13 International Journal of Intelligent Systems
13 Mathematical and Computer Modelling
13 Real-Time Systems
13 Journal of Mathematical Imaging and Vision
12 Computer Physics Communications
12 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
12 Numerische Mathematik
12 Journal of Computer Science and Technology
12 Numerical Algorithms
11 Programming and Computer Software
11 RAIRO, Informatique Théorique
11 Discrete Event Dynamic Systems
11 Combinatorics, Probability and Computing
11 Finite Fields and their Applications
11 Mathematical Problems in Engineering
11 Soft Computing
11 Mathematics in Computer Science
10 Notre Dame Journal of Formal Logic
...and 443 more Journals
all top 5

Cited in 62 Fields

3,750 Computer science (68-XX)
847 Mathematical logic and foundations (03-XX)
757 Operations research, mathematical programming (90-XX)
549 Numerical analysis (65-XX)
413 Information and communication theory, circuits (94-XX)
368 Combinatorics (05-XX)
174 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
156 Systems theory; control (93-XX)
155 Partial differential equations (35-XX)
118 Number theory (11-XX)
116 Probability theory and stochastic processes (60-XX)
105 Biology and other natural sciences (92-XX)
88 Statistics (62-XX)
81 Order, lattices, ordered algebraic structures (06-XX)
76 Ordinary differential equations (34-XX)
71 Fluid mechanics (76-XX)
70 Calculus of variations and optimal control; optimization (49-XX)
69 Linear and multilinear algebra; matrix theory (15-XX)
68 Mechanics of deformable solids (74-XX)
67 Group theory and generalizations (20-XX)
65 Category theory; homological algebra (18-XX)
58 Convex and discrete geometry (52-XX)
43 Quantum theory (81-XX)
36 Dynamical systems and ergodic theory (37-XX)
34 General and overarching topics; collections (00-XX)
31 Commutative algebra (13-XX)
30 General algebraic systems (08-XX)
30 Algebraic geometry (14-XX)
28 History and biography (01-XX)
28 Real functions (26-XX)
27 Field theory and polynomials (12-XX)
24 Operator theory (47-XX)
19 Approximations and expansions (41-XX)
19 Geometry (51-XX)
19 Statistical mechanics, structure of matter (82-XX)
18 Associative rings and algebras (16-XX)
16 Functional analysis (46-XX)
15 Functions of a complex variable (30-XX)
14 Harmonic analysis on Euclidean spaces (42-XX)
14 Mechanics of particles and systems (70-XX)
13 Classical thermodynamics, heat transfer (80-XX)
12 Integral equations (45-XX)
12 General topology (54-XX)
11 Special functions (33-XX)
11 Global analysis, analysis on manifolds (58-XX)
11 Optics, electromagnetic theory (78-XX)
11 Geophysics (86-XX)
9 Differential geometry (53-XX)
9 Manifolds and cell complexes (57-XX)
6 Nonassociative rings and algebras (17-XX)
6 Relativity and gravitational theory (83-XX)
5 Measure and integration (28-XX)
5 Difference and functional equations (39-XX)
4 Potential theory (31-XX)
4 Mathematics education (97-XX)
2 Sequences, series, summability (40-XX)
2 Algebraic topology (55-XX)
2 Astronomy and astrophysics (85-XX)
1 Topological groups, Lie groups (22-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Abstract harmonic analysis (43-XX)
1 Integral transforms, operational calculus (44-XX)

Citations by Year