×

Found 475 Documents (Results 1–100)

Newest Citations Relevance
Cignarale, Giorgio; Kuznets, Roman; Rincon Galeana, Hugo; Schmid, Ulrich

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).
MSC:  68M14 03B42 03B70 68M15
Cite Review PDF
Full Text: DOI
OA License
Kamburjan, Eduard; Din, Crystal Chang

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).
MSC:  68Q85 03B70 68T30
Cite Review PDF
Full Text: DOI
OA License
Hazay, Carmit; Venkitasubramaniam, Muthuramakrishnan; Weiss, Mor

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).
MSC:  94A62 94A60 68N20
Cite Review PDF
Full Text: DOI
Delporte-Gallet, Carole; Fauconnier, Hugues; Raynal, Michel; Safir, Mouna

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).
MSC:  68W15 68M14 68M15 68Q10
Cite Review PDF
Full Text: DOI
Scafuro, Alessandra; Siniscalchi, Luisa; Visconti, Ivan

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).
MSC:  94A60 68M14 68P25
Cite Review PDF
Full Text: DOI
Minami, Kiraku

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).
MSC:  68Q85 03B42 03B70
Cite Review PDF
Full Text: DOI arXiv
Xia, Daniel; Simpson, Michael; Srinivasan, Venkatesh; Thomo, Alex

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).
MSC:  68P15 68T27 68T35 68U35
Cite Review PDF
Full Text: DOI
Aggelakis, Antonis; Fauzi, Prastudy; Korfiatis, Georgios; Louridas, Panos; Mergoupis-Anagnou, Foteinos; Siim, Janno; Zając, Michał

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).
MSC:  94A60 68M14 68P25
Cite Review PDF
Full Text: DOI
Goubault, Éric; Lazić, Marijana; Ledent, Jérémy; Rajsbaum, Sergio

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).
MSC:  03B42 03B70 68M14
Cite Review PDF
Full Text: DOI arXiv
Guzmán, Michell; Knight, Sophia; Quintero, Santiago; Ramírez, Sergio; Rueda, Camilo; Valencia, Frank

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
Cite Review PDF
Full Text: DOI
Sakavalas, Dimitris; Tseng, Lewis; Vaidya, Nitin H.

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).
MSC:  68M14 68M20
Cite Review PDF
Full Text: DOI arXiv
Valencia, Frank

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).
MSC:  68Q55 03B42 68Q85 68T27 68T42
Cite Review PDF
Full Text: arXiv Link
Afek, Yehuda; Rafaeli, Shaked; Sulamy, Moshe

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).
MSC:  68M14 68T42 68W15 91A26 91A68
Cite Review PDF
Full Text: DOI arXiv
Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio

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).
MSC:  03B42 03B70 18N40 55U35 68Q85
Cite Review PDF
Full Text: Link
Cabrera, Benjamin; Heindel, Tobias; Heckel, Reiko; König, Barbara

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).
MSC:  68Q85 68P15 68Q87 68T30
Cite Review PDF
Full Text: DOI arXiv
Igual, Laura; Seguí, Santi
[Vitrià, Jordi; Petia Radeva, Eloi Puertas; Pujol, Oriol; Escalera, Sergio; Dantí, Francesc; Garrido, Lluís]

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)
MSC:  62-01 62-07 65C60 68T05 62H30 62-04 62J05 62J12 68T35 68T50 68W10 68W15
Cite Review PDF
Full Text: DOI
Haeri, Seyed Hossein; van Roy, Peter; Baquero, Carlos; Meiklejohn, Christopher

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).
MSC:  68T27 68M11 68Q85 68T30
Cite Review PDF
Full Text: arXiv Link
Suraj, Zbigniew; Grochowalski, Piotr; Bandyopadhyay, Sibasis

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).
MSC:  68T30 68Q85
Cite Review PDF
Full Text: DOI
Bandyopadhyay, Sibasis; Suraj, Zbigniew; Grochowalski, Piotr

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).
MSC:  68T37 68Q85
Cite Review PDF
Full Text: DOI
Pagourtzis, Aris; Panagiotakos, Giorgos; Sakavalas, Dimitris

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).
MSC:  68M14 68M10 68M12 68M15
Cite Review PDF
Full Text: DOI
Castañeda, Armando; Gonczarowski, Yannai A.; Moses, Yoram

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).
MSC:  68M14 05E45 55U10 68M12 68M15
Cite Review PDF
Full Text: DOI arXiv
Albrecht, Martin; Grassi, Lorenzo; Rechberger, Christian; Roy, Arnab; Tiessen, Tyge

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
Cite Review PDF
Full Text: DOI Link
Paton, Norman W.; Belhajjame, Khalid; Embury, Suzanne M.; Fernandes, Alvaro A. A.; Maskat, Ruhaila

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).
MSC:  68M14 68P15 68T35
Cite Review PDF
Full Text: DOI
Chiesa, Alessandro; Tromer, Eran; Virza, Madars

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).
MSC:  68T15 62H30 68Q85 68T30
Cite Review PDF
Full Text: DOI
Chalopin, Jérémie; Godard, Emmanuel; Naudin, Antoine

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).
MSC:  68M14 68M10 68R10 68W15
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software