×

zbMATH — the first resource for mathematics

Found 35 Documents (Results 1–35)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Bednarczyk, Bartosz; Charatonik, Witold
Modulo counting on words and trees. (English) Zbl 07278084
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 12, 16 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
\textit{B. Bednarczyk} and \textit{W. Charatonik}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 12, 16 p. (2018; Zbl 07278084)
Full Text: DOI
Farinier, Benjamin; David, Robin; Bardin, Sébastien; Lemerre, Matthieu
Arrays made simpler: an efficient, scalable and thorough preprocessing. (English) Zbl 1415.68145
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 363-380 (2018).
MSC:  68Q60 68P05
PDF BibTeX XML Cite
\textit{B. Farinier} et al., EPiC Ser. Comput. 57, 363--380 (2018; Zbl 1415.68145)
Full Text: DOI
Davy, Guillaume; Feron, Eric; Garoche, Pierre-Loic; Henrion, Didier
Experiments in verification of linear model predictive control: automatic generation and formal verification of an interior point method algorithm. (English) Zbl 1415.68143
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 290-306 (2018).
MSC:  68Q60 90C51
PDF BibTeX XML Cite
\textit{G. Davy} et al., EPiC Ser. Comput. 57, 290--306 (2018; Zbl 1415.68143)
Full Text: DOI
Bonacina, Maria Paola; Graham-Lengrand, Stéphane; Shankar, Natarajan
Satisfiability modulo theories and assignments. (English) Zbl 06778396
de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-63045-8/pbk; 978-3-319-63046-5/ebook). Lecture Notes in Computer Science 10395. Lecture Notes in Artificial Intelligence, 42-59 (2017).
MSC:  03B35 68T15
PDF BibTeX XML Cite
\textit{M. P. Bonacina} et al., Lect. Notes Comput. Sci. 10395, 42--59 (2017; Zbl 06778396)
Full Text: DOI
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Symbolic computation of differential equivalences. (English) Zbl 1347.68258
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). 137-150 (2016).
MSC:  68Q85 60J28 68Q60 68W30 92C42 92E20
PDF BibTeX XML Cite
\textit{L. Cardelli} et al., in: 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). 137--150 (2016; Zbl 1347.68258)
Full Text: DOI
Pavlinovic, Zvonimir; King, Tim; Wies, Thomas
Practical SMT-based type error localization. (English) Zbl 1360.68351
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 412-423 (2015).
MSC:  68N20 68N18 68T20
PDF BibTeX XML Cite
\textit{Z. Pavlinovic} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 412--423 (2015; Zbl 1360.68351)
Full Text: DOI
Veanes, Margus; Mytkowicz, Todd; Molnar, David; Livshits, Benjamin
Data-parallel string-manipulating programs. (English) Zbl 1345.68035
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). 139-152 (2015).
MSC:  68N15 68Q45
PDF BibTeX XML Cite
\textit{M. Veanes} et al., in: 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). 139--152 (2015; Zbl 1345.68035)
Full Text: DOI
Althaus, Ernst; Beber, Björn; Kupilas, Joschka; Scholl, Christoph
Improving interpolants for linear arithmetic. (English) Zbl 06527541
Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). Lecture Notes in Computer Science 9364, 48-63 (2015).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{E. Althaus} et al., Lect. Notes Comput. Sci. 9364, 48--63 (2015; Zbl 06527541)
Full Text: DOI
Dalchau, Neil; Murphy, Niall; Petersen, Rasmus; Yordanov, Boyan
Synthesizing and tuning chemical reaction networks with specified behaviours. (English) Zbl 1403.92356
Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 16-33 (2015).
MSC:  92E20 68N17 68T15 90B10 60J20
PDF BibTeX XML Cite
\textit{N. Dalchau} et al., Lect. Notes Comput. Sci. 9211, 16--33 (2015; Zbl 1403.92356)
Full Text: DOI
Gorcitz, Raul; Kofman, Emilien; Carle, Thomas; Potop-Butucaru, Dumitru; de Simone, Robert
On the scalability of constraint solving for static/off-line real-time scheduling. (English) Zbl 06481825
Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22974-4/pbk; 978-3-319-22975-1/ebook). Lecture Notes in Computer Science 9268, 108-123 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{R. Gorcitz} et al., Lect. Notes Comput. Sci. 9268, 108--123 (2015; Zbl 06481825)
Full Text: DOI
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David
Semantic subtyping with an SMT solver. (English) Zbl 1323.68096
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 105-116 (2010).
MSC:  68N18 68N30 68Q55
PDF BibTeX XML Cite
\textit{G. M. Bierman} et al., in: Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP '10, Baltimore, MD, USA, September 27--29, 2010. New York, NY: Association for Computing Machinery (ACM). 105--116 (2010; Zbl 1323.68096)
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