×

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,092 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 Rolim, José D. P.
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 Lopez, Javier
16 Pieprzyk, Josef P.
16 Qing, Sihan
16 Sack, Jörg-Rüdiger
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 Gollmann, Dieter
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 Schoenauer, Marc
11 Takagi, Tsuyoshi
11 Vaudenay, Serge
11 Zeugmann, Thomas
10 Bandini, Stefania
10 Bjørner, Dines
10 Brimkov, Valentin E.
...and 7,768 more Authors
all top 5

Fields

5,353 Computer science (68-XX)
5,273 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)
47 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)
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

1,473 Publications have been cited 9,160 times in 7,814 Documents Cited by Year
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
587
1980
Isabelle/HOL. A proof assistant for higher-order logic. Zbl 0994.68131
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
466
2002
Treewidth. Computations and approximations. Zbl 0825.68144
Kloks, Ton
294
1994
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
197
2007
An introduction to partial differential equations. Zbl 0917.35001
Renardy, M.; Rogers, R. C.
194
1993
Constrained global optimization: algorithms and applications. Zbl 0638.90064
Pardalos, P. M.; Rosen, J. B.
187
1987
Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037
184
2002
Global optimization. Zbl 0752.90075
Törn, Aimo; Zilinskas, Antanas
155
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
The stability theory of stream ciphers. Zbl 0762.94008
Ding, Cunsheng; Xiao, Guozhen; Shan, Weijuan
129
1991
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
129
1979
Automatic differentiation: techniques and applications. Zbl 0473.68025
Rall, Louis B.
124
1981
Isabelle. A generic theorem prover. Zbl 0825.68059
Paulson, Lawrence C.
122
1994
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem. Zbl 1293.68005
Godefroid, Patrice
115
1996
Axioms and hulls. Zbl 0777.68012
Knuth, D. E.
104
1992
First-order dynamic logic. Zbl 0403.03024
Harel, David
103
1979
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
88
1989
Multiobjective optimization. Interactive and evolutionary approaches. Zbl 1147.68304
87
2008
Hyperedge replacement: grammars and languages. Zbl 0787.68066
Habel, Annegret
85
1992
Combinatorics on traces. Zbl 0717.68002
Diekert, Volker
84
1990
Drawing graphs. Methods and models. Zbl 0977.68644
83
2001
Online algorithms. The state of the art. Zbl 1177.68009
81
1998
Matrix eigensystem routines. EISPACK guide extension. Zbl 0368.65020
Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B.
73
1977
The design of dynamic data structures. Zbl 0545.68009
Overmars, Mark H.
73
1983
Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142
Hermanns, Holger
71
2002
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
55
1993
Computing in systems described by equations. Zbl 0421.68038
O’Donnell, Michael J.
54
1977
Foundations of inductive logic programming. Zbl 1293.68014
Nienhuys-Cheng, Shan-Hwei; de Wolf, Ronald
53
1997
How to multiply matrices faster. Zbl 0548.65022
Pan, Victor
51
1984
Modular construction and partial order semantics of Petri nets. Zbl 1293.68015
Vogler, Walter
49
1992
Filtering, segmentation and depth. Zbl 0801.68171
Nitzberg, Mark; Mumford, David; Shiota, Takahiro
45
1993
Theory of program structures: Schemes, semantics, verification. Zbl 0345.68002
Greibach, Sheila A.
45
1975
The traveling salesman. Computational solutions for RSP applications. Zbl 0825.90720
Reinelt, Gerhard
44
1994
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
Network analysis. Methodological foundations. Zbl 1069.68001
41
2005
Probabilistic inductive logic programming. Theory and applications. Zbl 1132.68007
41
2008
Algebraic semantics. Zbl 0474.68010
Guessarian, Irène
41
1981
Turing machines with sublogarithmic space. Zbl 0998.68062
Szepietowski, Andrzej
39
1994
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
CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001
38
2004
Group-theoretic algorithms and graph isomorphism. Zbl 0487.68055
Hoffmann, Christoph M.
37
1982
Axiomatising the logic of computer programming. Zbl 0474.68045
Goldblatt, Robert
36
1982
Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013
35
1987
On the computational geometry of pocket machining. Zbl 0755.68136
Held, Martin
34
1991
Fundamental algorithms for permutation groups. Zbl 0785.20001
Butler, Gregory
34
1991
Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001
Schmidt-Schauss, Manfred
34
1989
Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072
33
1998
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
32
1990
A unified approach to interior point algorithms for linear complementary problems. Zbl 0766.90077
Kojima, Masakazu; Megiddo, Nimrod; Noma, Toshihito; Yoshise, Akiko
32
1991
Network calculus. A theory of deterministic queueing systems for the Internet. Zbl 0974.90003
Le Boudec, Jean-Yves; Thiran, Patrick
32
2001
Hybrid systems. Zbl 0825.00044
31
1993
Grammar and L forms: an introduction. Zbl 0521.68085
Wood, Derick
31
1980
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
30
2005
The logic of categorial grammars. A deductive account of natural language syntax and semantics. Zbl 1261.03001
Moot, Richard; Retoré, Christian
30
2012
Foundations of equational logic programming. Zbl 0688.68004
Hölldobler, Steffen
29
1989
Computational cardiology. Modeling of anatomy, electrophysiology, and mechanics. Zbl 1051.92025
Sachse, Frank B.
29
2004
Formal concept analysis. Foundations and applications. Zbl 1087.68003
26
2005
Attribute grammars. Definitions, systems and bibliography. Zbl 0647.68073
Deransart, Pierre; Jourdan, Martin; Lorho, Bernard
25
1988
Property testing. Current research and surveys. Zbl 1197.68012
25
2010
Semirings for constraint solving and programming. Zbl 1054.68136
Bistarelli, Stefano
25
2004
Finite representations of CCS and TCSP programs by automata and Petri nets. Zbl 0684.68011
Taubner, Dirk
23
1989
New stream cipher designs. The eSTREAM finalists. Zbl 1259.94006
23
2008
Temporal logic. 1st international conference, ICTL ’94, Bonn, Germany, July 11–14, 1994. Proceedings. Zbl 0875.03007
22
1994
List decoding of error-correcting codes. Winning thesis of the 2002 ACM Doctoral Dissertation Competition. Zbl 1075.94001
Guruswami, Venkatesan
22
2004
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
22
1983
Resolution methods for the decision problem. Zbl 0789.03013
21
1993
Automated deduction in equational logic and cubic curves. Zbl 0921.03011
McCune, William; Padmanabhan, R.
20
1996
Co-oP. A group decision support system for cooperative multiple criteria group decision making. Zbl 0677.68124
Bui, Tung X.
19
1987
A connotational theory of program structure. Zbl 0625.68018
Royer, James S.
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
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
A methodology for uncertainty in knowledge-based systems. Zbl 0705.68097
Weichselberger, Kurt; Pöhlmann, Sigrid
18
1990
Lectures on the complexity of bilinear problems. Zbl 0609.68032
de Groote, H. F.
18
1987
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.
18
2004
Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053
18
2001
Systems of reductions. Zbl 0636.68027
Benninghofen, B.; Kemmerich, S.; Richter, M. M.
17
1987
Modular specification and verification of object-oriented programs. Zbl 0998.68034
Müller, Peter
17
2002
Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Zbl 0674.68011
Zwiers, Job
16
1989
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
Complexity and structure. Zbl 0589.03022
Schöning, Uwe
16
1986
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
16
2008
On the integration of algebraic functions. Zbl 0471.14009
Davenport, James Harold
16
1981
Rough sets and current trends in computing. 1st international conference, RSCTC ’98, Warsaw, Poland, June 22–26, 1998. Proceedings. Zbl 0891.00026
16
1998
Direct methods for sparse matrices. Zbl 0516.65011
Osterby, Ole; Zlatev, Zahari
16
1983
Temporally distributed symptoms in technical diagnosis. Zbl 0786.68088
Nökel, Klaus
15
1991
Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5–9, 1990. Proceedings. Zbl 0753.00023
15
1991
Negation and control in PROLOG. Zbl 0602.68006
Naish, Lee
15
1986
Numerical integration on advanced computer systems. Zbl 0825.65012
Krommer, Arnold R.; Ueberhuber, Christoph W.
15
1994
Association rule mining. Models and algorithms. Zbl 0998.68047
Zhang, Chengqi; Zhang, Shichao
15
2002
Trace theory and VLSI design. Zbl 0616.68001
van de Snepscheut, Jan L. A.
14
1985
Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008
14
2009
Boolean calculus of differences. Zbl 0452.94033
Thayse, André
14
1981
Pascal. User manual and report. Zbl 0288.68043
Jensen, Kathleen; Wirth, Niklaus
14
1974
Modified branching programs and their computational power. Zbl 0669.68042
Meinel, Christoph
13
1989
Specifying message passing and time-critical systems with temporal logic. Zbl 0806.68074
Koymans, Ron
13
1992
Distributed algorithms. 8th international workshop, WDAG 1994, Terschelling, The Netherlands, September 29 – October 1, 1994. Proceedings. Zbl 0803.00026
13
1994
Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Zbl 1214.68009
13
2011
Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Zbl 1490.03004
1
2022
Algorithms and discrete applied mathematics. 8th international conference, CALDAM 2022, Puducherry, India, February 10–12, 2022. Proceedings. Zbl 1509.68007
1
2022
Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Zbl 1482.94005
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
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
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
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
Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Zbl 1507.91003
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
Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Zbl 1496.68019
3
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
Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012
3
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
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
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
Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010
1
2020
Inductive logic programming. 29th international conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019. Proceedings. Zbl 1496.68026
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
Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Zbl 1428.68018
5
2019
Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Zbl 1410.68009
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
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
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
3
2019
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
2
2019
Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Zbl 1419.68014
2
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
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
Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Zbl 1428.68028
1
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
1
2019
Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Zbl 1408.68017
1
2019
Post-quantum cryptography. 10th international conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019. Revised selected papers. Zbl 1418.94003
1
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
1
2019
Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Zbl 1425.68005
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
3
2018
Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Zbl 1383.68006
2
2018
Post-quantum cryptography. 9th international conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9–11, 2018. Proceedings. Zbl 1387.94005
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
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
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
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
1
2018
Programming languages and systems. 16th Asian symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018. Proceedings. Zbl 1400.68035
1
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
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
1
2018
Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006
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
Bidirectional transformations. International summer school, Oxford, UK, July 25–29, 2016. Tutorial lectures. Zbl 1405.68010
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 III. Zbl 1387.94006
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
Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018. Proceedings. Zbl 1387.68019
1
2018
Security and cryptography for networks. 11th international conference, SCN 2018, Amalfi, Italy, September 5–7, 2018. Proceedings. Zbl 1397.94004
1
2018
Computational logistics. 9th international conference, ICCL 2018, Vietri Sul Mare, Italy, October 1–3, 2018. Proceedings. Zbl 1397.90011
1
2018
String processing and information retrieval. 25th international symposium, SPIRE 2018, Lima, Peru, October 9–11, 2018. Proceedings. Zbl 1398.68028
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
1
2018
Graph-theoretic concepts in computer science. 44th international workshop, WG 2018, Cottbus, Germany, June 27–29, 2018. Proceedings. Zbl 1398.68016
1
2018
Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Zbl 1398.68027
1
2018
Adventures between lower bounds and higher altitudes. Essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday. Zbl 1398.68015
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
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
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
1
2018
Information security and privacy. 23rd Australasian conference, ACISP 2018, Wollongong, NSW, Australia, July 11–13, 2018. Proceedings. Zbl 1392.94009
1
2018
Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Zbl 1391.68009
1
2018
Advances in cryptology – CRYPTO 2017. 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20–24, 2017. Proceedings. Part II. Zbl 1369.94004
7
2017
Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Zbl 1352.03004
5
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
4
2017
Advances in cryptology – CRYPTO 2017. 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20–24, 2017. Proceedings. Part I. Zbl 1369.94002
3
2017
Cryptographic hardware and embedded systems – CHES 2017. 19th international conference, Taipei, Taiwan, September 25–28, 2017. Proceedings. Zbl 1371.68007
2
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
2
2017
Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Zbl 1360.68016
2
2017
Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Zbl 1367.68005
2
2017
Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part II. Zbl 1367.68012
2
2017
Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Zbl 1367.68013
2
2017
Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Zbl 1369.68037
2
2017
Post-quantum cryptography. 8th international workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26–28, 2017. Proceedings. Zbl 1386.94004
2
2017
Reachability problems. 11th international workshop, RP 2017, London, UK, September 7–9, 2017. Proceedings. Zbl 1371.68009
1
2017
Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Zbl 1369.68029
1
2017
Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Zbl 1369.68021
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
1
2017
Geometric science of information. Third international conference, GSI 2017, Paris, France, November 7–9, 2017. Proceedings. Zbl 1374.94006
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 II. Zbl 1380.94007
1
2017
Transactions on Computational Collective Intelligence XXVII. Zbl 1384.68006
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 I. Zbl 1380.94009
1
2017
Analytical and computational methods in probability theory. First international conference, ACMPT 2017, Moscow, Russia, October 23–27, 2017. Proceedings. Zbl 1381.60008
1
2017
Principles of security and trust. 6th international conference, POST 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.68017
1
2017
Programming languages and systems. 26th European symposium on programming, ESOP 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.68021
1
2017
Advances in cryptology – EUROCRYPT 2017. 36th annual international conference on the theory and applications of cryptographic techniques, Paris, France, April 30 – May 4, 2017. Proceedings. Part I. Zbl 1360.94005
1
2017
...and 236 more Documents
all top 5

