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,299 Publications (since 1973) all top 5 Latest Volumes 15156 (2024) 15153 (2025) 15015 (2024) 14996 (2024) 14992 (2024) 14986 (2024) 14985 (2024) 14984 (2024) 14983 (2024) 14982 (2024) 14981 (2024) 14978 (2024) 14974 (2024) 14973 (2024) 14960 (2024) 14953 (2024) 14938 (2024) 14929 (2024) 14928 (2024) 14927 (2024) 14926 (2024) 14925 (2024) 14924 (2024) 14923 (2024) 14922 (2024) 14921 (2024) 14920 (2024) 14918 (2024) 14914 (2024) 14909 (2024) 14900 (2024) 14897 (2024) 14896 (2024) 14895 (2024) 14861 (2024) 14840 (2024) 14839 (2024) 14803 (2024) 14802 (2024) 14801 (2024) 14791 (2024) 14787 (2024) 14782 (2024) 14774 (2024) 14773 (2024) 14772 (2024) 14771 (2024) 14758 (2024) 14749 (2024) 14743 (2024) 14742 (2024) 14740 (2024) 14739 (2024) 14683 (2024) 14682 (2024) 14681 (2024) 14680 (2024) 14679 (2024) 14678 (2024) 14672 (2024) 14662 (2024) 14660 (2024) 14659 (2024) 14657 (2024) 14656 (2024) 14655 (2024) 14654 (2024) 14653 (2024) 14652 (2024) 14651 (2024) 14643 (2024) 14639 (2024) 14637 (2024) 14632 (2024) 14628 (2024) 14617 (2024) 14616 (2024) 14605 (2024) 14604 (2024) 14603 (2024) 14602 (2024) 14601 (2024) 14595 (2024) 14594 (2024) 14589 (2024) 14585 (2024) 14584 (2024) 14583 (2024) 14579 (2024) 14578 (2024) 14577 (2024) 14576 (2024) 14575 (2024) 14574 (2024) 14573 (2024) 14572 (2024) 14571 (2024) 14570 (2024) 14569 (2024) 14562 (2024) ...and 6,196 more Volumes all top 5 Authors / Editors 70 Rozenberg, Grzegorz 59 Dongarra, Jack J. 54 Gavrilova, Marina L. 51 Tan, Chih Jeng Kenneth 43 Yung, Moti 37 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 29 Voronkov, Andrei 28 Huang, Deshuang 27 Salomaa, Arto Kustaa 26 Peters, James Francis III 26 Scherer, Rafał 26 Taniar, David 25 Waśniewski, Jerzy 24 Jansen, Klaus 24 Korytkowski, Marcin 23 Ehrig, Hartmut 23 Zhou, Jianying 22 Nguyen Thanh Ngoc 22 Raś, Zbigniew W. 21 Du, Ding-Zhu 21 Narukawa, Yasuo 21 Torra, Vicenç 20 van Albada, Geert Dick 19 Lin, Dongdai 19 Vorozhtsov, Evgenii V. 19 Wyrzykowski, Roman 18 Pedrycz, Witold 18 Preneel, Bart 18 Priami, Corrado 18 Ślęzak, Dominik 18 Spaccapietra, Stefano 18 Zadeh, Lotfi Asker 17 Laganà, Antonio 17 Mun, Youngsong 17 Murgante, Beniamino 17 Păun, Gheorghe 16 Dehne, Frank 16 Kumar, Vipin 16 Pieprzyk, Josef P. 16 Potapov, Igor 16 Qing, Sihan 16 Sack, Jörg-Rüdiger 15 Gollmann, Dieter 15 Karczewski, Konrad 15 Koutny, Maciej 15 Mayr, Ernst W. 15 Nerode, Anil 15 Thalheim, Bernhard 15 Woodcock, James C. P. 14 Calude, Cristian S. 14 de Boer, Frank S. 14 Dediu, Adrian Horia 14 Margenov, Svetozar D. 14 Vega-Rodríguez, Miguel A. 14 Wang, Guoyin 13 Apduhan, Bernady O. 13 Bao, Feng 13 Bernardo, Marco 13 Bonsangue, Marcello Maria 13 de Roever, Willem-Paul 13 Jantke, Klaus-Peter 13 Lirkov, Ivan D. 13 Rijmen, Vincent 13 Sako, Kazue 13 Susilo, Willy 13 Wang, Huaxiong 13 Wirsing, Martin 13 Yao, Yiyu 12 Barneva, Reneta P. 12 Börger, Egon 12 Calmet, Jacques 12 Chen, Liqun 12 Deng, Robert Huijie 12 Garcia-Alfaro, Joaquin 12 Joye, Marc 12 Montanari, Ugo G. 12 Perner, Petra 12 Reyzin, Leonid 12 Stebila, Douglas 12 Steinfeld, Ron 12 Vaudenay, Serge 11 Akiyama, Jin 11 Bandini, Stefania 11 Bevilacqua, Vitoantonio 11 Brimkov, Valentin E. 11 Gottlob, Georg 11 Graf, Susanne 11 Jo, Kang-Hyun 11 Leite, João 11 Löwe, Benedikt 11 Lutton, Evelyne 11 Manea, Florin 11 Mu, Yi 11 Pardalos, Panos M. ...and 7,916 more Authors all top 5 Fields 5,500 Computer science (68-XX) 5,494 General and overarching topics; collections (00-XX) 925 Information and communication theory, circuits (94-XX) 334 Mathematical logic and foundations (03-XX) 210 Operations research, mathematical programming (90-XX) 188 Numerical analysis (65-XX) 148 Biology and other natural sciences (92-XX) 104 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 49 Systems theory; control (93-XX) 46 Combinatorics (05-XX) 45 Quantum theory (81-XX) 32 Number theory (11-XX) 15 Probability theory and stochastic processes (60-XX) 13 Category theory; homological algebra (18-XX) 13 Calculus of variations and optimal control; optimization (49-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Statistics (62-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 Dynamical systems and ergodic theory (37-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 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 2,132 Publications have been cited 13,046 times in 10,872 Documents Cited by ▼ Year ▼ A calculus of communicating systems. Zbl 0452.68027 Milner, Robin 670 1980 Isabelle/HOL. A proof assistant for higher-order logic. Zbl 0994.68131 Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus 537 2002 Treewidth. Computations and approximations. Zbl 0825.68144 Kloks, Ton 371 1994 Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037 263 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 230 2007 An introduction to partial differential equations. Zbl 0917.35001 Renardy, M.; Rogers, R. C. 214 1993 Constrained global optimization: algorithms and applications. Zbl 0638.90064 Pardalos, P. M.; Rosen, J. B. 200 1987 Multiobjective optimization. Interactive and evolutionary approaches. Zbl 1147.68304 194 2008 Global optimization. Zbl 0752.90075 Törn, Aimo; Zilinskas, Antanas 190 1989 Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039 Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P. 171 1979 Online algorithms. The state of the art. Zbl 1177.68009 166 1998 Isabelle. A generic theorem prover. Zbl 0825.68059 Paulson, Lawrence C. 152 1994 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. 147 1976 Automatic differentiation: techniques and applications. Zbl 0473.68025 Rall, Louis B. 141 1981 The stability theory of stream ciphers. Zbl 0762.94008 Ding, Cunsheng; Xiao, Guozhen; Shan, Weijuan 140 1991 Axioms and hulls. Zbl 0777.68012 Knuth, D. E. 119 1992 First-order dynamic logic. Zbl 0403.03024 Harel, David 117 1979 A collection of test problems for constrained global optimization algorithms. Zbl 0718.90054 Floudas, Christodoulos A.; Pardalos, Panos M. 104 1990 Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem. Zbl 1293.68005 Godefroid, Patrice 103 1996 Hyperedge replacement: grammars and languages. Zbl 0787.68066 Habel, Annegret 96 1992 Concrete and abstract Voronoi diagrams. Zbl 0699.68005 Klein, Rolf 95 1989 Drawing graphs. Methods and models. Zbl 0977.68644 92 2001 Combinatorics on traces. Zbl 0717.68002 Diekert, Volker 89 1990 The design of dynamic data structures. Zbl 0545.68009 Overmars, Mark H. 87 1983 The traveling salesman. Computational solutions for RSP applications. Zbl 0825.90720 Reinelt, Gerhard 84 1994 Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142 Hermanns, Holger 81 2002 Matrix eigensystem routines. EISPACK guide extension. Zbl 0368.65020 Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B. 76 1977 Hybrid systems. Zbl 0825.00044 68 1993 Computing in systems described by equations. Zbl 0421.68038 O’Donnell, Michael J. 68 1977 Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents. Zbl 0978.03014 Kern-Isberner, Gabriele 67 2001 New stream cipher designs. The eSTREAM finalists. Zbl 1259.94006 66 2008 The logic of information structures. Zbl 0788.03001 Wansing, Heinrich 64 1993 Computer science today. Recent trends and developments. Zbl 0875.00060 63 1995 Network analysis. Methodological foundations. Zbl 1069.68001 63 2005 Filtering, segmentation and depth. Zbl 0801.68171 Nitzberg, Mark; Mumford, David; Shiota, Takahiro 58 1993 Foundations of inductive logic programming. Zbl 1293.68014 Nienhuys-Cheng, Shan-Hwei; de Wolf, Ronald 56 1997 How to multiply matrices faster. Zbl 0548.65022 Pan, Victor 55 1984 Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072 54 1998 Group-theoretic algorithms and graph isomorphism. Zbl 0487.68055 Hoffmann, Christoph M. 54 1982 Modular construction and partial order semantics of Petri nets. Zbl 1293.68015 Vogler, Walter 53 1992 Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088 51 2005 CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001 50 2004 A unified approach to interior point algorithms for linear complementary problems. Zbl 0766.90077 Kojima, Masakazu; Megiddo, Nimrod; Noma, Toshihito; Yoshise, Akiko 48 1991 Theory of program structures: Schemes, semantics, verification. Zbl 0345.68002 Greibach, Sheila A. 48 1975 Algebraic semantics. Zbl 0474.68010 Guessarian, Irène 47 1981 Matrix eigensystem routines - EISPACK guide. Zbl 0289.65017 Smith, B. T.; Boyle, J. M.; Garbow, B. S.; Ikebe, Y.; Klema, V. C.; Moler, C. B. 46 1974 Probabilistic inductive logic programming. Theory and applications. Zbl 1132.68007 45 2008 Operating systems. An advanced course. Zbl 0375.68002 44 1978 Network calculus. A theory of deterministic queueing systems for the Internet. Zbl 0974.90003 Le Boudec, Jean-Yves; Thiran, Patrick 43 2001 Axiomatising the logic of computer programming. Zbl 0474.68045 Goldblatt, Robert 42 1982 On the computational geometry of pocket machining. Zbl 0755.68136 Held, Martin 41 1991 Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013 41 1987 Turing machines with sublogarithmic space. Zbl 0998.68062 Szepietowski, Andrzej 40 1994 The logic of categorial grammars. A deductive account of natural language syntax and semantics. Zbl 1261.03001 Moot, Richard; Retoré, Christian 40 2012 Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001 Schmidt-Schauss, Manfred 39 1989 CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005 39 1990 Fundamental algorithms for permutation groups. Zbl 0785.20001 Butler, Gregory 38 1991 Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2–7, 2008. Advanced lectures. Zbl 1137.68302 38 2008 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 Reasoning and revision in hybrid representation systems. Zbl 0702.68095 Nebel, Bernhard 35 1990 Foundations of equational logic programming. Zbl 0688.68004 Hölldobler, Steffen 35 1989 Evolutionary multi-criterion optimization. 4th international conference, EMO 2007, Matsushima, Japan, March 5–8, 2007. Proceedings. Zbl 1159.68305 35 2007 Computational cardiology. Modeling of anatomy, electrophysiology, and mechanics. Zbl 1051.92025 Sachse, Frank B. 35 2004 Scale space and variational methods in computer vision. Second international conference, SSVM 2009, Voss, Norway, June 1–5, 2009. Proceedings. Zbl 1233.68026 34 2009 Formal concept analysis. Foundations and applications. Zbl 1087.68003 32 2005 On the integration of algebraic functions. Zbl 0471.14009 Davenport, James Harold 31 1981 Grammar and L forms: an introduction. Zbl 0521.68085 Wood, Derick 31 1980 Property testing. Current research and surveys. Zbl 1197.68012 29 2010 Finite representations of CCS and TCSP programs by automata and Petri nets. Zbl 0684.68011 Taubner, Dirk 28 1989 Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5–9, 1990. Proceedings. Zbl 0753.00023 28 1991 List decoding of error-correcting codes. Winning thesis of the 2002 ACM Doctoral Dissertation Competition. Zbl 1075.94001 Guruswami, Venkatesan 28 2004 Semirings for constraint solving and programming. Zbl 1054.68136 Bistarelli, Stefano 27 2004 Resolution methods for the decision problem. Zbl 0789.03013 26 1993 Attribute grammars. Definitions, systems and bibliography. Zbl 0647.68073 Deransart, Pierre; Jourdan, Martin; Lorho, Bernard 26 1988 Evolutionary multi-criterion optimization. 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5–8, 2011. Proceedings. Zbl 1214.68021 26 2011 Scale space and variational methods in computer vision. 4th international conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2–6, 2013. Proceedings. Zbl 1362.68014 26 2013 Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. ”Under the auspices of the European Association for Theoretical Computer Science”. Zbl 0512.00027 26 1983 Advances in Petri nets 1993. Zbl 0825.00052 24 1993 A methodology for uncertainty in knowledge-based systems. Zbl 0705.68097 Weichselberger, Kurt; Pöhlmann, Sigrid 23 1990 Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Zbl 1133.68009 23 2008 Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978. Zbl 0398.00019 23 1979 Queueing networks with discrete time scale. Explicit expressions for the steady state behaviour of discrete time stochastic networks. Zbl 0988.60094 Daduna, Hans 23 2001 Temporal logic. 1st international conference, ICTL ’94, Bonn, Germany, July 11–14, 1994. Proceedings. Zbl 0875.03007 22 1994 Rough sets and current trends in computing. 1st international conference, RSCTC ’98, Warsaw, Poland, June 22–26, 1998. Proceedings. Zbl 0891.00026 22 1998 CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. Zbl 1033.68025 Bidoit, Michel; Mosses, Peter D. 22 2004 Systems of reductions. Zbl 0636.68027 Benninghofen, B.; Kemmerich, S.; Richter, M. M. 21 1987 L systems. Zbl 0281.00016 21 1974 Complexity and structure. Zbl 0589.03022 Schöning, Uwe 21 1986 Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053 21 2001 Ray shooting, depth orders and hidden surface removal. Zbl 0787.68098 de Berg, Mark 20 1993 Co-oP. A group decision support system for cooperative multiple criteria group decision making. Zbl 0677.68124 Bui, Tung X. 20 1987 Formal methods for industrial applications. Specification and programming the Steam Boiler Control. Zbl 1060.68501 20 1996 Automated deduction in equational logic and cubic curves. Zbl 0921.03011 McCune, William; Padmanabhan, R. 20 1996 A connotational theory of program structure. Zbl 0625.68018 Royer, James S. 20 1987 Association rule mining. Models and algorithms. Zbl 0998.68047 Zhang, Chengqi; Zhang, Shichao 20 2002 Composition of secure multi-party protocols. A comprehensive study. Zbl 1041.68036 Lindell, Yehuda 20 2003 Modular specification and verification of object-oriented programs. Zbl 0998.68034 Müller, Peter 20 2002 Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Zbl 0674.68011 Zwiers, Job 19 1989 Evolutionary multi-criterion optimization. 5th international conference, EMO 2009, Nantes, France, April 7–10, 2009. Proceedings. Zbl 1160.68302 19 2009 Programming languages and their definition. Selected papers ed. by C. B. Jones. Zbl 0548.68004 Bekič, H. 19 1984 Decision and game theory for security. 13th international conference, GameSec 2022, Pittsburgh, PA, USA, October 26–28, 2022. Proceedings. Zbl 1517.68011 1 2023 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 Structural information and communication complexity. 30th international colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023. Proceedings. Zbl 1528.68034 1 2023 Algorithms and complexity. 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023. Proceedings. Zbl 1521.68010 1 2023 Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Zbl 1525.68003 1 2023 Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part II. Zbl 1533.68007 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 Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 80th birthday. Zbl 1531.68018 1 2023 Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Zbl 1535.68012 1 2023 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 4 2022 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 4 2022 Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Zbl 1516.68022 2 2022 Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part II. Zbl 1514.94002 1 2022 Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Zbl 1498.68014 1 2022 Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Zbl 1507.68033 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 Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Zbl 1499.68017 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 Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Zbl 1528.68019 1 2022 Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. Zbl 1492.68017 1 2022 Computer science – theory and applications. 17th international computer science symposium in Russia, CSR 2022, virtual event, June 29 – July 1, 2022. Proceedings. Zbl 1498.68013 1 2022 Combinatorial algorithms. 33rd international workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022. Proceedings. Zbl 1493.68006 1 2022 Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part III. Zbl 1493.94003 1 2022 Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Zbl 1482.94005 2 2021 Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Zbl 1484.68013 2 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 Geometric science of information. 5th international conference, GSI 2021, Paris, France, July 21–23, 2021. Proceedings. Zbl 1482.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 Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Zbl 1482.68019 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 Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Zbl 1487.68013 1 2021 Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Zbl 1489.68029 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 Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Zbl 1483.68007 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 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 Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Zbl 1486.92002 1 2021 Descriptional complexity of formal systems. 23rd IFIP WG 1.02 international conference, DCFS 2021, virtual event, September 5, 2021. Proceedings. Zbl 1498.68012 1 2021 Approximation and online algorithms. 19th international workshop, WAOA 2021, Lisbon, Portugal, September 6–10, 2021. Revised selected papers. Zbl 1496.68028 1 2021 Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Zbl 1507.91003 1 2021 Optimization and applications. 12th international conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021. Proceedings. Zbl 1508.90001 1 2021 Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Zbl 1511.68014 1 2021 Advances in cryptology – ASIACRYPT 2021. 27th international conference on the theory and application of cryptology and information security, Singapore, December 6–10, 2021. Proceedings. Part II. Zbl 1510.94003 1 2021 Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012 4 2020 Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Zbl 1502.68022 3 2020 Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Zbl 1496.68019 3 2020 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 Advances in cryptology – CRYPTO 2020. 40th annual international cryptology conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020. Proceedings. Part II. Zbl 1498.94005 2 2020 Latin 2020: theoretical informatics. 14th Latin American symposium, São Paulo, Brazil, January 5–8, 2021. Proceedings. Zbl 1496.68029 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 Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Zbl 1496.03007 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 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 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 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 Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004 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 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 Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Zbl 1453.68017 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 Applied cryptography and network security. 18th international conference, ACNS 2020, Rome, Italy, October 19–22, 2020. Proceedings. Part I. Zbl 1454.94003 1 2020 Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Zbl 1455.68021 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 Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Zbl 1464.68012 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 Progress in cryptology – AFRICACRYPT 2020. 12th international conference on cryptology in Africa, Cairo, Egypt, July 20–22, 2020. Proceedings. Zbl 1498.94007 1 2020 Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Zbl 1457.68014 1 2020 Treewidth, kernels, and algorithms. Essays dedicated to Hans L. Bodlaender on the occasion of his 60th birthday. Zbl 1496.68018 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 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 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 10 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 9 2019 Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Zbl 1410.68009 6 2019 Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Zbl 1428.68018 6 2019 Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Zbl 1408.68024 4 2019 Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Zbl 1408.68010 4 2019 Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part II. Zbl 1428.94005 4 2019 Post-quantum cryptography. 10th international conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019. Revised selected papers. Zbl 1418.94003 3 2019 Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Zbl 1419.68014 3 2019 The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday. Zbl 1425.68003 3 2019 Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part III. Zbl 1428.94006 3 2019 Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036 3 2019 Graph-based representation and reasoning. 24th international conference on conceptual structures, ICCS 2019, Marburg, Germany, July 1–4, 2019. Proceedings. Zbl 1416.68010 2 2019 Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Zbl 1408.68018 2 2019 Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Zbl 1408.68017 2 2019 Formal techniques for distributed objects, components, and systems. 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019. Proceedings. Zbl 1410.68019 2 2019 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 2 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 Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part I. Zbl 1428.94013 1 2019 ...and 371 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 15,634 Authors 67 Meseguer Guaita, José 38 Nipkow, Tobias 35 Rozenberg, Grzegorz 34 Pardalos, Panos M. 33 Paulson, Lawrence Charles 31 Liotta, Giuseppe 30 Engelfriet, Joost 30 Martí-Oliet, Narciso 28 Bergstra, Jan A. 28 Lucas, Salvador 27 Kern-Isberner, Gabriele 27 Larsen, Kim Guldstrand 26 Baier, Christel 26 Beierle, Christoph 25 Alpuente, María 25 Benzmüller, Christoph Ewald 25 Blanchette, Jasmin Christian 25 Vogler, Walter 24 Montanari, Ugo G. 23 Escobar, Santiago 23 Kamide, Norihiro 23 Pan, Victor Yakovlevich 23 Rabe, Florian 22 Didimo, Walter 22 Drewes, Frank 21 Schaub, Torsten H. 20 Aceto, Luca 20 Bernstein, Daniel Julius 20 Vardi, Moshe Ya’akov 19 Bodlaender, Hans L. 19 Ingólfsdóttir, Anna 19 Katoen, Joost-Pieter 19 Kohlhase, Michael 19 Thilikos, Dimitrios M. 18 Corradini, Andrea 18 Ganian, Robert 18 Qi, Wenfeng 18 Struth, Georg 18 Talcott, Carolyn L. 18 Zimmermann, Martin 17 Bruni, Roberto 17 Case, John 17 Durán, Francisco 17 Popescu, Andrei 17 Sarkar, Palash 17 Sau, Ignasi 17 Urban, Josef 17 Verdejo, Alberto 16 Chatterjee, Krishnendu 16 Falaschi, Moreno 16 Groote, Jan Friso 16 Hermanns, Holger 16 Jain, Sanjay 16 Kaliszyk, Cezary 16 Miettinen, Kaisa M. 16 Mossakowski, Till 15 Bekos, Michael A. 15 Epstein, Leah 15 Geffert, Viliam 15 Hennessy, Matthew C. B. 15 Schröder, Lutz 15 van Glabbeek, Robert Jan 15 Wood, Derick 15 Woodcock, James C. P. 14 Baader, Franz 14 Courcelle, Bruno 14 De Raedt, Luc 14 Dershowitz, Nachum 14 Eiter, Thomas 14 Horst, Reiner 14 Lange, Tanja 14 Meyer, John-Jules Charles 14 Olveczky, Peter Csaba 14 Peltier, Nicolas 14 Riesco, Adrián 14 Roşu, Grigore 14 Szeider, Stefan 14 Wansing, Heinrich Theodor 14 Žilinskas, Antanas 13 Basin, David A. 13 Bouyer, Patricia 13 Brihaye, Thomas 13 Fernau, Henning 13 Gastin, Paul 13 Guttmann, Walter 13 Henzinger, Thomas A. 13 Kaufmann, Michael 13 Klein, Rolf-Dieter 13 Kloks, Ton 13 Koutny, Maciej 13 Kreowski, Hans-Jörg 13 Kuznetsov, Stepan L’vovich 13 Middeldorp, Aart 13 Platzer, André 13 Raskin, Jean-François 13 Riguzzi, Fabrizio 13 Rutten, Jan J. M. M. 12 Benson, Harold P. 12 Bruyère, Véronique 12 Bundy, Alan ...and 15,534 more Authors all top 5 Cited in 706 Journals 1,042 Theoretical Computer Science 299 Information and Computation 212 Journal of Automated Reasoning 201 Artificial Intelligence 181 Information Processing Letters 164 Journal of Computer and System Sciences 163 European Journal of Operational Research 158 Journal of Logical and Algebraic Methods in Programming 145 Discrete Applied Mathematics 141 Formal Aspects of Computing 141 Journal of Global Optimization 132 Acta Informatica 116 Theory and Practice of Logic Programming 115 Information Sciences 114 Journal of Symbolic Computation 109 Algorithmica 92 Applied Mathematics and Computation 92 International Journal of Approximate Reasoning 90 Computers & Operations Research 78 Journal of Computational and Applied Mathematics 78 Formal Methods in System Design 74 Computers & Mathematics with Applications 71 The Journal of Logic and Algebraic Programming 67 Logical Methods in Computer Science 65 Annals of Mathematics and Artificial Intelligence 61 Computational Geometry 55 Annals of Operations Research 51 Journal of Cryptology 50 Journal of Applied Logic 49 Machine Learning 47 Theory of Computing Systems 46 Journal of Computational Physics 44 Studia Logica 44 Linear Algebra and its Applications 43 Designs, Codes and Cryptography 42 Journal of Applied Non-Classical Logics 41 Annals of Pure and Applied Logic 41 Fundamenta Informaticae 40 Mathematical Structures in Computer Science 40 International Journal of Foundations of Computer Science 39 Fuzzy Sets and Systems 38 Discrete & Computational Geometry 38 Computational Optimization and Applications 37 Mathematical Programming. Series A. Series B 36 Journal of Optimization Theory and Applications 35 Mathematics of Computation 35 Computing 35 Distributed Computing 34 Journal of Mathematical Imaging and Vision 32 Operations Research Letters 31 Computer Methods in Applied Mechanics and Engineering 31 Journal of Logic, Language and Information 31 Cryptography and Communications 30 Discrete Mathematics 29 Pattern Recognition 29 Cybernetics and Systems Analysis 29 Journal of Functional Programming 29 Constraints 28 Journal of Complexity 28 International Journal of Computer Mathematics 27 Automatica 27 The Journal of Symbolic Logic 26 Journal of Mathematical Analysis and Applications 26 Journal of Philosophical Logic 26 Journal of Combinatorial Optimization 25 Mathematical Problems in Engineering 25 Optimization Letters 24 International Transactions in Operational Research 23 Computer Physics Communications 23 Networks 23 Mathematical and Computer Modelling 23 Applicable Algebra in Engineering, Communication and Computing 23 Natural Computing 22 BIT 22 SIAM Journal on Computing 22 Science of Computer Programming 22 Physica D 22 SIAM Journal on Imaging Sciences 21 International Journal of Control 21 RAIRO. Informatique Théorique et Applications 20 International Journal for Numerical Methods in Engineering 20 ACM Transactions on Computational Logic 19 Journal of Differential Equations 19 Journal of Membrane Computing 18 Journal of Discrete Algorithms 17 Software. Practice & Experience 17 Optimization 17 International Journal of Computational Geometry & Applications 17 Discrete Event Dynamic Systems 17 Soft Computing 17 Discrete Optimization 16 Mathematics and Computers in Simulation 16 Synthese 16 Computer Aided Geometric Design 16 New Generation Computing 16 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 16 RAIRO. Theoretical Informatics and Applications 16 Journal of Applied Mathematics 16 Computer Science Review 15 Numerical Algorithms ...and 606 more Journals all top 5 Cited in 63 Fields 7,097 Computer science (68-XX) 1,536 Mathematical logic and foundations (03-XX) 1,455 Operations research, mathematical programming (90-XX) 898 Information and communication theory, circuits (94-XX) 810 Numerical analysis (65-XX) 687 Combinatorics (05-XX) 404 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 273 Systems theory; control (93-XX) 239 Biology and other natural sciences (92-XX) 229 Partial differential equations (35-XX) 218 Statistics (62-XX) 185 Number theory (11-XX) 179 Probability theory and stochastic processes (60-XX) 146 Quantum theory (81-XX) 134 Category theory; homological algebra (18-XX) 129 Order, lattices, ordered algebraic structures (06-XX) 121 Group theory and generalizations (20-XX) 113 Calculus of variations and optimal control; optimization (49-XX) 110 Linear and multilinear algebra; matrix theory (15-XX) 110 Ordinary differential equations (34-XX) 107 Fluid mechanics (76-XX) 92 Mechanics of deformable solids (74-XX) 88 Convex and discrete geometry (52-XX) 72 Algebraic geometry (14-XX) 71 Dynamical systems and ergodic theory (37-XX) 65 General and overarching topics; collections (00-XX) 56 History and biography (01-XX) 54 Commutative algebra (13-XX) 48 General algebraic systems (08-XX) 47 Statistical mechanics, structure of matter (82-XX) 45 Field theory and polynomials (12-XX) 42 Real functions (26-XX) 41 Operator theory (47-XX) 34 General topology (54-XX) 31 Associative rings and algebras (16-XX) 28 Functional analysis (46-XX) 27 Approximations and expansions (41-XX) 27 Geometry (51-XX) 25 Mechanics of particles and systems (70-XX) 19 Functions of a complex variable (30-XX) 19 Differential geometry (53-XX) 18 Geophysics (86-XX) 17 Manifolds and cell complexes (57-XX) 17 Classical thermodynamics, heat transfer (80-XX) 16 Harmonic analysis on Euclidean spaces (42-XX) 16 Global analysis, analysis on manifolds (58-XX) 14 Integral equations (45-XX) 13 Measure and integration (28-XX) 13 Optics, electromagnetic theory (78-XX) 12 Special functions (33-XX) 11 Relativity and gravitational theory (83-XX) 9 Nonassociative rings and algebras (17-XX) 6 Difference and functional equations (39-XX) 6 Mathematics education (97-XX) 5 Potential theory (31-XX) 5 Algebraic topology (55-XX) 4 Topological groups, Lie groups (22-XX) 4 Several complex variables and analytic spaces (32-XX) 4 Integral transforms, operational calculus (44-XX) 4 Astronomy and astrophysics (85-XX) 2 Sequences, series, summability (40-XX) 2 Abstract harmonic analysis (43-XX) 1 \(K\)-theory (19-XX) Citations by Year