×

zbMATH — the first resource for mathematics

Found 948 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Gerla, Giangiacomo
Point-free continuum. (English) Zbl 07309830
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 427-475 (2021).
MSC:  01 03 03-03 26-03 00A30
PDF BibTeX XML Cite
\textit{G. Gerla}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 427--475 (2021; Zbl 07309830)
Full Text: DOI
Varzi, Achille C.
Points as higher-order constructs. Whitehead’s method of extensive abstraction. (English) Zbl 07309828
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 347-378 (2021).
MSC:  01 03 03-03 26-03 00A30
PDF BibTeX XML Cite
\textit{A. C. Varzi}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 347--378 (2021; Zbl 07309828)
Full Text: DOI
Koenig, Jérémie; Shao, Zhong
Refinement-based game semantics for certified abstraction layers. (English) Zbl 07299501
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) (ISBN 978-1-4503-7104-9). 633-647 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{J. Koenig} and \textit{Z. Shao}, in: 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; Zbl 07299501)
Full Text: DOI
Curzi, Gianluca; Pagani, Michele
The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 07299479
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) (ISBN 978-1-4503-7104-9). 327-340 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{G. Curzi} and \textit{M. Pagani}, in: 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). 327--340 (2020; Zbl 07299479)
Full Text: DOI
Rosen, Gideon; Yablo, Stephen
Solving the Caesar problem – with metaphysics. (English) Zbl 07279911
Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press (ISBN 978-0-19-927834-3/hbk). 116-131 (2020).
MSC:  03A05 01A61 01A60 01A70
PDF BibTeX XML Cite
\textit{G. Rosen} and \textit{S. Yablo}, in: Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press. 116--131 (2020; Zbl 07279911)
Full Text: DOI
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio
Contextual equivalence for signal flow graphs. (English) Zbl 07250933
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 77-96 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 12077, 77--96 (2020; Zbl 07250933)
Full Text: DOI
Koßler, Matthias
Language as an “Indispensable tool and organ” of reason: intuition, concept and word in Schopenhauer. (English) Zbl 07244732
Lemanski, Jens (ed.), Language, logic, and mathematics in Schopenhauer. Cham: Birkhäuser (ISBN 978-3-030-33089-7/pbk; 978-3-030-33090-3/ebook). Studies in Universal Logic, 15-24 (2020).
MSC:  03A05
PDF BibTeX XML Cite
\textit{M. Koßler}, in: Language, logic, and mathematics in Schopenhauer. Cham: Birkhäuser. 15--24 (2020; Zbl 07244732)
Full Text: DOI
Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin
Lazy abstraction-based controller synthesis. (English) Zbl 1447.93060
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, 23-47 (2019).
MSC:  93B30 93C10
PDF BibTeX XML Cite
\textit{K. Hsu} et al., Lect. Notes Comput. Sci. 11781, 23--47 (2019; Zbl 1447.93060)
Full Text: DOI
Gutiérrez, Raúl; Lucas, Salvador
Automatic generation of logical models with AGES. (English) Zbl 07178982
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 287-299 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
\textit{R. Gutiérrez} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 11716, 287--299 (2019; Zbl 07178982)
Full Text: DOI
Tomioka, Taichi; Tsunekawa, Yutaro; Ueda, Kazunori
Introducing symmetry to graph rewriting systems with process abstraction. (English) Zbl 1429.68093
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 3-20 (2019).
MSC:  68Q42 68Q60
PDF BibTeX XML Cite
\textit{T. Tomioka} et al., Lect. Notes Comput. Sci. 11629, 3--20 (2019; Zbl 1429.68093)
Full Text: DOI
Ouchani, Samir
Towards a call behavior-based compositional verification framework for SysML activity diagrams. (English) Zbl 07142678
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, 216-234 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Ouchani}, Lect. Notes Comput. Sci. 11884, 216--234 (2019; Zbl 07142678)
Full Text: DOI
Berger, Guillaume O.; Jungers, Raphaël M.
Poster abstract: Formal methods for computing hyperbolic invariant sets for nonlinear systems. (English) Zbl 07120163
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). 260-261 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{G. O. Berger} and \textit{R. M. Jungers}, in: 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). 260--261 (2019; Zbl 07120163)
Full Text: DOI
Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David
Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. (English) Zbl 07120145
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). 99-108 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{N. Beneš} et al., in: 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). 99--108 (2019; Zbl 07120145)
Full Text: DOI
Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo
Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification. (English) Zbl 07116588
Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer (ISBN 978-3-030-16457-7/pbk; 978-3-030-16458-4/ebook). Lecture Notes in Computer Science 11445, 462-479 (2019).
MSC:  68P25 68P30 94A60 94Bxx
PDF BibTeX XML Cite
\textit{G. Cabodi} et al., Lect. Notes Comput. Sci. 11445, 462--479 (2019; Zbl 07116588)
Full Text: DOI
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
Eager functions as processes. (English) Zbl 1452.03044
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 364-373 (2018).
MSC:  03B40
PDF BibTeX XML Cite
\textit{A. Durier} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 364--373 (2018; Zbl 1452.03044)
Full Text: DOI
Fiore, Gabriella; De Santis, Elena; Di Benedetto, Maria Domenica
Secure diagnosability of hybrid dynamical systems. (English) Zbl 07237452
Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer (ISBN 978-3-319-74961-7/hbk; 978-3-030-09114-9/pbk; 978-3-319-74962-4/ebook). 175-200 (2018).
MSC:  93C30 68Q45
PDF BibTeX XML Cite
\textit{G. Fiore} et al., in: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 175--200 (2018; Zbl 07237452)
Full Text: DOI
Aguado, Joaquín; Mendler, Michael; Pouzet, Marc; Roop, Partha; von Hanxleden, Reinhard
Deterministic concurrency: a clock-synchronised shared memory approach. (English) Zbl 1418.68047
Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 86-113 (2018).
MSC:  68N30 68Q55 68Q85
PDF BibTeX XML Cite
\textit{J. Aguado} et al., Lect. Notes Comput. Sci. 10801, 86--113 (2018; Zbl 1418.68047)
Full Text: DOI
Boreale, Michele
Algorithms for exact and approximate linear abstractions of polynomial continuous systems. (English) Zbl 1417.93147
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). 207-216 (2018).
MSC:  93C15 93B18 93B40
PDF BibTeX XML Cite
\textit{M. Boreale}, in: 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). 207--216 (2018; Zbl 1417.93147)
Full Text: DOI
Mufid, Muhammad Syifa’ul; Adzkiya, Dieky; Abate, Alessandro
Tropical abstractions of MAX-plus linear systems. (English) Zbl 06989611
Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00150-6/pbk; 978-3-030-00151-3/ebook). Lecture Notes in Computer Science 11022, 271-287 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. S. Mufid} et al., Lect. Notes Comput. Sci. 11022, 271--287 (2018; Zbl 06989611)
Full Text: DOI
Lopez Hernandez, Julio Cesar; Korovin, Konstantin
An abstraction-refinement framework for reasoning with large theories. (English) Zbl 06958129
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 (ISBN 978-3-319-94204-9/pbk; 978-3-319-94205-6/ebook). Lecture Notes in Computer Science 10900. Lecture Notes in Artificial Intelligence, 663-679 (2018).
MSC:  68T15
PDF BibTeX XML Cite
\textit{J. C. Lopez Hernandez} and \textit{K. Korovin}, Lect. Notes Comput. Sci. 10900, 663--679 (2018; Zbl 06958129)
Full Text: DOI
Bortolussi, Luca; Palmieri, Luca
Deep abstractions of chemical reaction networks. (English) Zbl 1397.92272
Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 21-38 (2018).
MSC:  92C45 68T05 92C42
PDF BibTeX XML Cite
\textit{L. Bortolussi} and \textit{L. Palmieri}, Lect. Notes Comput. Sci. 11095, 21--38 (2018; Zbl 1397.92272)
Full Text: DOI
Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A.
Counterexample-guided refinement of template polyhedra. (English) Zbl 1452.68099
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 XML Cite
\textit{S. Bogomolov} et al., Lect. Notes Comput. Sci. 10205, 589--606 (2017; Zbl 1452.68099)
Full Text: DOI
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF. (English) Zbl 1452.68116
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 XML Cite
\textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 10205, 58--75 (2017; Zbl 1452.68116)
Full Text: DOI
Castellan, Simon; Clairambault, Pierre; Winskel, Glynn
Observably deterministic concurrent strategies and intensional full abstraction for parallel-or. (English) Zbl 1441.68144
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 12, 16 p. (2017).
MSC:  68Q85 68Q55 91A80
PDF BibTeX XML Cite
\textit{S. Castellan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 12, 16 p. (2017; Zbl 1441.68144)
Full Text: DOI
Pleitz, Martin
Two accounts of pairs. (English) Zbl 1418.03025
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 201-221 (2017).
MSC:  03A05
PDF BibTeX XML Cite
\textit{M. Pleitz}, in: The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2016. London: College Publications. 201--221 (2017; Zbl 1418.03025)
Rathgeber, Florian; Ham, David A.; Mitchell, Lawrence; Lange, Michael; Luporini, Fabio; Mcrae, Andrew T. T.; Bercea, Gheorghe-Teodor; Markall, Graham R.; Kelly, Paul H. J.
Firedrake, automating the finite element method by composing abstractions. (English) Zbl 1396.65144
ACM Trans. Math. Softw. 43, No. 3, Article No. 24, 27 p. (2017).
MSC:  65M60 65N30
PDF BibTeX XML Cite
\textit{F. Rathgeber} et al., ACM Trans. Math. Softw. 43, No. 3, Article No. 24, 27 p. (2017; Zbl 1396.65144)
Full Text: DOI
Tóth, Tamás; Majzik, István
Lazy reachability checking for timed automata using interpolants. (English) Zbl 06814301
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
\textit{T. Tóth} and \textit{I. Majzik}, Lect. Notes Comput. Sci. 10419, 264--280 (2017; Zbl 06814301)
Full Text: DOI
Bogomolov, Sergiy; Giacobbe, Mirco; Henzinger, Thomas A.; Kong, Hui
Conic abstractions for hybrid systems. (English) Zbl 06814293
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, 116-132 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Bogomolov} et al., Lect. Notes Comput. Sci. 10419, 116--132 (2017; Zbl 06814293)
Full Text: DOI
Crary, Karl
Modules, abstraction, and parametric polymorphism. (English) Zbl 1380.68119
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 100-113 (2017).
MSC:  68N30 03B70 68T15
PDF BibTeX XML Cite
\textit{K. Crary}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 100--113 (2017; Zbl 1380.68119)
Full Text: DOI
Li, Huisong; Berenger, Francois; Chang, Bor-Yuh Evan; Rival, Xavier
Semantic-directed clumping of disjunctive abstract states. (English) Zbl 1380.68129
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017).
MSC:  68N30 03B70
PDF BibTeX XML Cite
\textit{H. Li} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 32--45 (2017; Zbl 1380.68129)
Full Text: DOI
Liu, Jun
Robust abstractions for control synthesis: completeness via robustness for linear-time properties. (English) Zbl 1369.93195
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). 101-110 (2017).
MSC:  93B50 93B35 93C41 93C10 68Q60
PDF BibTeX XML Cite
\textit{J. Liu}, in: 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). 101--110 (2017; Zbl 1369.93195)
Full Text: DOI
He, Yuguo
Pebble games over ordered structural abstractions. (English) Zbl 06721527
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-55910-0/pbk; 978-3-319-55911-7/ebook). Lecture Notes in Computer Science 10185, 319-332 (2017).
MSC:  68Q05
PDF BibTeX XML Cite
\textit{Y. He}, Lect. Notes Comput. Sci. 10185, 319--332 (2017; Zbl 06721527)
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
Biographic Reference
all top 3
Software