×

Found 150 Documents (Results 1–100)

Functional encryption for Turing machines with dynamic bounded collusion from LWE. (English) Zbl 1489.94083

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 239-269 (2021).
MSC:  94A60 68Q04
PDFBibTeX XMLCite
Full Text: DOI

Space-optimal naming in population protocols. (English) Zbl 1515.68060

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 9, 16 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Proofs of catalytic space. (English) Zbl 07559102

Blum, Avrim (ed.), 10th innovations in theoretical computer science conference, ITCS 2019, January 10–12, 2019, San Diego, CA, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 124, Article 59, 25 p. (2019).
MSC:  68Q10 68Q15 94A60
PDFBibTeX XMLCite
Full Text: DOI

Redundancy in distributed proofs. (English) Zbl 1497.68297

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 24, 18 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Constant space and non-constant time in distributed computing. (English) Zbl 1487.68253

Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 30, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Succinct delegation for low-space non-deterministic computation. (English) Zbl 1427.68112

Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 709-721 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Mathematical foundations of quantum informatics. (Математические основы квантовой информатики.) (Russian) Zbl 1414.81002

Lektsionnye Kursy NOTs 30. Moskva: Matematicheskiĭ Institut im. V. A. Steklova, RAN (ISBN 978-5-98419-080-7). 117 p., open access (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Weak bisimulation metrics in models with nondeterminism and continuous state spaces. (English) Zbl 1518.68233

Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 292-312 (2018).
MSC:  68Q85 68Q10 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Clocked population protocols. (English) Zbl 1379.68020

Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 431-440 (2017).
MSC:  68M14 68M12
PDFBibTeX XMLCite
Full Text: DOI

Streaming symmetric norms via measure concentration. (English) Zbl 1369.68205

Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 716-729 (2017).
MSC:  68Q05 68Q10 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

A note on the advice complexity of multipass randomized logspace. (English) Zbl 1398.68178

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 31, 7 p. (2016).
MSC:  68Q15 68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Catalytic space: non-determinism and hierarchy. (English) Zbl 1380.68178

Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 24, 13 p. (2016).
MSC:  68Q05 68Q10 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Plane formation by synchronous mobile robots in the three dimensional Euclidean space. (English) Zbl 1394.68150

Moses, Yoram (ed.), Distributed computing. 29th international symposium, DISC 2015, Tokyo, Japan, October 7–9, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48652-8/pbk; 978-3-662-48653-5/ebook). Lecture Notes in Computer Science 9363, 92-106 (2015).
MSC:  68Q10 68T40 68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

New bounds for the garden-hose model. (English) Zbl 1360.68465

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 481-492 (2014).
MSC:  68Q05 68Q10 68Q17 94C10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complexity theory basics: NP and NL. (English) Zbl 1345.68143

Agrawal, Manindra (ed.) et al., Perspectives in computational complexity. The Somenath Biswas anniversary volume. Selected papers based on the presentations at the workshop, Kanpur, India, Summer 2012. Cham: Birkhäuser/Springer (ISBN 978-3-319-05445-2/hbk; 978-3-319-05446-9/ebook). Progress in Computer Science and Applied Logic 26, 1-22 (2014).
MSC:  68Q15 68-02
PDFBibTeX XMLCite
Full Text: DOI

Space-bounded communication complexity. (English) Zbl 1360.68457

Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 159-172 (2013).
MSC:  68Q05 68Q10 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Population protocols on graphs: a hierarchy. (English) Zbl 1381.68080

Mauri, Giancarlo (ed.) et al., Unconventional computation and natural computation. 12th international conference, UCNC 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39073-9/pbk). Lecture Notes in Computer Science 7956, 31-42 (2013).
MSC:  68Q05 68M12 68Q10 68R10
PDFBibTeX XMLCite
Full Text: DOI

On the time and space complexity of randomized test-and-set. (English) Zbl 1301.68254

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 19-28 (2012).
PDFBibTeX XMLCite
Full Text: DOI HAL

A geometric approach to Gibbs energy landscapes and optimal DNA codeword design. (English) Zbl 1372.68099

Stefanovic, Darko (ed.) et al., DNA computing and molecular programming. 18th international conference, DNA 18, Aarhus, Denmark, August 14–17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32207-5/pbk). Lecture Notes in Computer Science 7433, 73-85 (2012).
MSC:  68Q05 68Q10 92D20
PDFBibTeX XMLCite
Full Text: DOI

The space complexity of long-lived and one-shot timestamp implementations. (English) Zbl 1321.68358

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 139-148 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computations with uncertain time constraints: effects on parallelism and universality. (English) Zbl 1330.68077

Calude, Cristian S. (ed.) et al., Unconventional computation. 10th international conference, UC 2011, Turku, Finland, June 6–10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21340-3/pbk). Lecture Notes in Computer Science 6714, 152-163 (2011).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

A strong direct product theorem for disjointness. (English) Zbl 1293.68146

Proceedings of the 42nd annual ACM symposium on theory of computing, STOC ’10. Cambridge, MA, USA, June 5–8, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-817-9). 77-86 (2010).
MSC:  68Q17 68Q05 68Q10 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Interval-valued computations without the product operator. (English) Zbl 1183.68288

Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. I. Eger: Eszterházy Károly College. 81-88 (2009).
MSC:  68Q10 68Q15
PDFBibTeX XMLCite

Time-awareness and proactivity in models of interactive computation. (English) Zbl 1276.68073

Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 69-95 (2005).
MSC:  68Q05 68Q10 68Q60
PDFBibTeX XMLCite
Full Text: Link

Partial order reduction: Linear and branching temporal logics and process algebras. (English) Zbl 0883.68090

Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 233-257 (1997).
PDFBibTeX XMLCite

Reversal-space trade-offs for simultaneous resource-bounded nondeterministic Turing machines. (English) Zbl 1420.68089

Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 203-214 (1993).
MSC:  68Q05 68Q10 68Q25
PDFBibTeX XMLCite
Full Text: DOI

The alternation hierarchy for sublogarithmic space: An exciting race to STACS’93. (English) Zbl 0797.68062

Enjalbert, Patrice (ed.) et al., STACS 93. 10th annual symposium on theoretical aspects of computer science, Würzburg, Germany, February 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 665, 2-4 (1993).
PDFBibTeX XMLCite

Associative storage modification machines. (English) Zbl 0791.68058

Ambos-Spies, Klaus (ed.) et al., Complexity theory. Current research. Proceedings of the workshop on structure and complexity held at the Dagstuhl International Conference and Research Center, Wadern, Germany, February 2-8, 1992. Cambridge: Cambridge University Press. 291-313 (1993).
MSC:  68Q05 68Q10 68Q15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software