×

zbMATH — the first resource for mathematics

Found 674 Documents (Results 1–100)

100
MathJax
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 31-42 (2019).
Reviewer: Reviewer (Berlin)
MSC:  68Q05 68Q10 68Q45 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 35, 12 p. (2017).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: Link
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 27, 16 p. (2017).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 105, 12 p. (2017).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Ganty, Pierre (ed.) et al., Trustworthy global computing. 10th international symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9533, 1-15 (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q10 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 357-366 (2016).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 46-55 (2016).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 27, 14 p. (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 36, 15 p. (2016).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 22, 15 p. (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q87 91A15
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 20, 15 p. (2016).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 12, 13 p. (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q10 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 1, 15 p. (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 18A40 18B30 60A10 60J35 68Q87
PDF BibTeX XML Cite
Full Text: DOI
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 29, 14 p. (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 03B70 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 595-607 (2016).
Reviewer: Reviewer (Berlin)
MSC:  68N18 68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI
Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 261-280 (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q87 90C40
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 226-239 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68Q05 68Q10 68Q85 92C40
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 155-168 (2015).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 387-401, electronic only (2015).
Reviewer: Reviewer (Berlin)
MSC:  68Q55 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 503-514 (2015).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8963, 42-61 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68N30 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 65-82 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68N18
PDF BibTeX XML Cite
Full Text: DOI
Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 400-412 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Kosowski, Adrian (ed.) et al., Fundamentals of computation theory. 20th international symposium, FCT 2015, Gdańsk, Poland, August 17–19, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9210, 12-24 (2015).
Reviewer: Reviewer (Berlin)
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Distributed Computing Theory 12. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-170-5/pbk; 978-1-62705-171-2/ebook). xiii, 146 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 72, 10 p. (2014).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 14, 10 p. (2014).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 309-327, electronic only (2014).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 211-227, electronic only (2014).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam: Elsevier/Morgan Kaufmann (ISBN 978-0-12-404578-1/pbk; 978-0-12-404728-0/ebook). xiv, 319 p. (2014).
PDF BibTeX XML Cite
Full Text: Link
Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Murata, Satoshi (ed.) et al., DNA computing and molecular programming. 20th international conference, DNA 20, Kyoto, Japan, September 22–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8727, 53-66 (2014).
Reviewer: Reviewer (Berlin)
MSC:  68Q05 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Yamashita, Shigeru (ed.) et al., Reversible computation. 6th international conference, RC 2014, Kyoto, Japan, July 10–11, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8507, 67-81 (2014).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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