Found 475 Documents (Results 1–100)
Intuitionistic public announcement logic with distributed knowledge. (English) Zbl 07871661
MSC:
03-XX
Introduction to data science. A Python approach to concepts, techniques and applications. 2nd edition. (English) Zbl 1543.68002
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-031-48955-6/pbk; 978-3-031-48956-3/ebook). xiv, 246 p. (2024).
Logic of communication interpretation: how to not get lost in translation. (English) Zbl 1540.68029
Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 119-136 (2023).
Optimal eventual Byzantine agreement protocols with omission failures. (English) Zbl 07824331
Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 244-252 (2023).
Runtime enforcement using knowledge bases. (English) Zbl 1541.68250
Lambers, Leen (ed.) et al., Fundamental approaches to software engineering. 26th international conference, FASE 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13991, 220-240 (2023).
Protecting distributed primitives against leakage: equivocal secret sharing and more. (English) Zbl 1542.94153
Dachman-Soled, Dana (ed.), 3rd conference on information-theoretic cryptography, ITC 2022, Cambridge, MA, USA, July 5–7, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 230, Article 3, 24 p. (2022).
Verifiable decryption in the head. (English) Zbl 1527.94041
Nguyen, Khoa (ed.) et al., Information security and privacy. 27th Australasian conference, ACISP 2022, Wollongong, NSW, Australia, November 28–30, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13494, 355-374 (2022).
MSC:
94A60
Optimal algorithms for synchronous Byzantine \(k\)-set agreement. (English) Zbl 1522.68731
Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 24th international symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13751, 178-192 (2022).
A new hope. (English) Zbl 1531.03024
Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 349-369 (2022).
Logics with group announcements and distributed knowledge: completeness and expressive power. (English) Zbl 1515.03068
MSC:
03B42
Unbeatable consensus. (English) Zbl 1483.68025
MSC:
68M14
On Artemov and Protopopescu’s intuitionistic epistemic logic expanded with distributed knowledge. (English) Zbl 07547772
Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 216-231 (2021).
Group belief. (English) Zbl 07451574
Publicly verifiable zero knowledge from (collapsing) blockchains. (English) Zbl 1479.94252
Garay, Juan A. (ed.), Public-key cryptography – PKC 2021. 24th IACR international conference on practice and theory of public key cryptography, virtual event, May 10–13, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12711, 469-498 (2021).
Distribution bisimilarity via the power of convex algebras. (English) Zbl 1480.18005
Reviewer: Ernst-Erich Doberkat (Dortmund)
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. (English) Zbl 1502.68195
Reviewer: Philippe Gaucher (Paris)
A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1497.03032
Reviewer: Philippe Gaucher (Paris)
Weighted generalized fuzzy Petri nets and rough sets for knowledge representation and reasoning. (English) Zbl 1509.68262
Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 61-77 (2020).
Trace equivalence and epistemic logic to express security properties. (English) Zbl 1511.68185
Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 115-132 (2020).
Group belief. (English) Zbl 1535.03070
Dastani, Mehdi (ed.) et al., Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12061, 3-21 (2020).
Simpler completeness proofs for modal logics with intersection. (English) Zbl 1535.03130
Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 259-276 (2020).
MSC:
03B45
Pruning in map-reduce style CbO algorithms. (English) Zbl 1511.68274
Alam, Mehwish (ed.) et al., Ontologies and concepts in mind and machine. 25th international conference on conceptual structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12277, 103-116 (2020).
Common knowledge equilibrium of Boolean securities in distributed information market. (English) Zbl 1497.91125
A note on the separability of items in knowledge structures delineated by skill multimaps. (English) Zbl 1465.91088
MSC:
91E40
Silence. (English) Zbl 1491.68025
Strongly minimal MapReduce algorithms: a terasort case study. (English) Zbl 07266059
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 301-317 (2020).
Logic-based approach to incremental monitoring and optimization on strongly distributed data streams. (English) Zbl 07266056
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 242-262 (2020).
Craig interpolation of epistemic logics with distributed knowledge. (English) Zbl 1496.03073
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 211-221 (2020).
A non-interactive shuffle argument with low trust assumptions. (English) Zbl 1457.94087
Jarecki, Stanislaw (ed.), Topics in cryptology – CT-RSA 2020. The cryptographers’ track at the RSA conference 2020, San Francisco, CA, USA, February 24–28, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12006, 667-692 (2020).
A dynamic epistemic logic analysis of the equality negation task. (English) Zbl 1496.03072
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 53-70 (2020).
A multi-agent platform to support knowledge based modelling in engineering design. (English) Zbl 1436.90170
Bennis, Fouad (ed.) et al., Nature-inspired methods for metaheuristics optimization. Algorithms and applications in science and engineering. Cham: Springer. Model. Optim. Sci. Technol. 16, 245-263 (2020).
MSC:
90C59
Distributed representation of knowledge graphs with subgraph-aware proximity. (English) Zbl 1436.68334
Modal epistemic logic on contracts: a doctrinal approach. (English) Zbl 1534.03023
Boreale, Michele (ed.) et al., Models, languages, and tools for concurrent and distributed programming. Essays dedicated to Rocco De Nicola on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11665, 298-314 (2019).
Soft Petri net. (English) Zbl 1527.68138
Mihálydeák, Tamás (ed.) et al., Rough sets. International joint conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11499, 253-264 (2019).
Reasoning about distributed knowledge of groups with infinitely many agents. (English) Zbl 07649937
Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 29, 15 p. (2019).
MSC:
68Q85
Methods for domain specification of verification-oriented process ontology. (Russian. English summary) Zbl 1497.68301
Effects of topology knowledge and relay depth on asynchronous appoximate consensus. (English) Zbl 07561442
Cao, Jiannong (ed.) et al., 22nd international conference on principles of distributed systems, OPODIS 2018, December 17–19, 2018, Hong Kong, China. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 125, Article 14, 16 p. (2019).
Semantic structures for spatially-distributed multi-agent systems. (English) Zbl 1543.68184
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 300, 39-53 (2019).
Group announcement logic with distributed knowledge. (English) Zbl 1539.03053
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 98-111 (2019).
Fuzzy spatio-temporal ontologies and formal construction based on fuzzy Petri nets. (English) Zbl 1427.68301
Dynamic epistemic logic with communication actions. (English) Zbl 1433.68419
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 67-82 (2019).
The role of a-priori information in networks of rational agents. (English) Zbl 1497.68032
Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 5, 18 p. (2018).
A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1498.03045
Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 73-87 (2018).
Acquiring and sharing tacit knowledge based on interval 2-tuple linguistic assessments and extended fuzzy Petri nets. (English) Zbl 1469.68113
Updating probabilistic knowledge on condition/event nets using Bayesian networks. (English) Zbl 1520.68090
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018).
Known unknowns: time bounds and knowledge of ignorance. (English) Zbl 1437.03058
van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 187-206 (2018).
Pointwise intersection in neighbourhood modal logic. (English) Zbl 1418.03107
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 591-610 (2018).
Knowledge reasoning over knowledge graph: a survey. (Chinese. English summary) Zbl 1424.68163
An algorithm for solving minimal cut set of causality diagram by Petri net model. (Chinese. English summary) Zbl 1424.68158
On knowledge and communication complexity in distributed systems. (English) Zbl 1517.68054
Lotker, Zvi (ed.) et al., Structural information and communication complexity. 25th international colloquium, SIROCCO 2018, Ma’ale HaHamisha, Israel, June 18–21, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11085, 312-330 (2018).
Information elicitation for Bayesian auctions. (English) Zbl 1415.91135
Deng, Xiaotie (ed.), Algorithmic game theory. 11th international symposium, SAGT 2018, Beijing, China, September 11–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11059, 43-55 (2018).
MSC:
91B26
Cloud data processing using granular based weighted concept lattice and Hamming distance. (English) Zbl 1402.68030
Petri nets over ontological graphs: conception and application for modelling tasks of robots. (English) Zbl 1489.68276
Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 207-214 (2017).
Distributed keyword approximate search method for RDF. (Chinese. English summary) Zbl 1399.68037
Distributed first order logic. (English) Zbl 1423.68491
Reliable communication via semilattice properties of partial knowledge. (English) Zbl 1496.68048
Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10472, 367-380 (2017).
Distributed knowing whether (extended abstract). (English) Zbl 1495.03026
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 653-657 (2017).
MSC:
03B42
Distributed and parallel computation of the canonical direct basis. (English) Zbl 1489.68278
Bertet, Karell (ed.) et al., Formal concept analysis. 14th international conference, ICFCA 2017, Rennes, France, June 13–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10308, 228-241 (2017).
MSC:
68T30
Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. (English) Zbl 1365.62003
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017).
Reviewer: Irina Ioana Mohorianu (Norwich)
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. (English) Zbl 1353.68203
Worlds of events: deduction with partial knowledge about causality. (English) Zbl 1433.68421
Bartoletti, Massimo (ed.) et al., Proceedings of the 9th interaction and concurrency experience workshop, ICE’16, Heraklion, Greece, June 8–9, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 223, 113-127 (2016).
Local planning of multiparty interactions with bounded horizons. (English) Zbl 1427.68024
Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 199-216 (2016).
Flexible generalized fuzzy Petri nets for rule-based systems. (English) Zbl 1398.68522
Martín-Vide, Carlos (ed.) et al., Theory and practice of natural computing. 5th international conference, TPNC 2016, Sendai, Japan, December 12–13, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-49000-7/pbk; 978-3-319-49001-4/ebook). Lecture Notes in Computer Science 10071, 196-207 (2016).
Modified generalized weighted fuzzy Petri net in intuitionistic fuzzy environment. (English) Zbl 1398.68527
Flores, Víctor (ed.) et al., Rough sets. International joint conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47159-4/pbk; 978-3-319-47160-0/ebook). Lecture Notes in Computer Science 9920. Lecture Notes in Artificial Intelligence, 342-351 (2016).
A canonical model construction for intuitionistic distributed knowledge. (English) Zbl 1400.03031
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 420-434 (2016).
Brief announcement: Reliable message transmission under partial knowledge and general adversaries. (English) Zbl 1373.68118
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 203-205 (2016).
Unbeatable set consensus via topological and combinatorial reasoning. (English) Zbl 1373.68081
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 107-116 (2016).
MiMC: efficient encryption and cryptographic hashing with minimal multiplicative complexity. (English) Zbl 1404.94035
Cheon, Jung Hee (ed.) et al., 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 I. Berlin: Springer (ISBN 978-3-662-53886-9/pbk; 978-3-662-53887-6/ebook). Lecture Notes in Computer Science 10031, 191-219 (2016).
MSC:
94A60
Pay-as-you-go data integration: experiences and recurring themes. (English) Zbl 1428.68080
Freivalds, Rūsiņš Mārtiņš (ed.) et al., SOFSEM 2016: theory and practice of computer science. 42nd international conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 23–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9587, 81-92 (2016).
Modified generalised fuzzy Petri nets for rule-based systems. (English) Zbl 1444.68246
Yao, Yiyu (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 15th international conference, RSFDGrC 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9437, 196-206 (2015).
Distributed computation of generalized one-sided concept lattices on sparse data tables. (English) Zbl 1413.68132
Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer). (English) Zbl 1367.68282
Cluster computing in zero knowledge. (English) Zbl 1371.68257
Oswald, Elisabeth (ed.) et al., Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-46802-9/pbk; 978-3-662-46803-6/ebook). Lecture Notes in Computer Science 9057, 371-403 (2015).
Domain-specific transition systems and their application to a formal definition of a model programming language. (English) Zbl 1374.68111
Reasoning dynamic fuzzy systems based on adaptive fuzzy higher order Petri nets. (English) Zbl 1355.68251
Embedding relational databases in object ontologies: implementation issues. (Russian. English summary) Zbl 1343.68069
Distributed computing building blocks for rational agents. (English) Zbl 1321.68097
Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 406-415 (2014).
Beyond Lamport’s happened-before, on time bounds and the ordering of events in distributed systems. (English) Zbl 1295.68165
What do we need to know to elect in networks with unknown participants? (English) Zbl 1416.68022
Halldórsson, Magnús M. (ed.), Structural information and communication complexity. 21st international colloquium, SIROCCO 2014, Takayama, Japan, July 23–25, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8576, 279-294 (2014).
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. (English) Zbl 1310.03030
MSC:
03B42
Logic of non-monotonic interactive proofs. (English) Zbl 1303.68129
Lodaya, Kamal (ed.), Logic and its applications. 5th Indian conference, ICLA 2013, Chennai, India, January 10–12, 2013, Proceedings. Berlin: Springer (ISBN 978-3-642-36038-1/pbk). Lecture Notes in Computer Science 7750, 173-184 (2013).
A new class of fuzzy Petri nets for knowledge representation and reasoning. (English) Zbl 1285.68177
Filter Results by …
Document Type
- Journal Articles (211)
- Collection Articles (219)
- Books (45)
all
top 5
Author
- Moses, Yoram (23)
- Halpern, Joseph Yehuda (20)
- Suraj, Zbigniew (11)
- Ågotnes, Thomas (8)
- Fagin, Ronald (8)
- Atanassov, Krassimir Todorov (7)
- Raś, Zbigniew W. (5)
- Tuttle, Mark R. (5)
- Vardi, Moshe Ya’akov (5)
- Alechina, Natasha (4)
- Bandyopadhyay, Sibasis (4)
- Ghidini, Chiara (4)
- Goubault, Eric (4)
- Ledent, Jérémy (4)
- Neiger, Gil (4)
- Pancerz, Krzysztof (4)
- Rajsbaum, Sergio (4)
- Sakavalas, Dimitris (4)
- Serafini, Luciano (4)
- Valencia, Frank D. (4)
- Anureev, Igor’ Sergeevich (3)
- Beaver, Donald (3)
- Ben-Zvi, Ido (3)
- Dreo Rodosek, Gabi (3)
- Guzmán, Michell (3)
- Hong, James Won-Ki (3)
- Knight, Sophia (3)
- Murai, Ryo (3)
- Pagourtzis, Aris T. (3)
- Panagiotakos, Giorgos (3)
- Rueda, Camilo (3)
- Sano, Katsuhiko (3)
- van der Meyden, Ron (3)
- Afek, Yehuda (2)
- Barro, Senén (2)
- Barwise, Kenneth Jon (2)
- Benevides, Mario R. F. (2)
- Bensalem, Saddek (2)
- Berzuini, Carlo (2)
- Bohoris, Christos (2)
- Bugarín, Alberto (2)
- Cariñena, Purificación (2)
- Castañeda, Armando (2)
- Chountas, Panagiotis (2)
- Costa, Vania (2)
- Csuhaj-Varjú, Erzsébet (2)
- Czaja, Ludwik (2)
- Dassow, Jürgen (2)
- Dwork, Cynthia (2)
- Eiter, Thomas (2)
- Fatkhi, D. V. (2)
- Feridun, Metin (2)
- Fink, Michael (2)
- Galimullin, Rustam (2)
- Gomide, Fernando A. C. (2)
- Gonczarowski, Yannai A. (2)
- Góngora, Pedro Arturo (2)
- Greco, Gianluigi (2)
- Grochowalski, Piotr (2)
- Helfert, Markus (2)
- Hellerstein, Joseph L. (2)
- Hernández-Quiroz, Francisco (2)
- Igual, Laura (2)
- Ju, Hong-Taek (2)
- Kar, Gautam (2)
- Kilian, Joe (2)
- Konecny, Jan (2)
- Korman, Amos (2)
- Krajca, Petr (2)
- Kramer, Simon (2)
- Krennwallner, Thomas (2)
- Kuznets, Roman (2)
- Lazić, Marijana (2)
- Liotta, Antonio (2)
- Luo, Jiliang (2)
- Malik, Grit (2)
- Moral, Serafín (2)
- Orozova, Daniela (2)
- Parikh, Rohit (2)
- Pavlou, George (2)
- Peled, Doron A. (2)
- Petrank, Erez (2)
- Petride, Sabina (2)
- Pliuškevičienė, Aida (2)
- Quintero, Santiago (2)
- Ramanujam, Ramaswamy (2)
- Ramírez, Sergio (2)
- Raynal, Michel (2)
- Rooney, Sean (2)
- Scarpelli, Heloisa (2)
- Schmid, Ulrich (2)
- Seguí, Santi (2)
- Seligman, Jerry (2)
- Sereni, Jean-Sébastien (2)
- Shishkov, Boris (2)
- Sotirova, Evdokia N. (2)
- Sotirova, Evdokiya (2)
- Sulamy, Moshe (2)
- Talia, Domenico (2)
- Tan, KaiCheng (2)
- and 791 more Authors
all
top 5
Serial
- Distrib. Comput. (12)
- Fundam. Inform. (9)
- Inf. Sci. (8)
- J. Log. Comput. (8)
- Artif. Intell. (6)
- Inf. Process. Lett. (6)
- J. Assoc. Comput. Mach. (5)
- Ann. Oper. Res. (5)
- Lect. Notes Comput. Sci. (5)
- Cybern. Syst. Anal. (4)
- Ann. Math. Artif. Intell. (4)
- Synthese (3)
- Theor. Comput. Sci. (3)
- Cybern. Syst. (3)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (3)
- Algorithmica (3)
- Inf. Comput. (3)
- Int. J. Intell. Syst. (3)
- Log. J. IGPL (3)
- J. ACM (3)
- Jt. Bull. NCC IIS, Ser. Comput. Sci. (3)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (3)
- Comput. Inform. (3)
- Camb. Tracts Theor. Comput. Sci. (3)
- Inf.-Fachber. (3)
- Commun. Comput. Inf. Sci. (3)
- J. Log. Algebr. Methods Program. (3)
- Appl. Math. Comput. (2)
- J. Philos. Log. (2)
- SIAM J. Comput. (2)
- J. Parallel Distrib. Comput. (2)
- Data Knowl. Eng. (2)
- Syst. Sci. (2)
- Form. Methods Syst. Des. (2)
- J. Logic Lang. Inf. (2)
- An. Univ. Craiova, Ser. Mat. Inf. (2)
- Izv. Vyssh. Uchebn. Zaved., Sev.-Kavk. Reg., Estestv. Nauki (2)
- Soft Comput. (2)
- Wuhan Univ. J. Nat. Sci. (2)
- Bul. Științ., Univ. Pitești, Ser. Mat. Inf. (2)
- Proc. Jangjeon Math. Soc. (2)
- Comput. Netw. (2)
- Adv. Stud. Contemp. Math., Kyungshang (2)
- Stud. Comput. Intell. (2)
- Log. Methods Comput. Sci. (2)
- Liet. Mat. Rink., Liet. Mat. Draugijos Darb. (2)
- Undergrad. Top. Comput. Sci. (2)
- RIMS Kokyuroku (2)
- Int. J. Gen. Syst. (1)
- Int. J. Syst. Sci. (1)
- Lith. Math. J. (1)
- Acta Cybern. (1)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. (1)
- Comput. J. (1)
- Computing (1)
- J. Comput. Syst. Sci. (1)
- J. Math. Psychol. (1)
- Kybernetes (1)
- Math. Comput. Simul. (1)
- Networks (1)
- Program. Comput. Softw. (1)
- Softw., Pract. Exper. (1)
- Stud. Log. (1)
- J. Xi’an Jiaotong Univ. (1)
- Sci. Comput. Program. (1)
- Combinatorica (1)
- Acta Autom. Sin. (1)
- Parallel Comput. (1)
- J. Symb. Comput. (1)
- J. Comput. Sci. Technol. (1)
- J. Inf. Process. Cybern. (1)
- Int. J. Approx. Reasoning (1)
- J. Cryptology (1)
- Eng. Comput. (Lond.) (1)
- J. Southeast Univ., Engl. Ed. (1)
- Signal Process. (1)
- Neural Comput. (1)
- Future Gener. Comput. Syst. (1)
- Int. J. Found. Comput. Sci. (1)
- Autom. Remote Control (1)
- C. R. Acad. Bulg. Sci. (1)
- Eur. J. Oper. Res. (1)
- Adv. Eng. Softw. (1)
- J. Comput. Syst. Sci. Int. (1)
- Vychisl. Sist. (1)
- J. Appl. Non-Class. Log. (1)
- J. Artif. Intell. Res. (JAIR) (1)
- Comput. Sci. J. Mold. (1)
- An. Științ. Univ. “Ovidius” Constanța, Ser. Mat. (1)
- Rev. Invest. Oper. (1)
- Parallel Algorithms Appl. (1)
- Informatica, Ljubl. (1)
- Theory Comput. Syst. (1)
- Informatica, Vilnius (1)
- Bull. Novosib. Comput. Cent., Ser. Comput. Sci. (1)
- Bul. Inst. Politeh. Iași, Secția Autom. Calc. (1)
- RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. (1)
- Nat. Comput. (1)
- J. Softw. (1)
- J. Intell. Fuzzy Syst. (1)
- and 23 more Serials
all
top 5
Year of Publication
- 2024 (3)
- 2023 (4)
- 2022 (7)
- 2021 (9)
- 2020 (16)
- 2019 (12)
- 2018 (11)
- 2017 (10)
- 2016 (10)
- 2015 (7)
- 2014 (7)
- 2013 (7)
- 2012 (14)
- 2011 (11)
- 2010 (13)
- 2009 (16)
- 2008 (17)
- 2007 (12)
- 2006 (11)
- 2005 (8)
- 2004 (10)
- 2003 (28)
- 2002 (37)
- 2001 (17)
- 2000 (31)
- 1999 (15)
- 1998 (6)
- 1997 (12)
- 1996 (10)
- 1995 (9)
- 1994 (4)
- 1993 (13)
- 1992 (12)
- 1991 (20)
- 1990 (14)
- 1989 (9)
- 1988 (10)
- 1987 (5)
- 1986 (4)
- 1985 (4)
all
top 3
Software
- Maude (3)
- UNITY (3)
- Coq (2)
- MCK (2)
- Matlab (2)
- NTL (2)
- Nuprl (2)
- Python (2)
- Scikit (2)
- i* (2)
- pandas (2)
- swrl (2)
- AMBER (1)
- ANSYS (1)
- AsmL (1)
- Atoment (1)
- C-Light (1)
- CC-Pi (1)
- CESAR (1)
- CP-nets (1)
- CRYSTALS-KYBER (1)
- ContentCVS (1)
- DAML+OIL (1)
- DataCutter (1)
- Datalog (1)
- DatalogMTL (1)
- DeepWalk (1)
- FCALGS (1)
- Freebase (1)
- GOLOG (1)
- Gambit (1)
- Geppetto (1)
- GitHub (1)
- Grain (1)
- Helios (1)
- IDEAL (1)
- IMPACT (1)
- In-Close (1)
- Jess (1)
- KQML (1)
- LAILA (1)
- LARS (1)
- LIBSVM (1)
- LINE (1)
- Libretto (1)
- Ligero (1)
- Lingeling (1)
- MAFRA (1)
- MCGP (1)
- MMC (1)
- MOCHA (1)
- MOVE (1)
- MRMA (1)
- MWB (1)
- MapReduce (1)
- Me-services (1)
- MetaNet (1)
- MiMC (1)
- Modal_Logics_for_NTS (1)
- NFLlib (1)
- NOEKEON (1)
- OptiqueVQS (1)
- PRISM (1)
- PULCinella (1)
- PVM (1)
- Pellet (1)
- Pinocchio (1)
- Plingeling (1)
- Proclets (1)
- ProjE (1)
- Protege (1)
- SCRIBE (1)
- SIMECK (1)
- SIMON (1)
- SLICOT (1)
- SLMC (1)
- SNARKs for C (1)
- SPARQL (1)
- SPECK (1)
- SWIFFT (1)
- SWIFFTX (1)
- SYNTHESIS (1)
- SchemaSQL (1)
- SemCor (1)
- Senseval (1)
- Smodels (1)
- SoFAR (1)
- TransT (1)
- Treengeling (1)
- Trivium (1)
- Twister (1)
- UCI-ml (1)
- Verics (1)
- WEKA (1)
- WordNet (1)
- XASM (1)
- XPath (1)
- YAGO (1)
- YAWL (1)
- clasp (1)
- and 4 more Software Packages