×

Lecture Notes in Computer Science

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

Authors / Editors

69 Rozenberg, Grzegorz
57 Dongarra, Jack J.
53 Gavrilova, Marina L.
50 Tan, Chih Jeng Kenneth
39 Yung, Moti
35 Skowron, Andrzej
33 Gervasi, Osvaldo
33 Martín-Vide, Carlos
29 Sloot, Peter M. A.
28 Huang, Deshuang
27 Salomaa, Arto Kustaa
27 Zurada, Jacek M.
26 Taniar, David
26 Voronkov, Andrei
25 Peters, James Francis III
25 Rutkowski, Leszek
25 Tadeusiewicz, Ryszard
25 Waśniewski, Jerzy
23 Ehrig, Hartmut
23 Jansen, Klaus
23 Zhou, Jianying
22 Nguyen Thanh Ngoc
22 Scherer, Rafał
20 Du, Ding-Zhu
20 Korytkowski, Marcin
20 Rolim, José D. P.
20 van Albada, Geert Dick
19 Raś, Zbigniew W.
18 Narukawa, Yasuo
18 Preneel, Bart
18 Priami, Corrado
18 Spaccapietra, Stefano
18 Torra, Vicenç
18 Zadeh, Lotfi Asker
17 Laganà, Antonio
17 Mun, Youngsong
17 Murgante, Beniamino
17 Păun, Gheorghe
17 Wyrzykowski, Roman
16 Dehne, Frank
16 Kumar, Vipin
16 Lopez, Javier
16 Pieprzyk, Josef P.
16 Qing, Sihan
16 Sack, Jörg-Rüdiger
16 Vorozhtsov, Evgenii V.
15 Lin, Dongdai
15 Mayr, Ernst W.
15 Nerode, Anil
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 Pedrycz, Witold
14 Potapov, Igor
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 Karczewski, Konrad
13 Margenov, Svetozar D.
13 Sako, Kazue
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 Bevilacqua, Vitoantonio
11 Graf, Susanne
11 Jo, Kang-Hyun
11 Leite, João
11 Löwe, Benedikt
11 Lutton, Evelyne
11 Mu, Yi
11 Schoenauer, Marc
11 Susilo, Willy
11 Takagi, Tsuyoshi
11 Vaudenay, Serge
11 Zeugmann, Thomas
10 Barneva, Reneta P.
10 Bjørner, Dines
10 Galbraith, Steven D.
10 Gerdt, Vladimir Petrovich
10 Gottlob, Georg
10 Imai, Hideki
...and 7,523 more Authors
all top 5

Fields

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

Publications by Year

Citations contained in zbMATH Open

