×

Lecture Notes in Computer Science

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

Authors / Editors

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

Fields

5,422 Computer science (68-XX)
5,376 General and overarching topics; collections (00-XX)
894 Information and communication theory, circuits (94-XX)
327 Mathematical logic and foundations (03-XX)
206 Operations research, mathematical programming (90-XX)
183 Numerical analysis (65-XX)
146 Biology and other natural sciences (92-XX)
103 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
49 Systems theory; control (93-XX)
46 Combinatorics (05-XX)
42 Quantum theory (81-XX)
32 Number theory (11-XX)
15 Probability theory and stochastic processes (60-XX)
13 Category theory; homological algebra (18-XX)
13 Calculus of variations and optimal control; optimization (49-XX)
10 Statistics (62-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
8 History and biography (01-XX)
6 Convex and discrete geometry (52-XX)
6 Differential geometry (53-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)
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 Dynamical systems and ergodic theory (37-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 Functional analysis (46-XX)
1 Operator theory (47-XX)
1 Mechanics of deformable solids (74-XX)

Publications by Year

Citations contained in zbMATH Open

2,041 Publications have been cited 12,270 times in 10,266 Documents Cited by Year
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
644
1980
Isabelle/HOL. A proof assistant for higher-order logic. Zbl 0994.68131
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
502
2002
Treewidth. Computations and approximations. Zbl 0825.68144
Kloks, Ton
345
1994
Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037
232
2002
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
216
2007
An introduction to partial differential equations. Zbl 0917.35001
Renardy, M.; Rogers, R. C.
209
1993
Constrained global optimization: algorithms and applications. Zbl 0638.90064
Pardalos, P. M.; Rosen, J. B.
200
1987
Global optimization. Zbl 0752.90075
Törn, Aimo; Zilinskas, Antanas
190
1989
Multiobjective optimization. Interactive and evolutionary approaches. Zbl 1147.68304
189
2008
Online algorithms. The state of the art. Zbl 1177.68009
158
1998
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
156
1979
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.
145
1976
Automatic differentiation: techniques and applications. Zbl 0473.68025
Rall, Louis B.
139
1981
The stability theory of stream ciphers. Zbl 0762.94008
Ding, Cunsheng; Xiao, Guozhen; Shan, Weijuan
137
1991
Isabelle. A generic theorem prover. Zbl 0825.68059
Paulson, Lawrence C.
135
1994
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem. Zbl 1293.68005
Godefroid, Patrice
123
1996
First-order dynamic logic. Zbl 0403.03024
Harel, David
115
1979
Axioms and hulls. Zbl 0777.68012
Knuth, D. E.
112
1992
A collection of test problems for constrained global optimization algorithms. Zbl 0718.90054
Floudas, Christodoulos A.; Pardalos, Panos M.
103
1990
Concrete and abstract Voronoi diagrams. Zbl 0699.68005
Klein, Rolf
92
1989
Drawing graphs. Methods and models. Zbl 0977.68644
92
2001
Hyperedge replacement: grammars and languages. Zbl 0787.68066
Habel, Annegret
89
1992
Combinatorics on traces. Zbl 0717.68002
Diekert, Volker
86
1990
The design of dynamic data structures. Zbl 0545.68009
Overmars, Mark H.
84
1983
The traveling salesman. Computational solutions for RSP applications. Zbl 0825.90720
Reinelt, Gerhard
82
1994
Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142
Hermanns, Holger
75
2002
Matrix eigensystem routines. EISPACK guide extension. Zbl 0368.65020
Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B.
74
1977
Computing in systems described by equations. Zbl 0421.68038
O’Donnell, Michael J.
66
1977
Hybrid systems. Zbl 0825.00044
61
1993
The logic of information structures. Zbl 0788.03001
Wansing, Heinrich
60
1993
Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents. Zbl 0978.03014
Kern-Isberner, Gabriele
60
2001
Computer science today. Recent trends and developments. Zbl 0875.00060
59
1995
Network analysis. Methodological foundations. Zbl 1069.68001
59
2005
New stream cipher designs. The eSTREAM finalists. Zbl 1259.94006
57
2008
Foundations of inductive logic programming. Zbl 1293.68014
Nienhuys-Cheng, Shan-Hwei; de Wolf, Ronald
56
1997
Filtering, segmentation and depth. Zbl 0801.68171
Nitzberg, Mark; Mumford, David; Shiota, Takahiro
55
1993
How to multiply matrices faster. Zbl 0548.65022
Pan, Victor
55
1984
Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072
52
1998
Group-theoretic algorithms and graph isomorphism. Zbl 0487.68055
Hoffmann, Christoph M.
52
1982
Modular construction and partial order semantics of Petri nets. Zbl 1293.68015
Vogler, Walter
51
1992
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
51
2005
Theory of program structures: Schemes, semantics, verification. Zbl 0345.68002
Greibach, Sheila A.
47
1975
CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001
47
2004
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.
46
1974
Algebraic semantics. Zbl 0474.68010
Guessarian, Irène
44
1981
A unified approach to interior point algorithms for linear complementary problems. Zbl 0766.90077
Kojima, Masakazu; Megiddo, Nimrod; Noma, Toshihito; Yoshise, Akiko
43
1991
Probabilistic inductive logic programming. Theory and applications. Zbl 1132.68007
43
2008
Axiomatising the logic of computer programming. Zbl 0474.68045
Goldblatt, Robert
41
1982
Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013
40
1987
Network calculus. A theory of deterministic queueing systems for the Internet. Zbl 0974.90003
Le Boudec, Jean-Yves; Thiran, Patrick
40
2001
Turing machines with sublogarithmic space. Zbl 0998.68062
Szepietowski, Andrzej
39
1994
The logic of categorial grammars. A deductive account of natural language syntax and semantics. Zbl 1261.03001
Moot, Richard; Retoré, Christian
39
2012
Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001
Schmidt-Schauss, Manfred
38
1989
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005
38
1990
On the computational geometry of pocket machining. Zbl 0755.68136
Held, Martin
38
1991
Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24–27, 2009. Revised selected and invited papers. Zbl 1179.68004
38
2010
Fundamental algorithms for permutation groups. Zbl 0785.20001
Butler, Gregory
36
1991
Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2–7, 2008. Advanced lectures. Zbl 1137.68302
36
2008
Operating systems. An advanced course. Zbl 0375.68002
35
1978
Evolutionary multi-criterion optimization. 4th international conference, EMO 2007, Matsushima, Japan, March 5–8, 2007. Proceedings. Zbl 1159.68305
35
2007
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
34
1990
Foundations of equational logic programming. Zbl 0688.68004
Hölldobler, Steffen
34
1989
Computational cardiology. Modeling of anatomy, electrophysiology, and mechanics. Zbl 1051.92025
Sachse, Frank B.
33
2004
Scale space and variational methods in computer vision. Second international conference, SSVM 2009, Voss, Norway, June 1–5, 2009. Proceedings. Zbl 1233.68026
33
2009
Grammar and L forms: an introduction. Zbl 0521.68085
Wood, Derick
31
1980
Formal concept analysis. Foundations and applications. Zbl 1087.68003
29
2005
Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5–9, 1990. Proceedings. Zbl 0753.00023
28
1991
Finite representations of CCS and TCSP programs by automata and Petri nets. Zbl 0684.68011
Taubner, Dirk
27
1989
On the integration of algebraic functions. Zbl 0471.14009
Davenport, James Harold
27
1981
Attribute grammars. Definitions, systems and bibliography. Zbl 0647.68073
Deransart, Pierre; Jourdan, Martin; Lorho, Bernard
26
1988
Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. ”Under the auspices of the European Association for Theoretical Computer Science”. Zbl 0512.00027
26
1983
Evolutionary multi-criterion optimization. 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5–8, 2011. Proceedings. Zbl 1214.68021
26
2011
Property testing. Current research and surveys. Zbl 1197.68012
26
2010
Resolution methods for the decision problem. Zbl 0789.03013
25
1993
Semirings for constraint solving and programming. Zbl 1054.68136
Bistarelli, Stefano
25
2004
Scale space and variational methods in computer vision. 4th international conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2–6, 2013. Proceedings. Zbl 1362.68014
25
2013
List decoding of error-correcting codes. Winning thesis of the 2002 ACM Doctoral Dissertation Competition. Zbl 1075.94001
Guruswami, Venkatesan
23
2004
Queueing networks with discrete time scale. Explicit expressions for the steady state behaviour of discrete time stochastic networks. Zbl 0988.60094
Daduna, Hans
23
2001
A methodology for uncertainty in knowledge-based systems. Zbl 0705.68097
Weichselberger, Kurt; Pöhlmann, Sigrid
22
1990
Rough sets and current trends in computing. 1st international conference, RSCTC ’98, Warsaw, Poland, June 22–26, 1998. Proceedings. Zbl 0891.00026
22
1998
Temporal logic. 1st international conference, ICTL ’94, Bonn, Germany, July 11–14, 1994. Proceedings. Zbl 0875.03007
22
1994
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.
22
2004
Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978. Zbl 0398.00019
22
1979
L systems. Zbl 0281.00016
21
1974
Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053
21
2001
Complexity and structure. Zbl 0589.03022
Schöning, Uwe
21
1986
Co-oP. A group decision support system for cooperative multiple criteria group decision making. Zbl 0677.68124
Bui, Tung X.
20
1987
Automated deduction in equational logic and cubic curves. Zbl 0921.03011
McCune, William; Padmanabhan, R.
20
1996
A connotational theory of program structure. Zbl 0625.68018
Royer, James S.
20
1987
Systems of reductions. Zbl 0636.68027
Benninghofen, B.; Kemmerich, S.; Richter, M. M.
20
1987
Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Zbl 0674.68011
Zwiers, Job
19
1989
Evolutionary multi-criterion optimization. 5th international conference, EMO 2009, Nantes, France, April 7–10, 2009. Proceedings. Zbl 1160.68302
19
2009
Association rule mining. Models and algorithms. Zbl 0998.68047
Zhang, Chengqi; Zhang, Shichao
19
2002
Formal methods for industrial applications. Specification and programming the Steam Boiler Control. Zbl 1060.68501
18
1996
Direct methods for sparse matrices. Zbl 0516.65011
Osterby, Ole; Zlatev, Zahari
18
1983
Ray shooting, depth orders and hidden surface removal. Zbl 0787.68098
de Berg, Mark
18
1993
Pascal. User manual and report. Zbl 0288.68043
Jensen, Kathleen; Wirth, Niklaus
18
1974
Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Zbl 1133.68009
18
2008
Lectures on the complexity of bilinear problems. Zbl 0609.68032
de Groote, H. F.
18
1987
Modular specification and verification of object-oriented programs. Zbl 0998.68034
Müller, Peter
17
2002
Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part IV. Zbl 1517.94004
1
2023
Algorithms and complexity. 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023. Proceedings. Zbl 1521.68010
1
2023
Scale space and variational methods in computer vision. 9th international conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21–25, 2023. Proceedings. Zbl 1525.68001
1
2023
Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Part I. Zbl 1528.68027
3
2022
A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Zbl 1515.68037
2
2022
Combinatorial algorithms. 33rd international workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022. Proceedings. Zbl 1493.68006
1
2022
Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part III. Zbl 1493.94003
1
2022
Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Zbl 1498.68014
1
2022
Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Zbl 1509.68008
1
2022
Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Zbl 1490.03004
1
2022
Topics in cryptology – CT-RSA 2022. Cryptographers’ track at the RSA conference 2022, virtual event, March 1–2, 2022. Proceedings. Zbl 1490.94003
1
2022
Algorithms and discrete applied mathematics. 8th international conference, CALDAM 2022, Puducherry, India, February 10–12, 2022. Proceedings. Zbl 1509.68007
1
2022
Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part II. Zbl 1475.94011
1
2021
Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Zbl 1482.68013
1
2021
Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Zbl 1482.68021
1
2021
Membrane computing. 21st international conference, CMC 2020, virtual event, September 14–18, 2020. Revised selected papers. Zbl 1475.68021
1
2021
Cellular automata. 14th international conference on cellular automata for research and industry, ACRI 2020, Lodz, Poland, December 2–4, 2020. Proceedings. Zbl 1482.68024
1
2021
Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Zbl 1482.94005
1
2021
Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Zbl 1484.68013
1
2021
Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Zbl 1466.68016
1
2021
Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Zbl 1471.68016
1
2021
Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Zbl 1486.92002
1
2021
Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Zbl 1487.68013
1
2021
Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part III. Zbl 1484.94002
1
2021
Progress in cryptology – LATINCRYPT 2021. 7th international conference on cryptology and information security in Latin America, Bogotá, Colombia, October 6–8, 2021. Proceedings. Zbl 1487.94007
1
2021
Approximation and online algorithms. 19th international workshop, WAOA 2021, Lisbon, Portugal, September 6–10, 2021. Revised selected papers. Zbl 1496.68028
1
2021
Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Zbl 1507.91003
1
2021
Optimization and applications. 12th international conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021. Proceedings. Zbl 1508.90001
1
2021
Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Zbl 1511.68014
1
2021
Advances in cryptology – ASIACRYPT 2021. 27th international conference on the theory and application of cryptology and information security, Singapore, December 6–10, 2021. Proceedings. Part II. Zbl 1510.94003
1
2021
Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012
4
2020
Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Zbl 1502.68022
3
2020
Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Zbl 1496.68019
3
2020
Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Zbl 1502.68017
2
2020
Computer science – theory and applications. 15th international computer science symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020. Proceedings. Zbl 1496.68017
Fernau, Henning
2
2020
Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part III. Zbl 1475.94009
2
2020
Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Zbl 1498.68016
2
2020
Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010
2
2020
Structural information and communication complexity. 27th international colloquium, SIROCCO 2020, Paderborn, Germany, June 29 – July 1, 2020. Proceedings. Zbl 1493.68021
1
2020
Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Zbl 1502.68029
1
2020
Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Zbl 1464.68012
1
2020
Progress in cryptology – AFRICACRYPT 2020. 12th international conference on cryptology in Africa, Cairo, Egypt, July 20–22, 2020. Proceedings. Zbl 1498.94007
1
2020
Applied cryptography and network security. 18th international conference, ACNS 2020, Rome, Italy, October 19–22, 2020. Proceedings. Part I. Zbl 1454.94003
1
2020
Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Zbl 1453.68017
1
2020
Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004
1
2020
Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Zbl 1493.68015
1
2020
Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part I. Zbl 1475.94008
1
2020
Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part II. Zbl 1482.94003
1
2020
Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Zbl 1498.68017
1
2020
Parallel processing and applied mathematics. 13th international conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised selected papers. Part I. Zbl 1496.68037
1
2020
Inductive logic programming. 29th international conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019. Proceedings. Zbl 1496.68026
1
2020
Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Zbl 1496.03007
1
2020
Selected areas in cryptography – SAC 2019. 26th international conference, Waterloo, ON, Canada, August 12–16, 2019. Revised selected papers. Zbl 1430.94005
1
2020
Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006
1
2020
Information security and privacy. 25th Australasian conference, ACISP 2020, Perth, WA, Australia, November 30 – December 2, 2020. Proceedings. Zbl 1461.68013
1
2020
Algorithmic aspects in information and management. 14th international conference, AAIM 2020, Jinhua, China, August 10–12, 2020. Proceedings. Zbl 1464.68025
1
2020
Ontologies and concepts in mind and machine. 25th international conference on conceptual structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020. Proceedings. Zbl 1464.68001
1
2020
Latin 2020: theoretical informatics. 14th Latin American symposium, São Paulo, Brazil, January 5–8, 2021. Proceedings. Zbl 1496.68029
1
2020
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
9
2019
Models, languages, and tools for concurrent and distributed programming. Essays dedicated to Rocco De Nicola on the occasion of his 65th birthday. Zbl 1416.68004
9
2019
Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Zbl 1410.68009
6
2019
Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Zbl 1428.68018
6
2019
Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Zbl 1408.68010
4
2019
Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part II. Zbl 1428.94005
4
2019
Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Zbl 1408.68024
3
2019
Post-quantum cryptography. 10th international conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019. Revised selected papers. Zbl 1418.94003
3
2019
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
3
2019
The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday. Zbl 1425.68003
3
2019
Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part III. Zbl 1428.94006
3
2019
Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Zbl 1408.68018
2
2019
Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Zbl 1408.68017
2
2019
Formal techniques for distributed objects, components, and systems. 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019. Proceedings. Zbl 1410.68019
2
2019
Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Zbl 1419.68014
2
2019
Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Zbl 1428.68028
2
2019
Graph-based representation and reasoning. 24th international conference on conceptual structures, ICCS 2019, Marburg, Germany, July 1–4, 2019. Proceedings. Zbl 1416.68010
2
2019
Evolutionary multi-criterion optimization. 10th international conference, EMO 2019, East Lansing, MI, USA, March 10–13, 2019. Proceedings. Zbl 1409.68011
1
2019
Advances in cryptology – EUROCRYPT 2019. 38th annual international conference on the theory and applications of cryptographic techniques, Darmstadt, Germany, May 19–23, 2019. Proceedings. Part III. Zbl 1416.94012
1
2019
Computer aided verification. 31st international conference, CAV 2019, New York City, NY, USA, July 15–18, 2019. Proceedings. Part II. Zbl 1416.68008
1
2019
Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Zbl 1425.68005
1
2019
Fundamentals of software engineering. 8th international conference, FSEN 2019, Tehran, Iran, May 1–3, 2019. Revised selected papers. Zbl 1419.68011
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
1
2019
Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part I. Zbl 1428.94013
1
2019
Mathematics and computation in music. 7th international conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings. Zbl 1425.00082
1
2019
Stabilization, safety, and security of distributed systems. 21st international symposium, SSS 2019, Pisa, Italy, October 22–25, 2019. Proceedings. Zbl 1428.68019
1
2019
Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Zbl 1428.68024
1
2019
Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Zbl 1428.68022
1
2019
Parameterized complexity in the polynomial hierarchy. Extending parameterized complexity theory to higher levels of the hierarchy. Zbl 1435.68010
de Haan, Ronald
1
2019
Computational logistics. 9th international conference, ICCL 2018, Vietri Sul Mare, Italy, October 1–3, 2018. Proceedings. Zbl 1397.90011
5
2018
Advances in cryptology – EUROCRYPT 2018. 37th annual international conference on the theory and applications of cryptographic techniques, Tel Aviv, Israel, April 29 – May 3, 2018. Proceedings. Part I. Zbl 1387.94008
4
2018
It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Zbl 1461.68011
4
2018
Bidirectional transformations. International summer school, Oxford, UK, July 25–29, 2016. Tutorial lectures. Zbl 1405.68010
3
2018
Post-quantum cryptography. 9th international conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9–11, 2018. Proceedings. Zbl 1387.94005
3
2018
Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Zbl 1383.68006
3
2018
Advances in cryptology – EUROCRYPT 2018. 37th annual international conference on the theory and applications of cryptographic techniques, Tel Aviv, Israel, April 29 – May 3, 2018. Proceedings. Part III. Zbl 1387.94006
2
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
2
2018
Large-scale scientific computing. 11th international conference, LSSC 2017, Sozopol, Bulgaria, June 5–9, 2017. Revised selected papers. Zbl 1435.65014
2
2018
Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Zbl 1398.68030
2
2018
Adventures between lower bounds and higher altitudes. Essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday. Zbl 1398.68015
2
2018
Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5–8, 2018. Proceedings. Zbl 1387.68015
2
2018
Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Zbl 1391.68006
2
2018
...and 325 more Documents
all top 5

Cited by 14,874 Authors

60 Meseguer Guaita, José
35 Nipkow, Tobias
35 Rozenberg, Grzegorz
34 Pardalos, Panos M.
32 Paulson, Lawrence Charles
30 Engelfriet, Joost
30 Liotta, Giuseppe
30 Martí-Oliet, Narciso
28 Bergstra, Jan A.
28 Larsen, Kim Guldstrand
26 Kern-Isberner, Gabriele
26 Lucas, Salvador
25 Alpuente, María
25 Vogler, Walter
24 Baier, Christel
24 Benzmüller, Christoph Ewald
24 Blanchette, Jasmin Christian
24 Montanari, Ugo G.
23 Escobar, Santiago
23 Pan, Victor Yakovlevich
23 Rabe, Florian
22 Beierle, Christoph
22 Didimo, Walter
22 Kamide, Norihiro
21 Schaub, Torsten H.
20 Aceto, Luca
19 Drewes, Frank
18 Bernstein, Daniel Julius
18 Bodlaender, Hans L.
18 Ganian, Robert
18 Ingólfsdóttir, Anna
18 Kohlhase, Michael
18 Struth, Georg
17 Bruni, Roberto
17 Case, John
17 Corradini, Andrea
17 Durán, Francisco
17 Katoen, Joost-Pieter
17 Thilikos, Dimitrios M.
17 Urban, Josef
17 Vardi, Moshe Ya’akov
17 Verdejo, Alberto
17 Zimmermann, Martin
16 Falaschi, Moreno
16 Hermanns, Holger
16 Jain, Sanjay
16 Kaliszyk, Cezary
16 Mossakowski, Till
16 Sarkar, Palash
16 Talcott, Carolyn L.
15 Bekos, Michael A.
15 Groote, Jan Friso
15 Hennessy, Matthew C. B.
15 Miettinen, Kaisa M.
15 Popescu, Andrei
15 Qi, Wenfeng
15 Sau, Ignasi
15 Wood, Derick
14 Baader, Franz
14 Bouyer, Patricia
14 Courcelle, Bruno
14 De Raedt, Luc
14 Dershowitz, Nachum
14 Epstein, Leah
14 Geffert, Viliam
14 Horst, Reiner
14 Lange, Tanja
14 Meyer, John-Jules Charles
14 Szeider, Stefan
14 van Glabbeek, Robert Jan
14 Žilinskas, Antanas
13 Chatterjee, Krishnendu
13 Gastin, Paul
13 Kaufmann, Michael
13 Klein, Rolf-Dieter
13 Kloks, Ton
13 Koutny, Maciej
13 Kuznetsov, Stepan L’vovich
13 Middeldorp, Aart
13 Peltier, Nicolas
13 Raskin, Jean-François
13 Roşu, Grigore
13 Rutten, Jan J. M. M.
13 Schröder, Lutz
13 Wansing, Heinrich Theodor
12 Basin, David A.
12 Benson, Harold P.
12 Brihaye, Thomas
12 Bundy, Alan
12 Ćirić, Miroslav D.
12 De Nicola, Rocco
12 Di Giacomo, Emilio
12 Eiter, Thomas
12 Fernau, Henning
12 Fomin, Fedor V.
12 Guttmann, Walter
12 Hoare, C. A. R. Tony
12 Klop, Jan Willem
12 Kreowski, Hans-Jörg
12 Kutsia, Temur
...and 14,774 more Authors
all top 5

Cited in 694 Journals

1,030 Theoretical Computer Science
292 Information and Computation
208 Journal of Automated Reasoning
192 Artificial Intelligence
180 Information Processing Letters
161 Journal of Computer and System Sciences
157 European Journal of Operational Research
149 Journal of Logical and Algebraic Methods in Programming
142 Discrete Applied Mathematics
140 Journal of Global Optimization
139 Formal Aspects of Computing
132 Acta Informatica
115 Theory and Practice of Logic Programming
114 Journal of Symbolic Computation
113 Information Sciences
109 Algorithmica
92 Applied Mathematics and Computation
89 Computers & Operations Research
83 International Journal of Approximate Reasoning
77 Journal of Computational and Applied Mathematics
73 Computers & Mathematics with Applications
73 Formal Methods in System Design
71 The Journal of Logic and Algebraic Programming
64 Annals of Mathematics and Artificial Intelligence
60 Logical Methods in Computer Science
59 Computational Geometry
55 Annals of Operations Research
50 Journal of Cryptology
50 Journal of Applied Logic
49 Machine Learning
45 Journal of Computational Physics
44 Linear Algebra and its Applications
44 Theory of Computing Systems
42 Journal of Applied Non-Classical Logics
41 Studia Logica
41 Designs, Codes and Cryptography
40 International Journal of Foundations of Computer Science
39 Annals of Pure and Applied Logic
38 Fuzzy Sets and Systems
38 Mathematical Structures in Computer Science
36 Discrete & Computational Geometry
36 Computational Optimization and Applications
35 Mathematics of Computation
35 Computing
35 Mathematical Programming. Series A. Series B
34 Distributed Computing
34 Journal of Mathematical Imaging and Vision
34 Fundamenta Informaticae
32 Operations Research Letters
31 Computer Methods in Applied Mechanics and Engineering
31 Journal of Optimization Theory and Applications
30 Discrete Mathematics
30 Journal of Logic, Language and Information
29 Pattern Recognition
29 Cybernetics and Systems Analysis
29 Constraints
29 Cryptography and Communications
28 International Journal of Computer Mathematics
28 Journal of Functional Programming
27 Automatica
27 The Journal of Symbolic Logic
27 Journal of Complexity
26 Journal of Mathematical Analysis and Applications
26 Journal of Combinatorial Optimization
25 Journal of Philosophical Logic
25 Mathematical Problems in Engineering
25 Optimization Letters
24 International Transactions in Operational Research
23 Computer Physics Communications
23 Networks
23 Mathematical and Computer Modelling
23 Natural Computing
22 BIT
22 SIAM Journal on Computing
22 Science of Computer Programming
22 Physica D
22 Applicable Algebra in Engineering, Communication and Computing
21 International Journal of Control
21 RAIRO. Informatique Théorique et Applications
21 SIAM Journal on Imaging Sciences
20 International Journal for Numerical Methods in Engineering
19 Journal of Differential Equations
19 ACM Transactions on Computational Logic
19 Journal of Membrane Computing
18 Journal of Discrete Algorithms
17 Software. Practice & Experience
17 International Journal of Computational Geometry & Applications
17 Soft Computing
17 Discrete Optimization
16 Mathematics and Computers in Simulation
16 Synthese
16 Optimization
16 New Generation Computing
16 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
16 RAIRO. Theoretical Informatics and Applications
16 Computer Science Review
15 Computer Aided Geometric Design
15 Discrete Event Dynamic Systems
15 Numerical Algorithms
15 Applied Mathematical Modelling
...and 594 more Journals
all top 5

Cited in 63 Fields

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

Citations by Year