×

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,098 Publications (since 1973)
all top 5

Authors / Editors

70 Rozenberg, Grzegorz
59 Dongarra, Jack J.
54 Gavrilova, Marina L.
51 Tan, Chih Jeng Kenneth
40 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 Qing, Sihan
16 Sack, Jörg-Rüdiger
15 Gollmann, Dieter
15 Karczewski, Konrad
15 Mayr, Ernst W.
15 Nerode, Anil
15 Potapov, Igor
15 Ślęzak, Dominik
15 Thalheim, Bernhard
15 Woodcock, James C. P.
14 Calude, Cristian S.
14 de Boer, Frank S.
14 Dediu, Adrian Horia
14 Koutny, Maciej
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 Sako, Kazue
13 Susilo, Willy
13 Wang, Huaxiong
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 Rijmen, Vincent
12 Wirsing, Martin
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
10 Brimkov, Valentin E.
...and 7,745 more Authors
all top 5

Fields

5,359 Computer science (68-XX)
5,280 General and overarching topics; collections (00-XX)
859 Information and communication theory, circuits (94-XX)
324 Mathematical logic and foundations (03-XX)
202 Operations research, mathematical programming (90-XX)
183 Numerical analysis (65-XX)
145 Biology and other natural sciences (92-XX)
99 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
48 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)
12 Calculus of variations and optimal control; optimization (49-XX)
10 Statistics (62-XX)
8 History and biography (01-XX)
8 Linear and multilinear algebra; matrix theory (15-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

1,671 Publications have been cited 9,975 times in 8,470 Documents Cited by Year
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
617
1980
Isabelle/HOL. A proof assistant for higher-order logic. Zbl 0994.68131
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
488
2002
Treewidth. Computations and approximations. Zbl 0825.68144
Kloks, Ton
321
1994
Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037
209
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
207
2007
An introduction to partial differential equations. Zbl 0917.35001
Renardy, M.; Rogers, R. C.
197
1993
Constrained global optimization: algorithms and applications. Zbl 0638.90064
Pardalos, P. M.; Rosen, J. B.
189
1987
Global optimization. Zbl 0752.90075
Törn, Aimo; Zilinskas, Antanas
161
1989
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.
140
1976
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
136
1979
The stability theory of stream ciphers. Zbl 0762.94008
Ding, Cunsheng; Xiao, Guozhen; Shan, Weijuan
131
1991
Isabelle. A generic theorem prover. Zbl 0825.68059
Paulson, Lawrence C.
129
1994
Automatic differentiation: techniques and applications. Zbl 0473.68025
Rall, Louis B.
126
1981
Multiobjective optimization. Interactive and evolutionary approaches. Zbl 1147.68304
123
2008
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem. Zbl 1293.68005
Godefroid, Patrice
119
1996
First-order dynamic logic. Zbl 0403.03024
Harel, David
110
1979
Axioms and hulls. Zbl 0777.68012
Knuth, D. E.
105
1992
A collection of test problems for constrained global optimization algorithms. Zbl 0718.90054
Floudas, Christodoulos A.; Pardalos, Panos M.
100
1990
Concrete and abstract Voronoi diagrams. Zbl 0699.68005
Klein, Rolf
92
1989
Online algorithms. The state of the art. Zbl 1177.68009
90
1998
Drawing graphs. Methods and models. Zbl 0977.68644
87
2001
Hyperedge replacement: grammars and languages. Zbl 0787.68066
Habel, Annegret
87
1992
Combinatorics on traces. Zbl 0717.68002
Diekert, Volker
84
1990
The design of dynamic data structures. Zbl 0545.68009
Overmars, Mark H.
79
1983
Matrix eigensystem routines. EISPACK guide extension. Zbl 0368.65020
Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B.
73
1977
Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142
Hermanns, Holger
72
2002
Computing in systems described by equations. Zbl 0421.68038
O’Donnell, Michael J.
59
1977
Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents. Zbl 0978.03014
Kern-Isberner, Gabriele
58
2001
The logic of information structures. Zbl 0788.03001
Wansing, Heinrich
57
1993
Foundations of inductive logic programming. Zbl 1293.68014
Nienhuys-Cheng, Shan-Hwei; de Wolf, Ronald
54
1997
How to multiply matrices faster. Zbl 0548.65022
Pan, Victor
52
1984
Modular construction and partial order semantics of Petri nets. Zbl 1293.68015
Vogler, Walter
51
1992
Network analysis. Methodological foundations. Zbl 1069.68001
49
2005
The traveling salesman. Computational solutions for RSP applications. Zbl 0825.90720
Reinelt, Gerhard
49
1994
Filtering, segmentation and depth. Zbl 0801.68171
Nitzberg, Mark; Mumford, David; Shiota, Takahiro
48
1993
Theory of program structures: Schemes, semantics, verification. Zbl 0345.68002
Greibach, Sheila A.
45
1975
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.
44
1974
Algebraic semantics. Zbl 0474.68010
Guessarian, Irène
43
1981
Probabilistic inductive logic programming. Theory and applications. Zbl 1132.68007
42
2008
Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013
40
1987
CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001
39
2004
Turing machines with sublogarithmic space. Zbl 0998.68062
Szepietowski, Andrzej
39
1994
Group-theoretic algorithms and graph isomorphism. Zbl 0487.68055
Hoffmann, Christoph M.
38
1982
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
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
38
2005
Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072
38
1998
Axiomatising the logic of computer programming. Zbl 0474.68045
Goldblatt, Robert
38
1982
The logic of categorial grammars. A deductive account of natural language syntax and semantics. Zbl 1261.03001
Moot, Richard; Retoré, Christian
38
2012
Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001
Schmidt-Schauss, Manfred
37
1989
On the computational geometry of pocket machining. Zbl 0755.68136
Held, Martin
36
1991
Foundations of equational logic programming. Zbl 0688.68004
Hölldobler, Steffen
34
1989
Network calculus. A theory of deterministic queueing systems for the Internet. Zbl 0974.90003
Le Boudec, Jean-Yves; Thiran, Patrick
34
2001
A unified approach to interior point algorithms for linear complementary problems. Zbl 0766.90077
Kojima, Masakazu; Megiddo, Nimrod; Noma, Toshihito; Yoshise, Akiko
34
1991
Fundamental algorithms for permutation groups. Zbl 0785.20001
Butler, Gregory
34
1991
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
33
1990
Hybrid systems. Zbl 0825.00044
32
1993
New stream cipher designs. The eSTREAM finalists. Zbl 1259.94006
31
2008
Grammar and L forms: an introduction. Zbl 0521.68085
Wood, Derick
31
1980
Computational cardiology. Modeling of anatomy, electrophysiology, and mechanics. Zbl 1051.92025
Sachse, Frank B.
31
2004
Formal concept analysis. Foundations and applications. Zbl 1087.68003
28
2005
Finite representations of CCS and TCSP programs by automata and Petri nets. Zbl 0684.68011
Taubner, Dirk
26
1989
Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5–9, 1990. Proceedings. Zbl 0753.00023
26
1991
Attribute grammars. Definitions, systems and bibliography. Zbl 0647.68073
Deransart, Pierre; Jourdan, Martin; Lorho, Bernard
25
1988
Semirings for constraint solving and programming. Zbl 1054.68136
Bistarelli, Stefano
25
2004
Property testing. Current research and surveys. Zbl 1197.68012
25
2010
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
24
1983
List decoding of error-correcting codes. Winning thesis of the 2002 ACM Doctoral Dissertation Competition. Zbl 1075.94001
Guruswami, Venkatesan
23
2004
Resolution methods for the decision problem. Zbl 0789.03013
22
1993
Temporal logic. 1st international conference, ICTL ’94, Bonn, Germany, July 11–14, 1994. Proceedings. Zbl 0875.03007
22
1994
A connotational theory of program structure. Zbl 0625.68018
Royer, James S.
20
1987
Automated deduction in equational logic and cubic curves. Zbl 0921.03011
McCune, William; Padmanabhan, R.
20
1996
On the integration of algebraic functions. Zbl 0471.14009
Davenport, James Harold
20
1981
Queueing networks with discrete time scale. Explicit expressions for the steady state behaviour of discrete time stochastic networks. Zbl 0988.60094
Daduna, Hans
19
2001
Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053
19
2001
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.
19
2004
Co-oP. A group decision support system for cooperative multiple criteria group decision making. Zbl 0677.68124
Bui, Tung X.
19
1987
Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978. Zbl 0398.00019
19
1979
Systems of reductions. Zbl 0636.68027
Benninghofen, B.; Kemmerich, S.; Richter, M. M.
18
1987
Lectures on the complexity of bilinear problems. Zbl 0609.68032
de Groote, H. F.
18
1987
Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Zbl 0674.68011
Zwiers, Job
18
1989
A methodology for uncertainty in knowledge-based systems. Zbl 0705.68097
Weichselberger, Kurt; Pöhlmann, Sigrid
18
1990
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
17
2008
Modular specification and verification of object-oriented programs. Zbl 0998.68034
Müller, Peter
17
2002
Direct methods for sparse matrices. Zbl 0516.65011
Osterby, Ole; Zlatev, Zahari
16
1983
Rough sets and current trends in computing. 1st international conference, RSCTC ’98, Warsaw, Poland, June 22–26, 1998. Proceedings. Zbl 0891.00026
16
1998
Complexity and structure. Zbl 0589.03022
Schöning, Uwe
16
1986
Negation and control in PROLOG. Zbl 0602.68006
Naish, Lee
16
1986
Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8–19, 1986. Zbl 0619.00023
16
1987
Temporally distributed symptoms in technical diagnosis. Zbl 0786.68088
Nökel, Klaus
16
1991
The problem of incomplete information in relational databases. Zbl 0779.68023
Grahne, Gösta
16
1991
Ray shooting, depth orders and hidden surface removal. Zbl 0787.68098
de Berg, Mark
16
1993
Association rule mining. Models and algorithms. Zbl 0998.68047
Zhang, Chengqi; Zhang, Shichao
15
2002
Boolean calculus of differences. Zbl 0452.94033
Thayse, André
15
1981
Numerical integration on advanced computer systems. Zbl 0825.65012
Krommer, Arnold R.; Ueberhuber, Christoph W.
15
1994
Advances in cryptology – EUROCRYPT 2005. 24th annual international conference on the theory and applications of cryptographic techniques, Aarhus, Denmark, May 22–26, 2005. Proceedings. Zbl 1107.94001
14
2005
Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008
14
2009
Pascal. User manual and report. Zbl 0288.68043
Jensen, Kathleen; Wirth, Niklaus
14
1974
Trace theory and VLSI design. Zbl 0616.68001
van de Snepscheut, Jan L. A.
14
1985
Efficient visual recognition using the Hausdorff distance. Zbl 0863.68117
Rucklidge, William
14
1996
Specification and compositional verification of real-time systems. Zbl 1293.68009
Hooman, Jozef
14
1991
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
Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part V. Zbl 1525.94005
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
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
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
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
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
Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Zbl 1487.68013
1
2021
Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Zbl 1486.92002
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
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
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
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
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
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
Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010
2
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
Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Zbl 1498.68016
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
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
Progress in cryptology – AFRICACRYPT 2020. 12th international conference on cryptology in Africa, Cairo, Egypt, July 20–22, 2020. Proceedings. Zbl 1498.94007
1
2020
Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004
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
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
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
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
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
Structural information and communication complexity. 27th international colloquium, SIROCCO 2020, Paderborn, Germany, June 29 – July 1, 2020. Proceedings. Zbl 1493.68021
1
2020
Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Zbl 1496.03007
1
2020
Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Zbl 1498.68017
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
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
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
6
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
5
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
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
4
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
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
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
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
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
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
Post-quantum cryptography. 10th international conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019. Revised selected papers. Zbl 1418.94003
2
2019
Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Zbl 1425.68005
1
2019
Mathematics and computation in music. 7th international conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings. Zbl 1425.00082
1
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
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
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
Parameterized complexity in the polynomial hierarchy. Extending parameterized complexity theory to higher levels of the hierarchy. Zbl 1435.68010
de Haan, Ronald
1
2019
Evolutionary multi-criterion optimization. 10th international conference, EMO 2019, East Lansing, MI, USA, March 10–13, 2019. Proceedings. Zbl 1409.68011
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
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
Graph-based representation and reasoning. 24th international conference on conceptual structures, ICCS 2019, Marburg, Germany, July 1–4, 2019. Proceedings. Zbl 1416.68010
1
2019
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
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
Computational logistics. 9th international conference, ICCL 2018, Vietri Sul Mare, Italy, October 1–3, 2018. Proceedings. Zbl 1397.90011
3
2018
Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Zbl 1383.68006
2
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
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
2
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
2
2018
It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Zbl 1461.68011
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
Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Zbl 1396.68018
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
Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part I. Zbl 1402.94008
2
2018
Enjoying natural computing. Essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday. Zbl 1400.68023
2
2018
Measurement, modelling and evaluation of computing systems. 19th international GI/ITG conference, MMB 2018, Erlangen, Germany, February 26–28, 2018. Proceedings. Zbl 1433.68017
1
2018
Constructive side-channel analysis and secure design. 9th international workshop, COSADE 2018, Singapore, April 23–24, 2018. Proceedings. Zbl 1439.94001
1
2018
Research in computational molecular biology. 22nd annual international conference, RECOMB 2018, Paris, France, April 21–24, 2018. Proceedings. Zbl 1387.92005
1
2018
Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Zbl 1408.68004
1
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 II. Zbl 1387.94007
1
2018
Progress in cryptology – AFRICACRYPT 2018. 10th international conference on cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018. Proceedings. Zbl 1387.94004
1
2018
...and 325 more Documents
all top 5

Cited by 12,253 Authors

52 Meseguer Guaita, José
34 Nipkow, Tobias
32 Pardalos, Panos M.
31 Paulson, Lawrence Charles
28 Martí-Oliet, Narciso
28 Rozenberg, Grzegorz
27 Engelfriet, Joost
27 Liotta, Giuseppe
25 Alpuente, María
25 Kern-Isberner, Gabriele
23 Benzmüller, Christoph Ewald
23 Blanchette, Jasmin Christian
23 Lucas, Salvador
23 Pan, Victor Yakovlevich
22 Bergstra, Jan A.
22 Escobar, Santiago
22 Larsen, Kim Guldstrand
22 Montanari, Ugo G.
22 Rabe, Florian
21 Baier, Christel
21 Beierle, Christoph
21 Kamide, Norihiro
21 Vogler, Walter
19 Bernstein, Daniel Julius
19 Didimo, Walter
19 Schaub, Torsten H.
18 Bodlaender, Hans L.
18 Drewes, Frank
17 Kohlhase, Michael
17 Verdejo, Alberto
16 Struth, Georg
16 Zimmermann, Martín G.
15 Aceto, Luca
15 Bekos, Michael A.
15 Case, John
15 Corradini, Andrea
15 Durán, Francisco
15 Ganian, Robert
15 Katoen, Joost-Pieter
15 Popescu, Andrei
15 Sarkar, Palash
15 Sau, Ignasi
15 Talcott, Carolyn L.
15 Urban, Josef
15 Vardi, Moshe Ya’akov
14 Baader, Franz
14 Courcelle, Bruno
14 Geffert, Viliam
14 Hennessy, Matthew C. B.
14 Hermanns, Holger
14 Horst, Reiner
14 Ingólfsdóttir, Anna
14 Kaliszyk, Cezary
14 Lange, Tanja
14 Mossakowski, Till
14 Thilikos, Dimitrios M.
13 Bruni, Roberto
13 Chatterjee, Krishnendu
13 De Raedt, Luc
13 Falaschi, Moreno
13 Gastin, Paul
13 Groote, Jan Friso
13 Klein, Rolf-Dieter
13 Kuznetsov, Stepan L’vovich
13 Rutten, Jan J. M. M.
13 Szeider, Stefan
13 Wansing, Heinrich Theodor
12 Benson, Harold P.
12 Brihaye, Thomas
12 Dershowitz, Nachum
12 Di Giacomo, Emilio
12 Guttmann, Walter
12 Jain, Sanjay
12 Kloks, Ton
12 Klop, Jan Willem
12 Koutny, Maciej
12 Kreowski, Hans-Jörg
12 Lucanu, Dorel
12 Peltier, Nicolas
12 Roşu, Grigore
12 Saurabh, Saket
12 Thiemann, René
12 Wood, Derick
11 Baeten, Jos C. M.
11 Basin, David A.
11 Bouyer, Patricia
11 Bundy, Alan
11 Ćirić, Miroslav D.
11 Droste, Manfred
11 Eiter, Thomas
11 Hong, Seok-Hee
11 Kaufmann, Michael
11 Kutsia, Temur
11 Middeldorp, Aart
11 Papadopoulou, Evanthia
11 Platzer, André
11 Riesco, Adrián
11 Riguzzi, Fabrizio
11 Scedrov, Andre
11 Skowron, Andrzej
...and 12,153 more Authors
all top 5

Cited in 645 Journals

722 Theoretical Computer Science
225 Information and Computation
187 Journal of Automated Reasoning
146 Artificial Intelligence
140 Information Processing Letters
128 Journal of Global Optimization
127 Formal Aspects of Computing
119 Acta Informatica
118 Journal of Logical and Algebraic Methods in Programming
117 Journal of Computer and System Sciences
110 Theory and Practice of Logic Programming
101 Algorithmica
98 Discrete Applied Mathematics
87 European Journal of Operational Research
78 Journal of Symbolic Computation
74 Applied Mathematics and Computation
67 Formal Methods in System Design
66 Journal of Computational and Applied Mathematics
65 Information Sciences
58 Annals of Mathematics and Artificial Intelligence
57 Computers & Mathematics with Applications
54 Logical Methods in Computer Science
53 The Journal of Logic and Algebraic Programming
51 International Journal of Approximate Reasoning
50 Computational Geometry
47 Annals of Operations Research
42 Theory of Computing Systems
41 Computers & Operations Research
41 Machine Learning
39 Studia Logica
39 Journal of Cryptology
39 Journal of Applied Non-Classical Logics
39 Journal of Applied Logic
37 Journal of Computational Physics
36 International Journal of Foundations of Computer Science
35 MSCS. Mathematical Structures in Computer Science
35 Linear Algebra and its Applications
34 Computing
34 Discrete & Computational Geometry
34 Designs, Codes and Cryptography
33 Mathematics of Computation
33 Mathematical Programming. Series A. Series B
32 Computational Optimization and Applications
31 Journal of Optimization Theory and Applications
30 Journal of Logic, Language and Information
28 Fundamenta Informaticae
27 International Journal of Computer Mathematics
27 Cybernetics and Systems Analysis
26 Annals of Pure and Applied Logic
25 Distributed Computing
24 Computer Methods in Applied Mechanics and Engineering
24 Discrete Mathematics
24 Journal of Mathematical Analysis and Applications
24 The Journal of Symbolic Logic
24 Cryptography and Communications
22 BIT
22 Journal of Philosophical Logic
22 SIAM Journal on Computing
22 Science of Computer Programming
22 Journal of Complexity
22 Pattern Recognition
22 Applicable Algebra in Engineering, Communication and Computing
22 Journal of Functional Programming
22 Optimization Letters
21 RAIRO. Informatique Théorique et Applications
21 Journal of Mathematical Imaging and Vision
21 Constraints
21 Journal of Combinatorial Optimization
20 Mathematical and Computer Modelling
19 International Journal of Control
19 Automatica
19 Journal of Differential Equations
19 ACM Transactions on Computational Logic
18 Fuzzy Sets and Systems
18 International Transactions in Operational Research
18 Natural Computing
17 Software. Practice & Experience
17 Operations Research Letters
17 International Journal of Computational Geometry & Applications
16 Computer Physics Communications
16 Optimization
16 New Generation Computing
16 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
16 RAIRO. Theoretical Informatics and Applications
16 Journal of Membrane Computing
15 International Journal for Numerical Methods in Engineering
15 Synthese
15 Computer Aided Geometric Design
15 Soft Computing
15 Journal of Discrete Algorithms
14 Mathematical Systems Theory
14 Networks
14 Numerical Algorithms
14 Journal of Scheduling
13 International Journal of Intelligent Systems
13 Real-Time Systems
13 Optimization Methods & Software
13 Mathematics in Computer Science
13 The Review of Symbolic Logic
12 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
...and 545 more Journals
all top 5

Cited in 62 Fields

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

Citations by Year