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: 5,965 Publications (since 1973) all top 5 Latest Volumes 13878 (2023) 13790 (2022) 13783 (2022) 13781 (2023) 13778 (2022) 13774 (2023) 13768 (2022) 13766 (2023) 13752 (2022) 13751 (2022) 13749 (2023) 13748 (2023) 13747 (2023) 13707 (2022) 13706 (2022) 13660 (2022) 13658 (2022) 13649 (2022) 13641 (2022) 13640 (2022) 13633 (2022) 13620 (2022) 13617 (2022) 13610 (2023) 13608 (2022) 13600 (2022) 13595 (2023) 13584 (2022) 13572 (2022) 13571 (2023) 13568 (2022) 13562 (2022) 13560 (2022) 13557 (2022) 13556 (2022) 13555 (2022) 13554 (2022) 13550 (2022) 13544 (2022) 13538 (2022) 13526 (2022) 13515 (2022) 13513 (2022) 13512 (2022) 13510 (2022) 13509 (2022) 13508 (2022) 13507 (2022) 13506 (2022) 13505 (2022) 13504 (2022) 13503 (2022) 13494 (2022) 13493 (2022) 13479 (2022) 13474 (2022) 13468 (2022) 13467 (2022) 13465 (2022) 13462 (2022) 13461 (2023) 13460 (2023) 13453 (2022) 13447 (2022) 13440 (2022) 13439 (2022) 13419 (2022) 13416 (2022) 13411 (2022) 13409 (2022) 13408 (2022) 13407 (2022) 13404 (2022) 13403 (2022) 13402 (2022) 13401 (2023) 13389 (2022) 13388 (2022) 13385 (2022) 13372 (2022) 13371 (2022) 13367 (2022) 13366 (2022) 13361 (2022) 13359 (2022) 13354 (2022) 13349 (2022) 13348 (2023) 13298 (2022) 13296 (2022) 13292 (2022) 13290 (2022) 13288 (2022) 13278 (2022) 13277 (2022) 13276 (2022) 13275 (2022) 13274 (2022) 13273 (2022) 13270 (2022) ...and 5,862 more Volumes all top 5 Authors / Editors 69 Rozenberg, Grzegorz 57 Dongarra, Jack J. 54 Gavrilova, Marina L. 51 Tan, Chih Jeng Kenneth 39 Yung, Moti 36 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 Peters, James Francis III 26 Taniar, David 26 Voronkov, Andrei 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ł 21 Du, Ding-Zhu 20 Korytkowski, Marcin 20 Raś, Zbigniew W. 20 Rolim, José D. P. 20 van Albada, Geert Dick 19 Narukawa, Yasuo 19 Torra, Vicenç 18 Preneel, Bart 18 Priami, Corrado 18 Spaccapietra, Stefano 18 Zadeh, Lotfi Asker 17 Laganà, Antonio 17 Mun, Youngsong 17 Murgante, Beniamino 17 Păun, Gheorghe 17 Vorozhtsov, Evgenii V. 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 15 Lin, Dongdai 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 Pedrycz, Witold 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 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 Schoenauer, Marc 11 Takagi, Tsuyoshi 11 Vaudenay, Serge 11 Zeugmann, Thomas 10 Bandini, Stefania 10 Bjørner, Dines 10 Brimkov, Valentin E. 10 Erlebach, Thomas ...and 7,633 more Authors all top 5 Fields 5,263 Computer science (68-XX) 5,137 General and overarching topics; collections (00-XX) 826 Information and communication theory, circuits (94-XX) 317 Mathematical logic and foundations (03-XX) 196 Operations research, mathematical programming (90-XX) 179 Numerical analysis (65-XX) 142 Biology and other natural sciences (92-XX) 96 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 48 Systems theory; control (93-XX) 47 Combinatorics (05-XX) 40 Quantum theory (81-XX) 31 Number theory (11-XX) 13 Category theory; homological algebra (18-XX) 13 Probability theory and stochastic processes (60-XX) 10 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 all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,223 Publications have been cited 7,573 times in 6,613 Documents Cited by ▼ Year ▼ A calculus of communicating systems. Zbl 0452.68027Milner, Robin 514 1980 Isabelle/HOL. A proof assistant for higher-order logic. Zbl 0994.68131Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus 396 2002 Treewidth. Computations and approximations. Zbl 0825.68144Kloks, Ton 251 1994 An introduction to partial differential equations. Zbl 0917.35001Renardy, M.; Rogers, R. C. 178 1993 Constrained global optimization: algorithms and applications. Zbl 0638.90064Pardalos, P. M.; Rosen, J. B. 178 1987 All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 165 2007 Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037 139 2002 Matrix eigensystem routines - EISPACK guide. 2nd ed. Zbl 0325.65016Smith, B. T.; Boyle, J. M.; Dongarra, J. J.; Garbow, B. S.; Ikebe, Y.; Klema, V. C.; Moler, C. B. 137 1976 Global optimization. Zbl 0752.90075Törn, Aimo; Zilinskas, Antanas 131 1989 The stability theory of stream ciphers. Zbl 0762.94008Ding, Cunsheng; Xiao, Guozhen; Shan, Weijuan 114 1991 Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P. 114 1979 Automatic differentiation: techniques and applications. Zbl 0473.68025Rall, Louis B. 108 1981 Isabelle. A generic theorem prover. Zbl 0825.68059Paulson, Lawrence C. 106 1994 Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem. Zbl 1293.68005Godefroid, Patrice 104 1996 Axioms and hulls. Zbl 0777.68012Knuth, D. E. 94 1992 First-order dynamic logic. Zbl 0403.03024Harel, David 94 1979 A collection of test problems for constrained global optimization algorithms. Zbl 0718.90054Floudas, Christodoulos A.; Pardalos, Panos M. 90 1990 Hyperedge replacement: grammars and languages. Zbl 0787.68066Habel, Annegret 79 1992 Concrete and abstract Voronoi diagrams. Zbl 0699.68005Klein, Rolf 77 1989 Combinatorics on traces. Zbl 0717.68002Diekert, Volker 75 1990 Matrix eigensystem routines. EISPACK guide extension. Zbl 0368.65020Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B. 70 1977 Online algorithms. The state of the art. Zbl 1177.68009 64 1998 Multiobjective optimization. Interactive and evolutionary approaches. Zbl 1147.68304 62 2008 The design of dynamic data structures. Zbl 0545.68009Overmars, Mark H. 61 1983 Interactive Markov chains. And the quest for quantified quality. Zbl 1012.68142Hermanns, Holger 58 2002 Drawing graphs. Methods and models. Zbl 0977.68644 51 2001 The logic of information structures. Zbl 0788.03001Wansing, Heinrich 50 1993 Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents. Zbl 0978.03014Kern-Isberner, Gabriele 48 2001 How to multiply matrices faster. Zbl 0548.65022Pan, Victor 47 1984 Modular construction and partial order semantics of Petri nets. Zbl 1293.68015Vogler, Walter 43 1992 Matrix eigensystem routines - EISPACK guide. Zbl 0289.65017Smith, B. T.; Boyle, J. M.; Garbow, B. S.; Ikebe, Y.; Klema, V. C.; Moler, C. B. 43 1974 Filtering, segmentation and depth. Zbl 0801.68171Nitzberg, Mark; Mumford, David; Shiota, Takahiro 42 1993 Theory of program structures: Schemes, semantics, verification. Zbl 0345.68002Greibach, Sheila A. 42 1975 Computing in systems described by equations. Zbl 0421.68038O’Donnell, Michael J. 40 1977 Probabilistic inductive logic programming. Theory and applications. Zbl 1132.68007 40 2008 The traveling salesman. Computational solutions for RSP applications. Zbl 0825.90720Reinelt, Gerhard 38 1994 Turing machines with sublogarithmic space. Zbl 0998.68062Szepietowski, Andrzej 36 1994 Algebraic semantics. Zbl 0474.68010Guessarian, Irène 34 1981 Foundations of inductive logic programming. Zbl 1293.68014Nienhuys-Cheng, Shan-Hwei; de Wolf, Ronald 34 1997 On the computational geometry of pocket machining. Zbl 0755.68136Held, Martin 33 1991 Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24–27, 2009. Revised selected and invited papers. Zbl 1179.68004 33 2010 Axiomatising the logic of computer programming. Zbl 0474.68045Goldblatt, Robert 31 1982 Reasoning and revision in hybrid representation systems. Zbl 0702.68095Nebel, Bernhard 30 1990 A unified approach to interior point algorithms for linear complementary problems. Zbl 0766.90077 30 1991 Fundamental algorithms for permutation groups. Zbl 0785.20001Butler, Gregory 30 1991 The logic of categorial grammars. A deductive account of natural language syntax and semantics. Zbl 1261.03001Moot, Richard; Retoré, Christian 30 2012 Group-theoretic algorithms and graph isomorphism. Zbl 0487.68055Hoffmann, Christoph M. 30 1982 Network analysis. Methodological foundations. Zbl 1069.68001 30 2005 Grammar and L forms: an introduction. Zbl 0521.68085Wood, Derick 29 1980 Network calculus. A theory of deterministic queueing systems for the Internet. Zbl 0974.90003Le Boudec, Jean-Yves; Thiran, Patrick 29 2001 Computational cardiology. Modeling of anatomy, electrophysiology, and mechanics. Zbl 1051.92025Sachse, Frank B. 28 2004 CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001 28 2004 Computational aspects of an order-sorted logic with term declarations. Zbl 0689.68001Schmidt-Schauss, Manfred 28 1989 Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Zbl 0636.00013 26 1987 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 Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088 23 2005 Finite representations of CCS and TCSP programs by automata and Petri nets. Zbl 0684.68011Taubner, Dirk 22 1989 Semirings for constraint solving and programming. Zbl 1054.68136Bistarelli, Stefano 21 2004 Attribute grammars. Definitions, systems and bibliography. Zbl 0647.68073Deransart, Pierre; Jourdan, Martin; Lorho, Bernard 21 1988 Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072 21 1998 Property testing. Current research and surveys. Zbl 1197.68012 20 2010 Foundations of equational logic programming. Zbl 0688.68004Hölldobler, Steffen 20 1989 Automated deduction in equational logic and cubic curves. Zbl 0921.03011McCune, William; Padmanabhan, R. 19 1996 List decoding of error-correcting codes. Winning thesis of the 2002 ACM Doctoral Dissertation Competition. Zbl 1075.94001Guruswami, Venkatesan 19 2004 Co-oP. A group decision support system for cooperative multiple criteria group decision making. Zbl 0677.68124Bui, Tung X. 18 1987 A methodology for uncertainty in knowledge-based systems. Zbl 0705.68097Weichselberger, Kurt; Pöhlmann, Sigrid 18 1990 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.60094Daduna, Hans 18 2001 New stream cipher designs. The eSTREAM finalists. Zbl 1259.94006 18 2008 Lectures on the complexity of bilinear problems. Zbl 0609.68032de Groote, H. F. 17 1987 A connotational theory of program structure. Zbl 0625.68018Royer, James S. 16 1987 Association rule mining. Models and algorithms. Zbl 0998.68047Zhang, Chengqi; Zhang, Shichao 16 2002 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.68025Bidoit, Michel; Mosses, Peter D. 16 2004 Temporally distributed symptoms in technical diagnosis. Zbl 0786.68088Nökel, Klaus 15 1991 Direct methods for sparse matrices. Zbl 0516.65011Osterby, Ole; Zlatev, Zahari 15 1983 Modular specification and verification of object-oriented programs. Zbl 0998.68034Müller, Peter 15 2002 Ray shooting, depth orders and hidden surface removal. Zbl 0787.68098de Berg, Mark 14 1993 Resolution methods for the decision problem. Zbl 0789.03013 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.68023Grahne, Gösta 14 1991 Systems of reductions. Zbl 0636.68027Benninghofen, B.; Kemmerich, S.; Richter, M. M. 14 1987 Trace theory and VLSI design. Zbl 0616.68001van de Snepscheut, Jan L. A. 14 1985 Specifying message passing and time-critical systems with temporal logic. Zbl 0806.68074Koymans, Ron 13 1992 Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Zbl 0674.68011Zwiers, Job 13 1989 Numerical integration on advanced computer systems. Zbl 0825.65012Krommer, Arnold R.; Ueberhuber, Christoph W. 13 1994 Distributed algorithms. 8th international workshop, WDAG 1994, Terschelling, The Netherlands, September 29 – October 1, 1994. Proceedings. Zbl 0803.00026 13 1994 Simple program schemes and formal languages. Zbl 0288.68030Engelfriet, Joost 13 1974 Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Zbl 1175.68008 13 2009 GAG: a practical compiler generator. Zbl 0492.68004Kastens, Uwe; Hutt, Brigitte; Zimmermann, Erich 13 1982 Negation and control in PROLOG. Zbl 0602.68006Naish, Lee 13 1986 25 years of model checking. History, achievements, perspectives. Zbl 1139.68003 13 2008 Complexity of constraints. An overview of current research themes. Zbl 1154.68008 12 2008 Boolean calculus of differences. Zbl 0452.94033Thayse, André 12 1981 Pascal. User manual and report. Zbl 0288.68043Jensen, Kathleen; Wirth, Niklaus 12 1974 Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Zbl 1241.68016 12 2012 Context-free grammars: covers, normal forms, and parsing. Zbl 0477.68077Nijholt, Anton 12 1980 Complexity and structure. Zbl 0589.03022Schöning, Uwe 12 1986 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 Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Zbl 1214.68009 12 2011 Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Zbl 1482.94005 1 2021 Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Zbl 07458688 1 2021 Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Zbl 1502.68022 3 2020 Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012 3 2020 Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Zbl 1496.68019 2 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 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 1493.68021 1 2020 Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Zbl 1428.68018 4 2019 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 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 Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part III. Zbl 1428.94006 2 2019 Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Zbl 1419.68014 2 2019 Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Zbl 1428.68036 2 2019 Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Zbl 1428.68024 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 Mathematical morphology and its applications to signal and image processing. 14th international symposium, ISMM 2019, Saarbrücken, Germany, July 8–10, 2019. Proceedings. Zbl 1428.68009 1 2019 Stabilization, safety, and security of distributed systems. 21st international symposium, SSS 2019, Pisa, Italy, October 22–25, 2019. Proceedings. Zbl 1428.68019 1 2019 Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Zbl 1428.68028 1 2019 Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Zbl 1408.68018 1 2019 Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Zbl 1398.68030 2 2018 Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Zbl 1383.68006 2 2018 Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018. Proceedings. Zbl 1387.68019 1 2018 Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1391.68001 1 2018 Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Zbl 1392.68017 1 2018 Theory and applications of satisfiability testing – SAT 2018. 21st international conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1390.68015 1 2018 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 String processing and information retrieval. 25th international symposium, SPIRE 2018, Lima, Peru, October 9–11, 2018. Proceedings. Zbl 1398.68028 1 2018 Rewriting logic and its applications. 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14–15, 2018. Proceedings. Zbl 1398.68038 1 2018 Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Zbl 1398.68027 1 2018 Adventures between lower bounds and higher altitudes. Essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday. Zbl 1398.68015 1 2018 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 Security and cryptography for networks. 11th international conference, SCN 2018, Amalfi, Italy, September 5–7, 2018. Proceedings. Zbl 1397.94004 1 2018 Computational logistics. 9th international conference, ICCL 2018, Vietri Sul Mare, Italy, October 1–3, 2018. Proceedings. Zbl 1397.90011 1 2018 Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006 1 2018 Constructive side-channel analysis and secure design. 9th international workshop, COSADE 2018, Singapore, April 23–24, 2018. Proceedings. Zbl 1439.94001 1 2018 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 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 4 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 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 2 2017 Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Zbl 1367.68005 2 2017 Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part II. Zbl 1367.68012 2 2017 Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Zbl 1367.68013 2 2017 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 Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Zbl 1416.03005 1 2017 Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Zbl 1369.68021 1 2017 SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Zbl 1355.68020 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 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 Topics in theoretical computer science. Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12–14, 2017. Proceedings. Zbl 1373.68021 1 2017 Geometric science of information. Third international conference, GSI 2017, Paris, France, November 7–9, 2017. Proceedings. Zbl 1374.94006 1 2017 Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part II. Zbl 1380.94007 1 2017 Transactions on Computational Collective Intelligence XXVII. Zbl 1384.68006 1 2017 Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part I. Zbl 1380.94009 1 2017 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 Post-quantum cryptography. 8th international workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26–28, 2017. Proceedings. Zbl 1386.94004 1 2017 Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68017 1 2017 Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68021 1 2017 Advances in cryptology – EUROCRYPT 2017. 36th annual international conference on the theory and applications of cryptographic techniques, Paris, France, April 30 – May 4, 2017. Proceedings. Part I. Zbl 1360.94005 1 2017 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 Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Zbl 1364.68010 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.03003Skrzypczak, Michał 4 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 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 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 Post-quantum cryptography. 7th international workshop, PQCrypto 2016, Fukuoka, Japan, February 24–26, 2016. Proceedings. Zbl 1331.94007 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 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 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 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 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 Advances in cryptology – ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4-8, 2016. Proceedings. Part II. Zbl 1349.94006 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 ...and 174 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 9,800 Authors 45 Meseguer Guaita, José 32 Pardalos, Panos M. 28 Nipkow, Tobias 22 Blanchette, Jasmin Christian 22 Engelfriet, Joost 21 Benzmüller, Christoph Ewald 21 Bergstra, Jan A. 21 Kern-Isberner, Gabriele 21 Pan, Victor Yakovlevich 21 Paulson, Lawrence Charles 20 Lucas, Salvador 20 Martí-Oliet, Narciso 20 Rabe, Florian 19 Alpuente, María 19 Beierle, Christoph 19 Larsen, Kim Guldstrand 19 Montanari, Ugo G. 17 Kamide, Norihiro 17 Rozenberg, Grzegorz 17 Vogler, Walter 16 Bodlaender, Hans L. 16 Escobar, Santiago 15 Schaub, Torsten H. 14 Baier, Christel 14 Courcelle, Bruno 14 Drewes, Frank 14 Geffert, Viliam 14 Horst, Reiner 14 Struth, Georg 14 Talcott, Carolyn L. 14 Urban, Josef 14 Zimmermann, Martín G. 13 Kohlhase, Michael 13 Mossakowski, Till 13 Sau, Ignasi 12 Baader, Franz 12 Benson, Harold P. 12 De Raedt, Luc 12 Durán, Francisco 12 Ingólfsdóttir, Anna 12 Kaliszyk, Cezary 12 Lucanu, Dorel 12 Wansing, Heinrich Theodor 12 Wood, Derick 11 Bekos, Michael A. 11 Bernstein, Daniel Julius 11 Bundy, Alan 11 Corradini, Andrea 11 Gastin, Paul 11 Groote, Jan Friso 11 Hermanns, Holger 11 Klein, Rolf-Dieter 11 Kuznetsov, Stepan L’vovich 11 Liotta, Giuseppe 11 Popescu, Andrei 11 Riguzzi, Fabrizio 11 Roşu, Grigore 11 Rutten, Jan J. M. M. 11 Thiemann, René 11 Thilikos, Dimitrios M. 11 Verdejo, Alberto 10 Aceto, Luca 10 Baeten, Jos C. M. 10 Basin, David A. 10 Brihaye, Thomas 10 Case, John 10 Ćirić, Miroslav D. 10 Falaschi, Moreno 10 Ganian, Robert 10 Guttmann, Walter 10 Katoen, Joost-Pieter 10 Kloks, Ton 10 Koutny, Maciej 10 Middeldorp, Aart 10 Nguyen van Thoai 10 Peltier, Nicolas 10 Riesco, Adrián 10 Scedrov, Andre 10 Schröder, Lutz 10 Silva, Alexandra 10 Tarlecki, Andrzej 10 Žilinskas, Antanas 9 Ballis, Demis 9 Bruyère, Véronique 9 Chatterjee, Krishnendu 9 de Berg, Mark Theodoor 9 Didimo, Walter 9 Diekert, Volker 9 Floudas, Christodoulos Achilleus 9 Hennessy, Matthew C. B. 9 Kanovich, Max Iosifovich 9 Kratsch, Stefan 9 Lokshtanov, Daniel 9 Meyer, John-Jules Charles 9 Mogavero, Fabio 9 Niederreiter, Harald 9 Raskin, Jean-François 9 Salomaa, Arto Kustaa 9 Sannella, Donald T. 9 Saurabh, Saket ...and 9,700 more Authors all top 5 Cited in 576 Journals 545 Theoretical Computer Science 175 Information and Computation 173 Journal of Automated Reasoning 121 Information Processing Letters 120 Formal Aspects of Computing 117 Journal of Global Optimization 113 Acta Informatica 110 Artificial Intelligence 103 Journal of Computer and System Sciences 103 Theory and Practice of Logic Programming 95 Journal of Logical and Algebraic Methods in Programming 91 Algorithmica 73 Discrete Applied Mathematics 66 Journal of Symbolic Computation 65 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 41 Annals of Operations Research 39 Computational Geometry 38 Journal of Applied Non-Classical Logics 36 Studia Logica 35 Theory of Computing Systems 34 International Journal of Approximate Reasoning 34 Journal of Cryptology 34 Linear Algebra and its Applications 33 Computing 32 Machine Learning 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 MSCS. Mathematical Structures in Computer Science 31 Mathematical Programming. Series A. Series B 30 Discrete & Computational Geometry 29 International Journal of Foundations of Computer Science 29 Computational Optimization and Applications 28 Designs, Codes and Cryptography 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 Journal of Mathematical Analysis and Applications 22 BIT 22 Science of Computer Programming 22 Annals of Pure and Applied Logic 22 Pattern Recognition 22 Cryptography and Communications 21 Discrete Mathematics 21 Journal of Philosophical Logic 21 The Journal of Symbolic Logic 21 RAIRO. Informatique Théorique et Applications 21 Applicable Algebra in Engineering, Communication and Computing 20 Computer Methods in Applied Mechanics and Engineering 20 Journal of Functional Programming 20 Journal of Combinatorial Optimization 19 SIAM Journal on Computing 19 Journal of Complexity 18 International Journal of Control 18 Fundamenta Informaticae 18 Optimization Letters 17 Fuzzy Sets and Systems 17 Software. Practice & Experience 17 International Journal of Computational Geometry & Applications 17 ACM Transactions on Computational Logic 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 15 International Journal for Numerical Methods in Engineering 15 Mathematical and Computer Modelling 15 Constraints 14 Mathematical Systems Theory 14 Operations Research Letters 13 Computer Physics Communications 13 Automatica 13 Synthese 13 Computer Aided Geometric Design 13 International Journal of Intelligent Systems 13 Real-Time Systems 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 476 more Journals all top 5 Cited in 62 Fields 4,294 Computer science (68-XX) 979 Mathematical logic and foundations (03-XX) 799 Operations research, mathematical programming (90-XX) 578 Numerical analysis (65-XX) 502 Information and communication theory, circuits (94-XX) 409 Combinatorics (05-XX) 218 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 166 Partial differential equations (35-XX) 164 Systems theory; control (93-XX) 124 Number theory (11-XX) 121 Probability theory and stochastic processes (60-XX) 115 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 Linear and multilinear algebra; matrix theory (15-XX) 75 Calculus of variations and optimal control; optimization (49-XX) 75 Fluid mechanics (76-XX) 72 Category theory; homological algebra (18-XX) 72 Group theory and generalizations (20-XX) 69 Mechanics of deformable solids (74-XX) 63 Quantum theory (81-XX) 61 Convex and discrete geometry (52-XX) 39 Dynamical systems and ergodic theory (37-XX) 37 Algebraic geometry (14-XX) 35 General and overarching topics; collections (00-XX) 33 Commutative algebra (13-XX) 32 General algebraic systems (08-XX) 30 Real functions (26-XX) 29 History and biography (01-XX) 28 Field theory and polynomials (12-XX) 26 Operator theory (47-XX) 23 Statistical mechanics, structure of matter (82-XX) 20 Functional analysis (46-XX) 20 Geometry (51-XX) 19 Associative rings and algebras (16-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 General topology (54-XX) 14 Classical thermodynamics, heat transfer (80-XX) 12 Integral equations (45-XX) 12 Global analysis, analysis on manifolds (58-XX) 12 Geophysics (86-XX) 11 Special functions (33-XX) 11 Differential geometry (53-XX) 11 Optics, electromagnetic theory (78-XX) 10 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