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 Latest Volumes 14292 (2023) 14287 (2023) 14281 (2023) 14279 (2023) 14278 (2023) 14240 (2023) 14239 (2023) 14238 (2023) 14236 (2023) 14156 (2023) 14155 (2023) 14154 (2023) 14152 (2023) 14151 (2023) 14139 (2023) 14138 (2023) 14137 (2023) 14133 (2023) 14132 (2023) 14128 (2023) 14126 (2023) 14125 (2023) 14101 (2023) 14100 (2023) 14093 (2023) 14085 (2023) 14084 (2023) 14083 (2023) 14082 (2023) 14081 (2023) 14080 (2023) 14079 (2023) 14072 (2023) 14071 (2023) 14066 (2023) 14064 (2023) 14009 (2023) 14008 (2023) 14007 (2023) 14006 (2023) 14005 (2023) 14004 (2023) 14003 (2023) 14000 (2023) 13994 (2023) 13993 (2023) 13992 (2023) 13991 (2023) 13990 (2023) 13987 (2023) 13985 (2023) 13979 (2023) 13976 (2023) 13973 (2023) 13970 (2023) 13967 (2023) 13966 (2023) 13965 (2023) 13964 (2023) 13963 (2023) 13961 (2023) 13960 (2023) 13947 (2023) 13941 (2023) 13940 (2023) 13934 (2023) 13933 (2023) 13930 (2023) 13929 (2023) 13923 (2023) 13918 (2023) 13915 (2023) 13911 (2023) 13910 (2023) 13906 (2023) 13905 (2023) 13904 (2023) 13900 (2023) 13899 (2023) 13898 (2023) 13896 (2023) 13895 (2023) 13894 (2023) 13892 (2023) 13890 (2023) 13889 (2023) 13884 (2023) 13883 (2023) 13881 (2023) 13878 (2023) 13874 (2023) 13872 (2023) 13871 (2023) 13868 (2023) 13862 (2023) 13858 (2023) 13849 (2023) 13839 (2023) 13837 (2023) 13835 (2023) ...and 5,995 more Volumes 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 all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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