×

zbMATH — the first resource for mathematics

Found 136 Documents (Results 1–100)

100
MathJax
Galbraith, Steven D. (ed.) et al., Advances in cryptology – ASIACRYPT 2019. 25th international conference on the theory and application of cryptology and information security, Kobe, Japan, December 8–12, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11921, 311-341 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 230-245 (2019).
MSC:  68Mxx 68R10
PDF BibTeX XML Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 31, 8 p. (2018).
MSC:  68V15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 20, 18 p. (2018).
MSC:  68Q17 81P68 91A05
PDF BibTeX XML Cite
Full Text: DOI
Lokshtanov, Daniel (ed.) et al., 12th international symposium on parameterized and exact computation, IPEC 2017, Vienna, Austria, September 6–8, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 89, Article 9, 12 p. (2018).
MSC:  68Q27
PDF BibTeX XML Cite
Full Text: DOI
Takagi, Tsuyoshi (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 10624, 65-95 (2017).
MSC:  94A60 81P94
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 59, 14 p. (2016).
MSC:  68Q25 05C85 68Q05 68Q10 68R10 68W40
PDF BibTeX XML Cite
Full Text: DOI
Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 488-511 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 244-263 (2015).
MSC:  68Q25 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 6th conference on innovations in theoretical computer science, ITCS’15, Rehovot, Israel, January 11–13, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3333-7). 133-142 (2015).
MSC:  68Q10 68Q25 68T15 68W20
PDF BibTeX XML Cite
Full Text: DOI
de Paiva, Valeria (ed.) et al., Proceedings of the 6th workshop on intuitionistic modal logic and applications (IMLA 2013) in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 300, 47-70 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 46th annual ACM symposium on theory of computing, STOC ’14, New York, NY, USA, May 31 – June 3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2710-7). 485-494 (2014).
PDF BibTeX XML Cite
Full Text: DOI
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). 329-352 (2013).
MSC:  68Q05 68Q10 68Q12 68Q15 81P68
PDF BibTeX XML Cite
Full Text: DOI
Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-39205-4/pbk). Lecture Notes in Computer Science 7965, 528-539 (2013).
MSC:  68Q05 68Q10 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 43-55 (2012).
MSC:  68T15 68U05 68U35
PDF BibTeX XML Cite
Full Text: DOI
Goldreich, Oded (ed.), Studies in complexity and cryptography. Miscellanea on the interplay between randomness and computation. In collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman. Berlin: Springer (ISBN 978-3-642-22669-4/pbk). Lecture Notes in Computer Science 6650, 40-53 (2011).
MSC:  68Q15
PDF BibTeX XML Cite
Full Text: DOI
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). 573-582 (2010).
MSC:  68Q15 68Q12
PDF BibTeX XML Cite
Full Text: DOI
Albers, Susanne (ed.) et al., STACS 2008. 25th international symposium on theoretical aspects of computer science, Bordeaux, France, February 21–23, 2008. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-06-4). LIPIcs – Leibniz International Proceedings in Informatics 1, 597-608, electronic only (2008).
MSC:  68Q12
PDF BibTeX XML Cite
Full Text: DOI Link
STOC’07. Proceedings of the 39th annual ACM symposium on theory of computing, San Diego, CA, USA, June 11–13, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-631-8). 440-449 (2007).
MSC:  68Q15 68Q60 94B35
PDF BibTeX XML Cite
Kleinberg, Jon M. (ed.), Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21–23, 2006. New York, NY: ACM Press (ISBN 1-59593-134-1). 701-710 (2006); erratum in: 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). 795–796 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the thirty-second annual ACM symposium on theory of computing (STOC 2000), Portland, Oregon, USA, May 21–23, 2000. New York, NY: ACM Press (ISBN 1-58113-184-4). 200-207 (2000).
MSC:  68Q15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Kutyłowski, Mirosław (ed.) et al., Mathematical foundations of computer science 1999. 24th international symposium, MFCS ’99, Szklarska Porȩba, Poland, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1672, 103-113 (1999).
MSC:  11Y16 68W25 11Y50
PDF BibTeX XML Cite
Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999).
MSC:  03B44 03B35 68T15 68Q42
PDF BibTeX XML Cite
STOC ’98. Proceedings of the 30th annual ACM symposium on theory of computing, Dallas, TX, USA, May 23-26, 1998. New York, NY: ACM, Association for Computing Machinery. 1-9 (1998).
MSC:  68T15
PDF BibTeX XML Cite
Dix, Jürgen (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’98. Dagstuhl, Germany, October 12–15, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1489, 264-278 (1998).
MSC:  03B35 03F05 03G15
PDF BibTeX XML Cite
Hemaspaandra, Lane A. (ed.) et al., Complexity theory retrospective II. Proceedings of the 10th annual IEEE conference on Structure in complexity theory. Minneapolis, MN, USA. June 19-22, 1995. New York, NY: Springer. 109-134 (1997).
MSC:  68T15
PDF BibTeX XML Cite
Penczek, Wojciech (ed.) et al., Mathematical foundations of computer science 1996. 21st international symposium, MFCS ’96, Cracow, Poland, September 2-6, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1113, 494-504 (1996).
MSC:  11Y16 68Q25 68W10
PDF BibTeX XML Cite
Cohen, Henri (ed.), Algorithmic number theory. Second international symposium, ANTS-II, Talence, France, May 18-23, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1122, 307-322 (1996).
MSC:  68W30 11Y16 11A05
PDF BibTeX XML Cite
Chatterji, S. D. (ed.), Proceedings of the international congress of mathematicians, ICM ’94, August 3-11, 1994, Zürich, Switzerland. Vol. II. Basel: Birkhäuser. 1395-1406 (1995).
MSC:  68Q25 68P25 94A60
PDF BibTeX XML Cite
De Santis, Alfredo (ed.), Advances in cryptology - EUROCRYPT ’94. Workshop on the theory and application of cryptographic techniques, Perugia, Italy, May 9-12, 1994. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 950, 140-155 (1995).
MSC:  94A60 68P25
PDF BibTeX XML Cite
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. 147-189 (1993).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software