1,205 Publications have been cited 7,328 times in 6,466 Documents Cited by Year
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
503
1980
Isabelle/HOL. A proof assistant for higher-order logic. Zbl 0994.68131
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
364
2002
Treewidth. Computations and approximations. Zbl 0825.68144
Kloks, Ton
237
1994
Constrained global optimization: algorithms and applications. Zbl 0638.90064
Pardalos, P. M.; Rosen, J. B.
177
1987
An introduction to partial differential equations. Zbl 0917.35001
Renardy, M.; Rogers, R. C.
177
1993
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
159
2007
Matrix eigensystem routines - EISPACK guide. 2nd ed. Zbl 0325.65016
Smith, B. T.; Boyle, J. M.; Dongarra, J. J.; Garbow, B. S.; Ikebe, Y.; Klema, V. C.; Moler, C. B.
137
1976
Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037
133
2002
Global optimization. Zbl 0752.90075
Törn, Aimo; Zilinskas, Antanas
130
1989
The stability theory of stream ciphers. Zbl 0762.94008
Ding, Cunsheng; Xiao, Guozhen; Shan, Weijuan
112
1991
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
111
1979
Automatic differentiation: techniques and applications. Zbl 0473.68025
Rall, Louis B.
107
1981
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem. Zbl 1293.68005
Godefroid, Patrice
103
1996
Isabelle. A generic theorem prover. Zbl 0825.68059
Paulson, Lawrence C.
99
1994
First-order dynamic logic. Zbl 0403.03024
Harel, David
94
1979
Axioms and hulls. Zbl 0777.68012
Knuth, D. E.
93
1992
A collection of test problems for constrained global optimization algorithms. Zbl 0718.90054
Floudas, Christodoulos A.; Pardalos, Panos M.
90
1990
Hyperedge replacement: grammars and languages. Zbl 0787.68066
Habel, Annegret
77
1992
Concrete and abstract Voronoi diagrams. Zbl 0699.68005
Klein, Rolf
76
1989
Combinatorics on traces. Zbl 0717.68002
Diekert, Volker
71
1990
Matrix eigensystem routines. EISPACK guide extension. Zbl 0368.65020
Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B.
69
1977
Online algorithms. The state of the art. Zbl 1177.68009
64
1998
The design of dynamic data structures. Zbl 0545.68009
Overmars, Mark H.
61
1983
Multiobjective optimization. Interactive and evolutionary approaches. Zbl 1147.68304
59
2008
Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142
Hermanns, Holger
58
2002
Drawing graphs. Methods and models. Zbl 0977.68644
50
2001
The logic of information structures. Zbl 0788.03001
Wansing, Heinrich
49
1993
How to multiply matrices faster. Zbl 0548.65022
Pan, Victor
47
1984
Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents. Zbl 0978.03014
Kern-Isberner, Gabriele
44
2001
Modular construction and partial order semantics of Petri nets. Zbl 1293.68015
Vogler, Walter
43
1992
Matrix eigensystem routines - EISPACK guide. Zbl 0289.65017
Smith, B. T.; Boyle, J. M.; Garbow, B. S.; Ikebe, Y.; Klema, V. C.; Moler, C. B.
43
1974
Filtering, segmentation and depth. Zbl 0801.68171
Nitzberg, Mark; Mumford, David; Shiota, Takahiro
42
1993
Theory of program structures: Schemes, semantics, verification. Zbl 0345.68002
Greibach, Sheila A.
42
1975
Computing in systems described by equations. Zbl 0421.68038
O’Donnell, Michael J.
40
1977
Probabilistic inductive logic programming. Theory and applications. Zbl 1132.68007
39
2008
The traveling salesman. Computational solutions for RSP applications. Zbl 0825.90720
Reinelt, Gerhard
37
1994
Turing machines with sublogarithmic space. Zbl 0998.68062
Szepietowski, Andrzej
36
1994
Algebraic semantics. Zbl 0474.68010
Guessarian, Irène
34
1981
On the computational geometry of pocket machining. Zbl 0755.68136
Held, Martin
33
1991
Foundations of inductive logic programming. Zbl 1293.68014
Nienhuys-Cheng, Shan-Hwei; de Wolf, Ronald
32
1997
Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24–27, 2009. Revised selected and invited papers. Zbl 1179.68004
31
2010
Axiomatising the logic of computer programming. Zbl 0474.68045
Goldblatt, Robert
31
1982
A unified approach to interior point algorithms for linear complementary problems. Zbl 0766.90077
30
1991
Group-theoretic algorithms and graph isomorphism. Zbl 0487.68055
Hoffmann, Christoph M.
30
1982
Network analysis. Methodological foundations. Zbl 1069.68001
29
2005
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
29
1990
Fundamental algorithms for permutation groups. Zbl 0785.20001
Butler, Gregory
29
1991
Grammar and L forms: an introduction. Zbl 0521.68085
Wood, Derick
29
1980
Network calculus. A theory of deterministic queueing systems for the Internet. Zbl 0974.90003
Le Boudec, Jean-Yves; Thiran, Patrick
29
2001
Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001
Schmidt-Schauss, Manfred
28
1989
Computational cardiology. Modeling of anatomy, electrophysiology, and mechanics. Zbl 1051.92025
Sachse, Frank B.
28
2004
CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001
28
2004
The logic of categorial grammars. A deductive account of natural language syntax and semantics. Zbl 1261.03001
Moot, Richard; Retoré, Christian
26
2012
Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013
25
1987
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
23
2005
Hybrid systems. Zbl 0825.00044
23
1993
Temporal logic. 1st International Conference, ICTL ’94, Bonn, Germany, July 11-14, 1994. Proceedings. Zbl 0875.03007
23
1994
Finite representations of CCS and TCSP programs by automata and Petri nets. Zbl 0684.68011
Taubner, Dirk
21
1989
Semirings for constraint solving and programming. Zbl 1054.68136
Bistarelli, Stefano
21
2004
Attribute grammars. Definitions, systems and bibliography. Zbl 0647.68073
Deransart, Pierre; Jourdan, Martin; Lorho, Bernard
20
1988
Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072
20
1998
List decoding of error-correcting codes. Winning thesis of the 2002 ACM Doctoral Dissertation Competition. Zbl 1075.94001
Guruswami, Venkatesan
19
2004
Property testing. Current research and surveys. Zbl 1197.68012
19
2010
Automated deduction in equational logic and cubic curves. Zbl 0921.03011
McCune, William; Padmanabhan, R.
19
1996
Co-oP. A group decision support system for cooperative multiple criteria group decision making. Zbl 0677.68124
Bui, Tung X.
18
1987
A methodology for uncertainty in knowledge-based systems. Zbl 0705.68097
Weichselberger, Kurt; Pöhlmann, Sigrid
18
1990
New stream cipher designs. The eSTREAM finalists. Zbl 1259.94006
18
2008
Formal concept analysis. Foundations and applications. Zbl 1087.68003
18
2005
Queueing networks with discrete time scale. Explicit expressions for the steady state behaviour of discrete time stochastic networks. Zbl 0988.60094
Daduna, Hans
18
2001
Lectures on the complexity of bilinear problems. Zbl 0609.68032
de Groote, H. F.
17
1987
Foundations of equational logic programming. Zbl 0688.68004
Hölldobler, Steffen
17
1989
Association rule mining. Models and algorithms. Zbl 0998.68047
Zhang, Chengqi; Zhang, Shichao
17
2002
A connotational theory of program structure. Zbl 0625.68018
Royer, James S.
16
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.
16
2004
Modular specification and verification of object-oriented programs. Zbl 0998.68034
Müller, Peter
15
2002
Direct methods for sparse matrices. Zbl 0516.65011
Osterby, Ole; Zlatev, Zahari
15
1983
Trace theory and VLSI design. Zbl 0616.68001
van de Snepscheut, Jan L. A.
14
1985
Systems of reductions. Zbl 0636.68027
Benninghofen, B.; Kemmerich, S.; Richter, M. M.
14
1987
Resolution methods for the decision problem. Zbl 0789.03013
14
1993
Ray shooting, depth orders and hidden surface removal. Zbl 0787.68098
de Berg, Mark
14
1993
Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings. Zbl 0753.00023
14
1991
The problem of incomplete information in relational databases. Zbl 0779.68023
Grahne, Gösta
14
1991
GAG: a practical compiler generator. Zbl 0492.68004
Kastens, Uwe; Hutt, Brigitte; Zimmermann, Erich
13
1982
Specifying message passing and time-critical systems with temporal logic. Zbl 0806.68074
Koymans, Ron
13
1992
Numerical integration on advanced computer systems. Zbl 0825.65012
Krommer, Arnold R.; Ueberhuber, Christoph W.
13
1994
Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Zbl 0674.68011
Zwiers, Job
13
1989
Negation and control in PROLOG. Zbl 0602.68006
Naish, Lee
13
1986
25 years of model checking. History, achievements, perspectives. Zbl 1139.68003
13
2008
Simple program schemes and formal languages. Zbl 0288.68030
Engelfriet, Joost
13
1974
Complexity and structure. Zbl 0589.03022
Schöning, Uwe
12
1986
Distributed algorithms. 8th international workshop, WDAG 1994, Terschelling, The Netherlands, September 29 – October 1, 1994. Proceedings. Zbl 0803.00026
12
1994
Temporally distributed symptoms in technical diagnosis. Zbl 0786.68088
Nökel, Klaus
12
1991
Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Zbl 1241.68016
12
2012
Boolean calculus of differences. Zbl 0452.94033
Thayse, André
12
1981
Context-free grammars: covers, normal forms, and parsing. Zbl 0477.68077
Nijholt, Anton
12
1980
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
12
1983
Complexity of constraints. An overview of current research themes. Zbl 1154.68008
12
2008
Pascal. User manual and report. Zbl 0288.68043
Jensen, Kathleen; Wirth, Niklaus
12
1974
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
11
1987
Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15–17, 2007. Proceedings. Zbl 1119.68003
11
2007
Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Zbl 1482.94005
1
2021
Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 07290429
3
2020
Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Zbl 07375113
2
2020
Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Zbl 07282887
2
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
Structural information and communication complexity. 27th international colloquium, SIROCCO 2020, Paderborn, Germany, June 29 – July 1, 2020. Proceedings. Zbl 07349377
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
Algorithmic aspects in information and management. 14th international conference, AAIM 2020, Jinhua, China, August 10–12, 2020. Proceedings. Zbl 1464.68025
1
2020
Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004
1
2020
Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Zbl 1410.68009
4
2019
Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008
3
2019
Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Zbl 1428.68018
3
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
2
2019
Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Zbl 1428.68024
1
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
1
2019
Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Zbl 1428.68028
1
2019
Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Zbl 1419.68014
1
2019
Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Zbl 1425.68005
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
Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036
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
Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Zbl 1398.68030
2
2018
Bidirectional transformations. International summer school, Oxford, UK, July 25–29, 2016. Tutorial lectures. Zbl 1405.68010
1
2018
Post-quantum cryptography. 9th international conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9–11, 2018. Proceedings. Zbl 1387.94005
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 I. Zbl 1387.94008
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
Security and cryptography for networks. 11th international conference, SCN 2018, Amalfi, Italy, September 5–7, 2018. Proceedings. Zbl 1397.94004
1
2018
String processing and information retrieval. 25th international symposium, SPIRE 2018, Lima, Peru, October 9–11, 2018. Proceedings. Zbl 1398.68028
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
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
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
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
Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Zbl 1383.68006
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
Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018. Proceedings. Zbl 1387.68019
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
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
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
1
2018
Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Zbl 1391.68003
1
2018
Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Zbl 1352.03004
4
2017
Advances in cryptology – CRYPTO 2017. 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20–24, 2017. Proceedings. Part II. Zbl 1369.94004
3
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
Advances in cryptology – CRYPTO 2017. 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20–24, 2017. Proceedings. Part I. Zbl 1369.94002
2
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
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
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
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
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 II. Zbl 1360.94006
1
2017
Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Zbl 1365.68007
1
2017
Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Zbl 1368.68008
1
2017
Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Zbl 1369.68036
1
2017
Algorithms and discrete applied mathematics. Third international conference, CALDAM 2017, Sancoale, Goa, India, February 16–18, 2017. Proceedings. Zbl 1355.68015
1
2017
Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Zbl 1416.03005
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 I. Zbl 1380.94009
1
2017
Selected areas in cryptography – SAC 2016. 23rd international conference, St. John’s, NL, Canada, August 10–12, 2016. Revised selected papers. Zbl 1378.94001
1
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
Advances in cryptology – CRYPTO 2016. 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14–18, 2016. Proceedings. Part I. Zbl 1344.94001
4
2016
Descriptive set theoretic methods in automata theory. Decidability and topological complexity. Zbl 1375.03003
Skrzypczak, Michał
4
2016
Advances in cryptology – EUROCRYPT 2016. 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8–12, 2016. Proceedings. Part I. Zbl 1339.94004
3
2016
A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Zbl 1333.68014
3
2016
Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Zbl 1339.68004
2
2016
Advances in cryptology – CRYPTO 2016. 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14–18, 2016. Proceedings. Part II. Zbl 1344.94002
2
2016
Cryptographic hardware and embedded systems – CHES 2016. 18th international conference, Santa Barbara, CA, USA, August 17–19, 2016. Proceedings. Zbl 1343.68009
2
2016
Combinatorial optimization. 4th international symposium, ISCO 2016, Vietri sul Mare, Italy, May 16–18, 2016. Revised selected papers. Zbl 1346.90004
2
2016
Graph drawing and network visualization. 24th international symposium, GD 2016, Athens, Greece, September 19–21, 2016. Revised selected papers. Zbl 1352.68012
2
2016
Advances in cryptology – EUROCRYPT 2016. 35th annual international conference on the theory and applications of cryptographic techniques, Vienna, Austria, May 8–12, 2016. Proceedings. Part II. Zbl 1337.94002
2
2016
Post-quantum cryptography. 7th international workshop, PQCrypto 2016, Fukuoka, Japan, February 24–26, 2016. Proceedings. Zbl 1331.94007
2
2016
Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Zbl 1337.68016
1
2016
Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Zbl 1337.68009
1
2016
Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Zbl 1342.68009
1
2016
Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Zbl 1342.68025
1
2016
Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Zbl 1343.68004
1
2016
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
1
2016
Computer security – ESORICS 2016. 21st European symposium on research in computer security, Heraklion, Greece, September 26–30, 2016. Proceedings. Part II. Zbl 06627696
1
2016
Scalable uncertainty management. 10th international conference, SUM 2016, Nice, France, September 21–23, 2016. Proceedings. Zbl 1344.68017
1
2016
Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Zbl 1346.68003
1
2016
Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Zbl 1347.68007
1
2016
Combinatorial optimization and applications. 10th international conference, COCOA 2016, Hong Kong, China, December 16–18, 2016. Proceedings. Zbl 1377.68004
1
2016
Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Zbl 1331.68016
1
2016
Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised selected papers. Zbl 1334.65002
1
2016
Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Zbl 1360.68008
1
2016
Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Zbl 1334.68018
1
2016
Web services, formal methods, and behavioral types. 11th international workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11–12, 2014, and 12th international workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4–5, 2015. Revised selected papers. Zbl 1334.68017
1
2016
Theory of cryptography. 12th theory of cryptography conference, TCC 2015, Warsaw, Poland, March 23–25, 2015. Proceedings, Part II. Zbl 1312.94004
7
2015
Advances in cryptology – CRYPTO 2015. 35th annual cryptology conference, Santa Barbara, CA, USA, August 16–20, 2015. Proceedings. Part I. Zbl 1319.94002
6
2015
Advances in cryptology – CRYPTO 2015. 35th annual cryptology conference, Santa Barbara, CA, USA, August 16–20, 2015. Proceedings. Part II. Zbl 1319.94003
6
2015
Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part II. Zbl 1321.94011
6
2015
...and 211 more Documents
all top 5