Cited by 11,190 Authors

52 Meseguer Guaita, José
32 Nipkow, Tobias
32 Pardalos, Panos M.
30 Paulson, Lawrence Charles
28 Rozenberg, Grzegorz
27 Engelfriet, Joost
26 Martí-Oliet, Narciso
25 Kern-Isberner, Gabriele
25 Liotta, Giuseppe
24 Alpuente, María
23 Benzmüller, Christoph Ewald
23 Blanchette, Jasmin Christian
23 Pan, Victor Yakovlevich
22 Bergstra, Jan A.
22 Lucas, Salvador
22 Montanari, Ugo G.
21 Beierle, Christoph
21 Escobar, Santiago
21 Larsen, Kim Guldstrand
21 Rabe, Florian
20 Kamide, Norihiro
19 Baier, Christel
19 Vogler, Walter
18 Drewes, Frank
17 Bernstein, Daniel Julius
17 Bodlaender, Hans L.
17 Schaub, Torsten H.
16 Didimo, Walter
16 Kohlhase, Michael
16 Struth, Georg
16 Verdejo, Alberto
16 Zimmermann, Martín G.
15 Durán, Francisco
15 Popescu, Andrei
15 Sarkar, Palash
15 Sau, Ignasi
15 Urban, Josef
14 Aceto, Luca
14 Corradini, Andrea
14 Courcelle, Bruno
14 Ganian, Robert
14 Geffert, Viliam
14 Hermanns, Holger
14 Horst, Reiner
14 Ingólfsdóttir, Anna
14 Kaliszyk, Cezary
14 Katoen, Joost-Pieter
14 Talcott, Carolyn L.
13 Baader, Franz
13 Bekos, Michael A.
13 Case, John
13 De Raedt, Luc
13 Gastin, Paul
13 Hennessy, Matthew C. B.
13 Lange, Tanja
13 Mossakowski, Till
13 Rutten, Jan J. M. M.
13 Szeider, Stefan
13 Thilikos, Dimitrios M.
12 Benson, Harold P.
12 Bruni, Roberto
12 Chatterjee, Krishnendu
12 Di Giacomo, Emilio
12 Falaschi, Moreno
12 Groote, Jan Friso
12 Klein, Rolf-Dieter
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 Wansing, Heinrich Theodor
12 Wood, Derick
11 Baeten, Jos C. M.
11 Basin, David A.
11 Bundy, Alan
11 Ćirić, Miroslav D.
11 Dershowitz, Nachum
11 Hong, Seok-Hee
11 Jain, Sanjay
11 Klop, Jan Willem
11 Kutsia, Temur
11 Kuznetsov, Stepan L’vovich
11 Platzer, André
11 Riesco, Adrián
11 Riguzzi, Fabrizio
11 Scedrov, Andre
11 Tarlecki, Andrzej
11 van Glabbeek, Robert Jan
11 Žilinskas, Antanas
10 Berghammer, Rudolf
10 Bistarelli, Stefano
10 Brihaye, Thomas
10 Diaconescu, Răzvan
10 Diekert, Volker
10 Droste, Manfred
10 Eiter, Thomas
10 Ésik, Zoltán
...and 11,090 more Authors
all top 5

