×

zbMATH — the first resource for mathematics

Found 452 Documents (Results 1–100)

100
MathJax
Mosc. Univ. Comput. Math. Cybern. 44, No. 3, 120-132 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 3, 16-29 (2020).
MSC:  68M
PDF BibTeX XML Cite
Full Text: DOI
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 181-198 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 3-22 (2019).
MSC:  68W27 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-11244-8/pbk; 978-3-030-11245-5/ebook). Lecture Notes in Computer Science 11388, 409-424 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 113-123 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 67-76 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 227-247 (2018).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 81-90 (2018).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 71-80 (2018).
MSC:  68Q45 05C15 68R10
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 (ISBN 978-1-5090-3018-7). Article No. 38, 12 p. (2017).
MSC:  68Q45
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 39, 15 p. (2017).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 77, 14 p. (2017).
MSC:  03B44 03D05
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 37, 16 p. (2017).
MSC:  91A43 68Q45 91B32
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 640-660 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Hague, Matthew (ed.) et al., Reachability problems. 11th international workshop, RP 2017, London, UK, September 7–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-67088-1/pbk; 978-3-319-67089-8/ebook). Lecture Notes in Computer Science 10506, 9-25 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-65764-6/pbk; 978-3-319-65765-3/ebook). Lecture Notes in Computer Science 10419, 264-280 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 192-209 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 153-162 (2017).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 131-140 (2017).
MSC:  93C57 68Q45 90B35
PDF BibTeX XML Cite
Full Text: DOI
Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 199-216 (2016).
MSC:  68M14 68M20 68Q45
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 48, 14 p. (2016).
MSC:  68Q45 68Q25 68Q60
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 44, 14 p. (2016).
MSC:  68Q45 91A43
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 27, 14 p. (2016).
MSC:  68Q45
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 26, 15 p. (2016).
MSC:  68Q45 18B20
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 8, 14 p. (2016).
MSC:  91A15 68Q45 91A55
PDF BibTeX XML Cite
Full Text: DOI
Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 140-156 (2016).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 19-34 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 596. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). x, 271 p. (2016).
MSC:  68-06 68M15 68N99 68Q60 68U20 00B25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 195-204 (2016).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 274-292 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 38-50 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 551-569 (2015).
MSC:  68Q60 68M20
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, 311-324 (2015).
MSC:  68Q45 91A43 91A80
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, 283-296 (2015).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 278-292 (2015).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 261-277 (2015).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 237-248 (2015).
MSC:  68Q45 68Q60
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