Cited by 9,601 Authors

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

Cited in 570 Journals

542 Theoretical Computer Science
174 Information and Computation
167 Journal of Automated Reasoning
121 Information Processing Letters
120 Formal Aspects of Computing
116 Journal of Global Optimization
113 Acta Informatica
104 Artificial Intelligence
103 Journal of Computer and System Sciences
102 Theory and Practice of Logic Programming
89 Algorithmica
86 Journal of Logical and Algebraic Methods in Programming
73 Discrete Applied Mathematics
66 Journal of Symbolic Computation
63 European Journal of Operational Research
59 Applied Mathematics and Computation
56 Formal Methods in System Design
55 Journal of Computational and Applied Mathematics
54 Annals of Mathematics and Artificial Intelligence
45 Information Sciences
43 Computers & Mathematics with Applications
40 Annals of Operations Research
38 Journal of Applied Non-Classical Logics
37 Computational Geometry
36 Studia Logica
35 Theory of Computing Systems
34 Journal of Cryptology
34 Linear Algebra and its Applications
33 Computing
33 International Journal of Approximate Reasoning
32 The Journal of Logic and Algebraic Programming
31 Journal of Computational Physics
31 Mathematics of Computation
31 Journal of Optimization Theory and Applications
31 Machine Learning
31 Mathematical Programming. Series A. Series B
30 Discrete & Computational Geometry
30 MSCS. Mathematical Structures in Computer Science
29 International Journal of Foundations of Computer Science
28 Designs, Codes and Cryptography
28 Computational Optimization and Applications
28 Journal of Applied Logic
27 International Journal of Computer Mathematics
27 Journal of Logic, Language and Information
25 Computers & Operations Research
25 Logical Methods in Computer Science
24 Distributed Computing
23 Cybernetics and Systems Analysis
22 BIT
22 Science of Computer Programming
22 Pattern Recognition
22 Cryptography and Communications
21 Discrete Mathematics
21 Journal of Mathematical Analysis and Applications
21 The Journal of Symbolic Logic
21 Annals of Pure and Applied Logic
21 RAIRO. Informatique Théorique et Applications
20 Computer Methods in Applied Mechanics and Engineering
20 Applicable Algebra in Engineering, Communication and Computing
20 Journal of Functional Programming
20 Journal of Combinatorial Optimization
19 Journal of Philosophical Logic
19 SIAM Journal on Computing
19 Journal of Complexity
18 International Journal of Control
18 Optimization Letters
17 Fuzzy Sets and Systems
17 Software. Practice & Experience
17 International Journal of Computational Geometry & Applications
16 Journal of Differential Equations
16 Optimization
16 New Generation Computing
16 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
16 Journal of Mathematical Imaging and Vision
16 RAIRO. Theoretical Informatics and Applications
16 ACM Transactions on Computational Logic
15 International Journal for Numerical Methods in Engineering
15 Mathematical and Computer Modelling
14 Mathematical Systems Theory
14 Operations Research Letters
14 Constraints
14 Fundamenta Informaticae
13 Automatica
13 Synthese
13 Computer Aided Geometric Design
13 International Journal of Intelligent Systems
13 Real-Time Systems
12 Computer Physics Communications
12 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
12 Numerische Mathematik
12 Journal of Computer Science and Technology
12 Numerical Algorithms
12 Mathematics in Computer Science
11 Programming and Computer Software
11 RAIRO, Informatique Théorique
11 Discrete Event Dynamic Systems
11 Combinatorics, Probability and Computing
11 Finite Fields and their Applications
11 Mathematical Problems in Engineering
11 Optimization Methods & Software
...and 470 more Journals
all top 5

Cited in 62 Fields

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

Citations by Year