Cited in 611 Journals

698 Theoretical Computer Science
216 Information and Computation
183 Journal of Automated Reasoning
141 Artificial Intelligence
139 Information Processing Letters
126 Formal Aspects of Computing
123 Journal of Global Optimization
115 Journal of Computer and System Sciences
113 Acta Informatica
107 Journal of Logical and Algebraic Methods in Programming
103 Theory and Practice of Logic Programming
95 Discrete Applied Mathematics
94 Algorithmica
81 European Journal of Operational Research
76 Journal of Symbolic Computation
73 Applied Mathematics and Computation
66 Journal of Computational and Applied Mathematics
61 Information Sciences
61 Formal Methods in System Design
57 Computers & Mathematics with Applications
57 Annals of Mathematics and Artificial Intelligence
53 The Journal of Logic and Algebraic Programming
50 Computational Geometry
47 International Journal of Approximate Reasoning
42 Annals of Operations Research
40 Machine Learning
39 Journal of Applied Logic
39 Logical Methods in Computer Science
38 Studia Logica
38 Journal of Applied Non-Classical Logics
38 Theory of Computing Systems
37 Journal of Cryptology
35 Journal of Computational Physics
35 Linear Algebra and its Applications
34 Computing
33 Discrete & Computational Geometry
33 International Journal of Foundations of Computer Science
32 Mathematics of Computation
32 MSCS. Mathematical Structures in Computer Science
32 Designs, Codes and Cryptography
32 Computational Optimization and Applications
31 Journal of Optimization Theory and Applications
31 Mathematical Programming. Series A. Series B
30 Computers & Operations Research
27 International Journal of Computer Mathematics
27 Journal of Logic, Language and Information
25 Annals of Pure and Applied Logic
25 Cybernetics and Systems Analysis
24 Computer Methods in Applied Mechanics and Engineering
24 Discrete Mathematics
24 Journal of Mathematical Analysis and Applications
24 Distributed Computing
23 Fundamenta Informaticae
22 BIT
22 Journal of Philosophical Logic
22 The Journal of Symbolic Logic
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 Cryptography and Communications
21 SIAM Journal on Computing
21 RAIRO. Informatique Théorique et Applications
20 Mathematical and Computer Modelling
20 Journal of Mathematical Imaging and Vision
20 Journal of Combinatorial Optimization
19 Journal of Differential Equations
18 International Journal of Control
18 Automatica
18 ACM Transactions on Computational Logic
18 Optimization Letters
17 Fuzzy Sets and Systems
17 Software. Practice & Experience
17 Operations Research Letters
17 International Journal of Computational Geometry & Applications
17 Constraints
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 Computer Aided Geometric Design
15 Journal of Discrete Algorithms
14 Mathematical Systems Theory
14 Synthese
13 Computer Physics Communications
13 International Journal of Intelligent Systems
13 Real-Time Systems
13 Journal of Scheduling
12 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
12 Numerische Mathematik
12 Programming and Computer Software
12 Journal of Computer Science and Technology
12 Discrete Event Dynamic Systems
12 Numerical Algorithms
12 Mathematics in Computer Science
11 RAIRO, Informatique Théorique
11 Applied Numerical Mathematics
...and 511 more Journals
all top 5

Cited in 62 Fields

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

Citations by Year