Process-commutative distributed objects: from cryptocurrencies to Byzantine-fault-tolerant CRDTs. (English) Zbl 07921862
MSC:
68Qxx
Found 4,140 Documents (Results 1–100)
Dual-type-triggers-based cooperative adaptive critic control of swarm UAVs under FDI attacks. (English) Zbl 1542.93225
Using Bellman optimality principle for the generative autoencoder architecture for the problems of the attribute data typesetting and semantic description in data management. (English) Zbl 07878167
Global-local shrinkage multivariate logit-beta priors for multiple response-type data. (English) Zbl 1536.62025
Stochastic approach to heterogeneity in short-time announcement effects on the Chilean stock market indexes within 2016–2019. (English) Zbl 1535.60123
Surveys and essays towards research perspectives on complex systems. (English) Zbl 07830485
MSC:
00Bxx
26A16
28A33
35B30
35F10
35L50
35R02
46E27
65M60
65N30
82D99
91D10
92B05
92C17
92D40
92C15
An Internal Logic of Virtual Double Categories. arXiv:2410.06792
Preprint, arXiv:2410.06792 [math.CT] (2024).
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. arXiv:2402.12051
Preprint, arXiv:2402.12051 [math.CT] (2024).
New iterative method with inertial technique for split variational inclusion problem to classify TPACK level of pre-service mathematics teachers. (English) Zbl 07829179
Low-redundancy codes for correcting multiple short-duplication and edit errors. (English) Zbl 1542.94064
Towards an induction principle for nested data types. (English) Zbl 07810568
Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 244-255 (2023).
MSC:
03B70
Parameterized verification under TSO with data types. (English) Zbl 1543.68186
Sankaranarayanan, Sriram (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13993, 588-606 (2023).
A survey on model-based co-clustering: high dimension and estimation challenges. (English) Zbl 07734141
MSC:
62H30
Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167
Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).
Verification of mutable linear data structures and iterator-based algorithms in Dafny. (English) Zbl 07723896
MSC:
68-XX
Quantitative polynomial functors. (English) Zbl 07890960
Basold, Henning (ed.) et al., 27th international conference on types for proofs and programs, TYPES 2021, Leiden, The Netherlands, virtual conference, June 14–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 239, Article 10, 22 p. (2022).
Joint Bayesian analysis of multiple response-types using the hierarchical generalized transformation model. (English) Zbl 1531.62031
Distributed coalgebraic partition refinement. (English) Zbl 07798025
Fisman, Dana (ed.) et al., 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 II. Cham: Springer. Lect. Notes Comput. Sci. 13244, 159-177 (2022).
An institutional approach to communicating UML state machines. (English) Zbl 07792971
Johnsen, Einar Broch (ed.) et al., Fundamental approaches to software engineering. 25th international conference, FASE 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13241, 205-224 (2022).
Integrating ADTs in KeY and their application to history-based reasoning about collection. (English) Zbl 07785151
MSC:
68-XX
Lifting numeric relational domains to algebraic data types. (English) Zbl 1524.68198
Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 104-134 (2022).
Symmetric transrationals: the data type and the algorithmic degree of its equational theory. (English) Zbl 1524.68199
Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 63-80 (2022).
MSC:
68Q65
Characterizing functions mappable over GADTs. (English) Zbl 1524.68200
Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 135-154 (2022).
Geometric approaches to persistent homology. (English) Zbl 1531.55006
Reviewer: Haibin Hang (Middletown)
Stick breaking, in coalgebra and probability. (English) Zbl 07628072
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 176-193 (2022).
MSC:
68Q65
Corecursive algebras in nature. (English) Zbl 07628071
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 155-175 (2022).
MSC:
68Q65
Corecursion up-to via causal transformations. (English) Zbl 07628070
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022).
MSC:
68Q65
Algebraic presentation of semifree monads. (English) Zbl 07628069
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 110-132 (2022).
MSC:
68Q65
Saturated Kripke structures as Vietoris coalgebras. (English) Zbl 07628068
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 88-109 (2022).
MSC:
68Q65
A categorical framework for learning generalised tree automata. (English) Zbl 07628067
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 67-87 (2022).
MSC:
68Q65
Coalgebraic semantics for nominal automata. (English) Zbl 07628066
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 45-66 (2022).
MSC:
68Q65
Discrete density comonads and graph parameters. (English) Zbl 07628065
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 23-44 (2022).
MSC:
68Q65
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic. (English) Zbl 07628064
Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 1-22 (2022).
MSC:
68Q65
Lower bounds on message passing implementations of multiplicity-relaxed queues and stacks. (English) Zbl 07615861
Parter, Merav (ed.), Structural information and communication complexity. 29th international colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13298, 253-264 (2022).
Partial arithmetical data types of rational numbers and their equational specification. (English) Zbl 07576527
MSC:
68-XX
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. (English) Zbl 1499.68017
Lecture Notes in Computer Science 13225. Cham: Springer (ISBN 978-3-031-10735-1/pbk; 978-3-031-10736-8/ebook). xvii, 195 p. (2022).
The theory of traces for systems with nondeterminism, probability, and termination. (English) Zbl 07566077
Clustering-correcting codes. (English) Zbl 1495.94162
MSC:
94B60
Persistence of Conley-Morse graphs in combinatorial dynamical systems. (English) Zbl 1498.37069
Reviewer: Zdzisław Dzedzej (Gdańsk)
Artificial intelligence with Python. (English) Zbl 1541.68001
Machine Learning: Foundations, Methodologies, and Applications. Singapore: Springer (ISBN 978-981-16-8614-6/hbk; 978-981-16-9322-9/pbk; 978-981-16-8615-3/ebook). xiv, 336 p. (2022).
Reviewer: Irina Ioana Mohorianu (Oxford)
Persistent Homology, Matroids and Cobordisms. arXiv:2209.01099
Preprint, arXiv:2209.01099 [math.AT] (2022).
Comparison of persistent singular and Čech homology for locally connected filtrations. arXiv:2207.00848
Preprint, arXiv:2207.00848 [math.AT] (2022).
Non-determinsitic algebraic rewriting as adjunction. arXiv:2204.12133
Preprint, arXiv:2204.12133 [math.LO] (2022).
Quantitative polynomial functors (early Ideas). (English) Zbl 07774248
Gadducci, Fabio (ed.) et al., 9th conference on algebra and coalgebra in computer science, CALCO 2021, Salzburg, Austria, August 31 – September 3, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 211, Article 22, 5 p. (2021).
MSC:
68Qxx
Computer algebra in physics: the hidden SO(4) symmetry of the hydrogen atom. (English) Zbl 1523.81143
Integrating ADTs in KeY and their application to history-based reasoning. (English) Zbl 1521.68076
Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 255-272 (2021).
Logic in the process ontology. (Russian. English summary) Zbl 1539.03085
Logical relations as types: proof-relevant parametricity for program modules. (English) Zbl 1499.68069
Programming with abstract data types (1974). (English) Zbl 1529.68030
Lewis, Harry R. (ed.), Ideas that created the future. Classic papers of computer science. Cambridge, MA: MIT Press. 387-398 (2021).
Checking data-race freedom of GPU kernels, compositionally. (English) Zbl 1493.68025
Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 403-426 (2021).
Software specification. (English) Zbl 1507.68088
Jones, Cliff B. (ed.) et al., Theories of programming. The life and works of Tony Hoare. New York, NY: Association for Computing Machinery (ACM). ACM Books 39, 251-270 (2021).
Implicit partiality of signature morphisms in institution theory. (English) Zbl 1542.03084
Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 81-123 (2021).
Global ownership patterns. (English) Zbl 1475.91187
MSC:
91B54
Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058
Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021).
Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114
Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 375-403 (2021).
Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044
Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 264-291 (2021).
\(L^p\)-variational solutions of multivalued backward stochastic differential equations. (English) Zbl 1477.60089
Repeat-free codes. (English) Zbl 1486.94182
MSC:
94B60
Computational thinking: a perspective on computer science. (English) Zbl 1490.68001
Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
Reviewer: Dieter Riebesehl (Lüneburg)
Matching logic explained. (English) Zbl 1518.68047
Weighted lifted codes: local correctabilities and application to robust private information retrieval. (English) Zbl 1465.94145
Multi-valued variational inequalities and inclusions. (English) Zbl 1462.49001
Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-030-65164-0/hbk; 978-3-030-65167-1/pbk; 978-3-030-65165-7/ebook). xvii, 584 p. (2021).
Reviewer: Dian K. Palagachev (Bari)
MSC:
49-02
49J40
49J20
46E35
35J87
35J88
35K86
35K87
35R05
35R70
47J20
47J22
47J35
28Bxx
35B51
35J20
35J66
35K61
35K92
35Q74
47H04
47H05
47H07
49J53
Data sharing agreements in vertically differentiated two-sided markets. (English) Zbl 1530.91337
MSC:
91B54
Reconfigurable lattice agreement and applications. (English) Zbl 1504.68017
Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 31, 17 p. (2020).
Quotients of bounded natural functors. (English) Zbl 07614662
Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 58-78 (2020).
Most general algebraic specifications for an abstract datatype of rational numbers. (English) Zbl 1513.68032
MSC:
68Q65
Assignments to sheaves of pseudometric spaces. (English) Zbl 1498.55003
Reviewer: Elisa Hartmann (Göttingen)
When databases roamed computing: formal database specification revisited perspective of language. (English) Zbl 1535.68070
Haeusler, Edward Hermann (ed.) et al., A question is more illuminating than an answer. A Festschrift for Paulo A. S. Veloso. London: College Publications. Tributes 44, 261-278 (2020).
Scalable Bayesian regression in high dimensions with multiple data sources. (English) Zbl 07499269
MSC:
62-XX
Implementation correctness for replicated data types, categorically. (English) Zbl 07369994
Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 283-303 (2020).
MSC:
68Qxx
A copula-based GLMM model for multivariate longitudinal data with mixed-types of responses. (English) Zbl 1469.62223
Reviewer: Jonas Šiaulys (Vilnius)
Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 180-200 (2020).
A categorical approach to secure compilation. (English) Zbl 07314153
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020).
MSC:
68Q65
Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 133-154 (2020).
MSC:
68Q65
Injective objects and fibered codensity liftings. (English) Zbl 07314151
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 112-132 (2020).
MSC:
68Q65
De Finetti’s construction as a categorical limit. (English) Zbl 07314150
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 90-111 (2020).
MSC:
68Q65
Filter Results by …
Document Type
- Journal Articles (2,005)
- Collection Articles (1,774)
- Books (351)
- arXiv Preprints (10)
all
top 5
Author
- Bergstra, Jan A. (83)
- Ehrig, Hartmut (75)
- Mossakowski, Till (55)
- Tucker, John V. (51)
- Wirsing, Martin (40)
- Tarlecki, Andrzej (37)
- Orejas, Fernando (34)
- Broy, Manfred (31)
- Diaconescu, Răzvan (31)
- Meseguer Guaita, José (30)
- Schröder, Lutz (30)
- Milius, Stefan (29)
- Adámek, Jiří (27)
- Goguen, Joseph Amadee (27)
- Sannella, Donald T. (26)
- Jacobs, Bart (25)
- Kreowski, Hans-Jörg (24)
- Bidoit, Michel (22)
- Ehrich, Hans-Dieter (22)
- Ghani, Neil (22)
- Kurz, Alexander (22)
- Hennicker, Rolf (21)
- Kozen, Dexter C. (21)
- Astesiano, Egidio (20)
- Harel, David (20)
- Moss, Lawrence S. (20)
- Orłowska, Ewa S. (20)
- Tiuryn, Jerzy (20)
- Maibaum, Thomas Stephen Edward (19)
- Futatsugi, Kokichi (18)
- Zucker, Jeffery I. (18)
- Kapur, Deepak (17)
- Klop, Jan Willem (17)
- Montanari, Ugo G. (17)
- Pnueli, Amir (17)
- Rutten, Jan J. M. M. (17)
- Cîrstea, Corina (16)
- Große-Rhode, Martin (16)
- Mirkowska, Grazyna (16)
- Narendran, Paliath (16)
- Ogata, Kazuhiro (16)
- Roggenbach, Markus (16)
- Reggio, Gianna (15)
- Reichel, Horst (15)
- Roşu, Grigore (15)
- Veloso, Paulo Augusto Silva (15)
- Bloom, Stephen L. (14)
- Kaplan, Stéphane (14)
- Kirchner, Hélène (14)
- Lescanne, Pierre (14)
- Németi, István (14)
- Wagner, Eric G. (14)
- Wolter, Uwe E. (14)
- Andréka, Hajnal (13)
- Ésik, Zoltán (13)
- Meyer, Albert Ronald (13)
- Mosses, Peter D. (13)
- Rot, Jurriaan (13)
- Silva, Alexandra (13)
- Bonsangue, Marcello Maria (12)
- Johann, Patricia (12)
- Jouannaud, Jean-Pierre (12)
- Matthes, Ralph (12)
- Pepper, Peter (12)
- Power, John (12)
- Rasiowa, Helena (12)
- Uustalu, Tarmo (12)
- Barbosa, Luís Soares (11)
- Costa, Gerardo (11)
- Gaudel, Marie-Claude (11)
- Gibbons, Jeremy (11)
- Goncharov, Sergeĭ Savost’yanovich (11)
- Halpern, Joseph Yehuda (11)
- Lipeck, Udo Walter (11)
- Lowe, Michael J. S. (11)
- Lucanu, Dorel (11)
- Mahr, Bernd (11)
- Manna, Zohar (11)
- Milner, Robin (11)
- Pattinson, Dirk (11)
- Sain, Ildikó (11)
- Setzer, Anton (11)
- Velebil, Jiří (11)
- Baeten, Jos C. M. (10)
- Clarke, Edmund Melson jun. (10)
- Constable, Robert Lee (10)
- Corradini, Andrea (10)
- Dershowitz, Nachum (10)
- Fiadeiro, José Luiz (10)
- Gallier, Jean H. (10)
- Makowsky, Johann-Andreas (10)
- Otto, Friedrich (10)
- Padawitz, Peter (10)
- Parikh, Rohit (10)
- Traytel, Dmitry (10)
- Abramsky, Samson (9)
- Backhouse, Roland C. (9)
- Cerioli, Maura (9)
- Choppy, Christine (9)
- McBride, Conor Thomas (9)
- and 3,548 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (270)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (67)
- Inf. Process. Lett. (61)
- Acta Inf. (58)
- Bull. EATCS (50)
- Inf. Comput. (49)
- Math. Struct. Comput. Sci. (45)
- Sci. Comput. Program. (44)
- Formal Asp. Comput. (42)
- Lect. Notes Comput. Sci. (39)
- J. Comput. Syst. Sci. (38)
- J. Symb. Comput. (36)
- Log. Methods Comput. Sci. (35)
- Inf. Control (34)
- Program. Comput. Softw. (34)
- SIAM J. Comput. (33)
- Cybernetics (24)
- J. Assoc. Comput. Mach. (22)
- Form. Methods Syst. Des. (22)
- J. Log. Algebr. Program. (20)
- ACM Trans. Program. Lang. Syst. (19)
- Vychisl. Sist. (17)
- Artif. Intell. (16)
- J. Log. Comput. (16)
- IEEE Trans. Softw. Eng. (16)
- J. Log. Algebr. Methods Program. (16)
- IEEE Trans. Inf. Theory (15)
- RAIRO, Inf. Théor. (15)
- Int. J. Comput. Math. (14)
- Fundam. Inform. (14)
- J. Funct. Program. (13)
- J. Log. Program. (12)
- Appl. Categ. Struct. (12)
- Acta Cybern. (11)
- Stud. Log. (11)
- Bull. Sect. Logic, Pol. Acad. Sci. (11)
- Math. Syst. Theory (10)
- Ann. Pure Appl. Logic (10)
- J. Autom. Reasoning (10)
- Bull. Eur. Assoc. Theor. Comput. Sci. EATCS (10)
- Electron. Notes Theor. Comput. Sci. (10)
- Comput. J. (9)
- Softw., Pract. Exper. (9)
- Sov. Math., Dokl. (9)
- Distrib. Comput. (9)
- Cybern. Syst. Anal. (9)
- Diagrammes (9)
- RIMS Kokyuroku (9)
- Comput. Linguist. Comput. Lang. (8)
- Nord. J. Comput. (8)
- Theor. Inform. Appl. (8)
- J. UCS (8)
- Camb. Tracts Theor. Comput. Sci. (8)
- Semiotika Inf. (8)
- BIT (7)
- Inf. Sci. (7)
- Z. Math. Logik Grundlagen Math. (7)
- New Generation Comput. (7)
- Int. J. Found. Comput. Sci. (7)
- RAIRO, Inform. Théor. Appl. (7)
- ACM Trans. Comput. Log. (7)
- Comput. Lang. (6)
- Int. J. Comput. Inform. Sci. (6)
- Notre Dame J. Formal Logic (6)
- Comput. Artif. Intell. (6)
- Des. Codes Cryptography (6)
- C. R. Acad. Bulg. Sci. (6)
- Commun. ACM (6)
- High.-Order Symb. Comput. (6)
- Seminarber., Humboldt-Univ. Berlin, Sekt. Math. (6)
- Mat. Logika Primen. (6)
- EATCS Monogr. Theoret. Comput. Sci. (6)
- Pr. Inst. Podstaw Inf. Pol. Akad. Nauk. (6)
- Int. J. Man-Mach. Stud. (5)
- Algebra Univers. (5)
- Log. Anal., Nouv. Sér. (5)
- Publ. Res. Inst. Math. Sci. (5)
- Eng. Cybern. (5)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. (5)
- RAIRO, Tech. Sci. Inf. (5)
- Bull. Inf. Cybern. (5)
- Autom. Remote Control (5)
- Inf. Syst. (5)
- Wiss. Z. Tech. Univ. Dres. (5)
- Bull. Pol. Acad. Sci., Math. (5)
- Theory Comput. Syst. (5)
- Log. J. IGPL (5)
- J. ACM (5)
- J. Softw. (5)
- J. Appl. Log. (5)
- Log. Univers. (5)
- Adv. Math. Commun. (5)
- J. Inf. Process. (4)
- J. Pure Appl. Algebra (4)
- Kybernetika (4)
- Philos. Trans. R. Soc. Lond., Ser. A (4)
- Sib. Math. J. (4)
- J. Comput. Sci. Technol. (4)
- Int. J. Parallel Program. (4)
- CWI Q. (4)
- and 321 more Serials
all
top 5
Year of Publication
- 2024 (13)
- 2023 (9)
- 2022 (35)
- 2021 (29)
- 2020 (37)
- 2019 (22)
- 2018 (40)
- 2017 (44)
- 2016 (38)
- 2015 (65)
- 2014 (46)
- 2013 (51)
- 2012 (74)
- 2011 (59)
- 2010 (49)
- 2009 (78)
- 2008 (56)
- 2007 (65)
- 2006 (83)
- 2005 (79)
- 2004 (69)
- 2003 (96)
- 2002 (85)
- 2001 (140)
- 2000 (79)
- 1999 (70)
- 1998 (68)
- 1997 (66)
- 1996 (45)
- 1995 (78)
- 1994 (65)
- 1993 (92)
- 1992 (88)
- 1991 (97)
- 1990 (91)
- 1989 (155)
- 1988 (215)
- 1987 (179)
- 1986 (163)
- 1985 (193)
- 1984 (198)
- 1983 (173)
- 1982 (158)
- 1981 (139)
- 1980 (145)
- 1979 (115)
- 1978 (70)
- 1977 (23)
- 1976 (4)
- 1975 (3)
- 1973 (1)
- 1972 (1)
- 1971 (2)
- 1967 (1)
- 1964 (1)
all
top 3
Main Field
- 68-XX (4,032)
- 03-XX (1,315)
- 18-XX (393)
- 08-XX (177)
- 94-XX (103)
- 06-XX (59)
- 00-XX (57)
- 62-XX (31)
- 05-XX (29)
- 91-XX (28)
- 20-XX (24)
- 35-XX (21)
- 65-XX (21)
- 93-XX (19)
- 90-XX (18)
- 55-XX (17)
- 47-XX (16)
- 11-XX (15)
- 81-XX (15)
- 54-XX (14)
- 49-XX (13)
- 60-XX (13)
- 92-XX (10)
- 37-XX (9)
- 16-XX (8)
- 01-XX (7)
- 13-XX (7)
- 57-XX (7)
- 26-XX (6)
- 82-XX (6)
- 28-XX (4)
- 74-XX (4)
- 15-XX (3)
- 22-XX (3)
- 34-XX (3)
- 45-XX (3)
- 46-XX (3)
- 52-XX (3)
- 12-XX (2)
- 17-XX (2)
- 30-XX (2)
- 97-XX (2)
- 14-XX (1)
- 39-XX (1)
- 41-XX (1)
- 51-XX (1)
- 53-XX (1)
- 58-XX (1)
- 76-XX (1)
- 78-XX (1)
- 80-XX (1)
Biographic Reference
- Mosses, Peter D. (1)
all
top 3
Software
- CASL (90)
- CafeOBJ (58)
- Maude (56)
- OBJ3 (43)
- Coq (41)
- Isabelle/HOL (39)
- Haskell (35)
- Hets (35)
- PVS (26)
- Automath (22)
- CoFI (21)
- LARCH (21)
- Nuprl (21)
- ML (20)
- LCF (19)
- Miranda (19)
- Modula (18)
- REVE (18)
- CoCasl (17)
- Agda (16)
- Isabelle (16)
- ALGOL 68 (15)
- Z (15)
- Ada95 (13)
- CCSL (13)
- HOL (13)
- CIRC (11)
- Simula 67 (11)
- HasCasl (9)
- NQTHM (9)
- OCaml (9)
- z3 (9)
- ALGOL 60 (8)
- Eiffel (8)
- SPIN (8)
- CESAR (7)
- CVC4 (7)
- Dafny (7)
- RRL (7)
- ASF+SDF (6)
- AXIOM (6)
- ELAN (6)
- GitHub (6)
- ITP (6)
- Sledgehammer (6)
- Specware (6)
- VAMPIRE (6)
- ATERM (5)
- Archive Formal Proofs (5)
- Circus (5)
- JML (5)
- KIV (5)
- Kenzo (5)
- LOTOS (5)
- Mizar (5)
- SMT-LIB (5)
- SPASS (5)
- Why3 (5)
- AGG (4)
- AProVE (4)
- CDuce (4)
- ETPS (4)
- Maple (4)
- OBSCURE (4)
- QuickCheck (4)
- RADA (4)
- Smalltalk (4)
- UNITY (4)
- mCRL (4)
- 2OBJ (3)
- ACL2 (3)
- Boogie (3)
- CC-Pi (3)
- CITP (3)
- CSP-prover (3)
- CoALP (3)
- CryptHOL (3)
- DACTL (3)
- DTRE (3)
- Datalog (3)
- Dynamo (3)
- EAT (3)
- GHC (3)
- GROOVE (3)
- HOL Light (3)
- HyTech (3)
- Kodkod (3)
- LISP (3)
- LUSTRE (3)
- Lifting (3)
- Lucid (3)
- MTT (3)
- Mathematica (3)
- NARROWER (3)
- OOZE (3)
- OTTER (3)
- PHOTON (3)
- PL/I (3)
- Paco (3)
- Polyp (3)
- and 440 more Software Packages
