×

zbMATH — the first resource for mathematics

Found 91 Documents (Results 1–91)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 633-647 (2020).
MSC:  68-XX
PDF BibTeX Cite
Full Text: DOI
Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 663-679 (2018).
MSC:  68T15
PDF BibTeX Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 589-606 (2017).
MSC:  68Q45
PDF BibTeX Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 58-75 (2017).
MSC:  68Q60 68Q45
PDF BibTeX Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 318-335 (2015).
MSC:  93D05 93C30
PDF BibTeX Cite
Full Text: DOI
Neykova, Rumyana (ed.) et al., 2014 Imperial College computing student workshop, ICCSW’14, London, UK, September 25–26, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 43, 27-35 (2014).
MSC:  68Q60
PDF BibTeX 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, 147-166, electronic only (2014).
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 61-72 (2014).
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 371-384 (2013).
MSC:  68N30 68N20
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 343-356 (2013).
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 115-128 (2013).
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 423-434 (2011).
MSC:  68N30 68N19
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 331-344 (2011).
MSC:  68Q85 68M20 68N19
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 471-482 (2010).
MSC:  68N30 68Q60
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 249-260 (2010).
MSC:  68N30 68P05
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 43-56 (2010).
MSC:  68N30 68Q60
PDF BibTeX Cite
Full Text: DOI
Esparza, Javier (ed.) et al., Logics and languages for reliability and security. Selected papers based on the presentations at the 30th international summer school, Marktoberdorf, Germany, August 4–16, 2009. Amsterdam: IOS Press (ISBN 978-1-60750-099-5/hbk; 978-1-60750-100-8/ebook). NATO Science for Peace and Security Series D: Information and Communication Security 25, 105-128 (2010).
MSC:  68Q60 03B70
PDF BibTeX Cite
Full Text: DOI
Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 103-118 (2009).
MSC:  68Q60 03B70 68Q45
PDF BibTeX Cite
Full Text: Link
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 47-60 (2008).
MSC:  68Q45 68Q60 93B03
PDF BibTeX Cite
Full Text: DOI
Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 3-16 (2008).
MSC:  68Q60 68Q85
PDF BibTeX Cite
Full Text: DOI
Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 175-186, electronic only (2008).
MSC:  68Q60 68N30
PDF BibTeX Cite
Full Text: DOI Link
Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 433-448 (2007).
MSC:  68Q60 68Q45
PDF BibTeX Cite
Full Text: DOI
Barkaoui, Kamel (ed.) et al., Theoretical aspects of computing – ICTAC 2006. Third international colloquium, Tunis, Tunisia, November 20–24, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48815-6/pbk). Lecture Notes in Computer Science 4281, 50-64 (2006).
MSC:  68Q60 68M10
PDF BibTeX Cite
Full Text: DOI
Romijn, Judi (ed.) et al., Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 – December 2, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30492-0/pbk). Lecture Notes in Computer Science 3771, 53-69 (2005).
MSC:  68Q60 68N30
PDF BibTeX Cite
Full Text: DOI
Zuck, Leonore D. (ed.) et al., Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2575, 146-160 (2003).
MSC:  68Q60 68Q55
PDF BibTeX Cite
Full Text: Link
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 286-292 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T20 68P10
PDF BibTeX 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