×

zbMATH — the first resource for mathematics

Found 215 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Jagtap, Pushpak; Swikir, Abdalla; Zamani, Majid
Compositional construction of control barrier functions for interconnected control systems. (English) Zbl 07300863
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 22, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{P. Jagtap} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 22, 11 p. (2020; Zbl 07300863)
Full Text: DOI
Edwards-McKie, Susan
On the infinite, in-potentia: discovery of the hidden revision of Philosophical investigations and its relation to TS 209 through the eyes of Wittgensteinian mathematics. (English) Zbl 1447.01014
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 441-456 (2019).
Reviewer: Volker Peckhaus (Paderborn)
MSC:  01A60 00A30 01A90
PDF BibTeX XML Cite
\textit{S. Edwards-McKie}, Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 441--456 (2019; Zbl 1447.01014)
Full Text: DOI
Venhuizen, Noortje J.; Hendriks, Petra; Crocker, Matthew W.; Brouwer, Harm
A framework for distributional formal semantics. (English) Zbl 07176953
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 633-646 (2019).
MSC:  03B70
PDF BibTeX XML Cite
\textit{N. J. Venhuizen} et al., Lect. Notes Comput. Sci. 11541, 633--646 (2019; Zbl 07176953)
Full Text: DOI
Veloz, Tomas; Razeto, Pablo
Quantum cognitive modeling of concepts: an introduction. (English) Zbl 1414.81036
Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Information, contextuality, relationalism and entanglement. Proceedings of the II international workshop on quantum mechanics and quantum information. Physical, philosophical and logical approaches, CLEA, Brussels Free University, Belgium, July 23–24, 2015. Hackensack, NJ: World Scientific. 319-353 (2019).
MSC:  81P05
PDF BibTeX XML Cite
\textit{T. Veloz} and \textit{P. Razeto}, in: Probing the meaning of quantum mechanics. Information, contextuality, relationalism and entanglement. Proceedings of the II international workshop on quantum mechanics and quantum information. Physical, philosophical and logical approaches, CLEA, Brussels Free University, Belgium, July 23--24, 2015. Hackensack, NJ: World Scientific. 319--353 (2019; Zbl 1414.81036)
Full Text: DOI
Frápolli, María J.; Villanueva, Neftalí
Quantifiers. Hintikka and Frege on quantification concepts. (English) Zbl 1437.03021
van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 279-298 (2018).
MSC:  03A05 03-03 01A55 01A60
PDF BibTeX XML Cite
\textit{M. J. Frápolli} and \textit{N. Villanueva}, Outst. Contrib. Log. 12, 279--298 (2018; Zbl 1437.03021)
Full Text: DOI
Kim, Eric S.; Arcak, Murat; Zamani, Majid
Constructing control system abstractions from modular components. (English) Zbl 1417.93056
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). 137-146 (2018).
MSC:  93A30 93C55 93D99 93C10
PDF BibTeX XML Cite
\textit{E. S. Kim} et al., 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). 137--146 (2018; Zbl 1417.93056)
Full Text: DOI Link
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
From dissipativity theory to compositional construction of finite Markov decision processes. (English) Zbl 1422.90067
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). 21-30 (2018).
MSC:  90C40
PDF BibTeX XML Cite
\textit{A. Lavaei} et al., 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). 21--30 (2018; Zbl 1422.90067)
Full Text: DOI
Blot, Arthur; Yamamoto, Masaki; Terauchi, Tachio
Compositional synthesis of leakage resilient programs. (English) Zbl 1444.68036
Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 277-297 (2017).
MSC:  68M25 68N99
PDF BibTeX XML Cite
\textit{A. Blot} et al., Lect. Notes Comput. Sci. 10204, 277--297 (2017; Zbl 1444.68036)
Full Text: DOI
Rafnsson, Willard; Jia, Limin; Bauer, Lujo
Timing-sensitive noninterference through composition. (English) Zbl 1444.68044
Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 3-25 (2017).
MSC:  68M25
PDF BibTeX XML Cite
\textit{W. Rafnsson} et al., Lect. Notes Comput. Sci. 10204, 3--25 (2017; Zbl 1444.68044)
Full Text: DOI
Fokkink, Wan; van Glabbeek, Rob J.
Precongruence formats with lookahead through modal decomposition. (English) Zbl 1440.68168
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017).
MSC:  68Q55 03B45 03B70 68Q60
PDF BibTeX XML Cite
\textit{W. Fokkink} and \textit{R. J. van Glabbeek}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017; Zbl 1440.68168)
Full Text: DOI
Prosorov, Oleg
Topologies and sheaves appeared as syntax and semantics of natural language. (English) Zbl 1431.91314
Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 183-243 (2017).
MSC:  91F20
PDF BibTeX XML Cite
\textit{O. Prosorov}, in: Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22--25, 2012. London: College Publications. 183--243 (2017; Zbl 1431.91314)
Kocurek, Alexander W.
On the concept of a notational variant. (English) Zbl 06810788
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55664-1/pbk; 978-3-662-55665-8/ebook). Lecture Notes in Computer Science 10455, 284-298 (2017).
MSC:  68T27
PDF BibTeX XML Cite
\textit{A. W. Kocurek}, Lect. Notes Comput. Sci. 10455, 284--298 (2017; Zbl 06810788)
Full Text: DOI
Hodges, Wilfrid
Remarks on compositionality. (English) Zbl 1429.03118
Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99-107 (2016).
MSC:  03B60 03-03 01A60
PDF BibTeX XML Cite
\textit{W. Hodges}, in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99--107 (2016; Zbl 1429.03118)
Full Text: DOI
Dasseville, Ingmar; van der Hallen, Matthias; Bogaerts, Bart; Janssens, Gerda; Denecker, Marc
A compositional typed higher-order logic with definitions. (English) Zbl 1428.68287
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 14, 13 p. (2016).
MSC:  68T30 03B16 68T27
PDF BibTeX XML Cite
\textit{I. Dasseville} et al., OASIcs -- OpenAccess Ser. Inform. 52, Article 14, 13 p. (2016; Zbl 1428.68287)
Full Text: DOI
Kozen, Dexter
Kolmogorov extension, martingale convergence, and compositionality of processes. (English) Zbl 1401.68239
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). 692-699 (2016).
MSC:  68Q87 18A30 18C50 60G05 60G42 60J35 68N15 68Q10 68Q55
PDF BibTeX XML Cite
\textit{D. Kozen}, in: 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). 692--699 (2016; Zbl 1401.68239)
Full Text: DOI
Muskens, Reinhard; Sadrzadeh, Mehrnoosh
Context update for lambdas and vectors. (English) Zbl 06688006
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 247-254 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
\textit{R. Muskens} and \textit{M. Sadrzadeh}, Lect. Notes Comput. Sci. 10054, 247--254 (2016; Zbl 06688006)
Full Text: DOI
Kartsaklis, Dimitri; Sadrzadeh, Mehrnoosh
A compositional distributional inclusion hypothesis. (English) Zbl 06687999
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 116-133 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
\textit{D. Kartsaklis} and \textit{M. Sadrzadeh}, Lect. Notes Comput. Sci. 10054, 116--133 (2016; Zbl 06687999)
Full Text: DOI
Maršík, Jirka; Amblard, Maxime
Introducing a calculus of effects and handlers for natural language semantics. (English) Zbl 06658642
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 257-272 (2016).
MSC:  68Q42
PDF BibTeX XML Cite
\textit{J. Maršík} and \textit{M. Amblard}, Lect. Notes Comput. Sci. 9804, 257--272 (2016; Zbl 06658642)
Full Text: DOI
Hashemi, Vahid; Hermanns, Holger; Song, Lei; Subramani, K.; Turrini, Andrea; Wojciechowski, Piotr
Compositional bisimulation minimization for interval Markov decision processes. (English) Zbl 1435.68197
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 114-126 (2016).
MSC:  68Q60 68Q25 68Q85 68Q87
PDF BibTeX XML Cite
\textit{V. Hashemi} et al., Lect. Notes Comput. Sci. 9618, 114--126 (2016; Zbl 1435.68197)
Full Text: DOI
Rungger, Matthias; Zamani, Majid
Compositional construction of approximate abstractions. (English) Zbl 1364.93286
Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 68-77 (2015).
MSC:  93B51 93B50 93C05
PDF BibTeX XML Cite
\textit{M. Rungger} and \textit{M. Zamani}, in: Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14--16, 2015. New York, NY: Association for Computing Machinery (ACM). 68--77 (2015; Zbl 1364.93286)
Full Text: DOI
Westerståhl, Dag
Questions about compositionality. (English) Zbl 1367.03016
Schroeder-Heister, Peter (ed.) et al., Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19–26, 2011. London: College Publications (ISBN 978-1-84890-169-8/pbk). 123-147 (2014).
MSC:  03A05 03B70 03B65
PDF BibTeX XML Cite
\textit{D. Westerståhl}, in: Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19--26, 2011. London: College Publications. 123--147 (2014; Zbl 1367.03016)
Islam, Md. Ariful; Murthy, Abhishek; Girard, Antoine; Smolka, Scott A.; Grosu, Radu
Compositionality results for cardiac cell dynamics. (English) Zbl 1362.92017
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 243-252 (2014).
MSC:  92C37 92C42 92C40
PDF BibTeX XML Cite
\textit{Md. A. Islam} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 243--252 (2014; Zbl 1362.92017)
Full Text: DOI
Chen, Liang-Ting; Jung, Achim
On a categorical framework for coalgebraic modal logic. (English) Zbl 1337.03091
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, 109-128, electronic only (2014).
MSC:  03G30 03B45
PDF BibTeX XML Cite
\textit{L.-T. Chen} and \textit{A. Jung}, Electron. Notes Theor. Comput. Sci. 308, 109--128 (2014; Zbl 1337.03091)
Full Text: DOI
Granström, Johan G.
A new approach to the semantics of model diagrams. (English) Zbl 1354.68061
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 28-40 (2013).
MSC:  68N99 68Q55
PDF BibTeX XML Cite
\textit{J. G. Granström}, LIPIcs -- Leibniz Int. Proc. Inform. 19, 28--40 (2013; Zbl 1354.68061)
Full Text: DOI
Hur, Chung-Kil; Neis, Georg; Dreyer, Derek; Vafeiadis, Viktor
The power of parameterization in coinductive proof. (English) Zbl 1301.68220
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). 193-206 (2013).
MSC:  68T15 06B99 68N18 68N30
PDF BibTeX XML Cite
\textit{C.-K. Hur} et al., in: 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). 193--206 (2013; Zbl 1301.68220)
Full Text: DOI
Partee, Barbara H.
The starring role of quantifiers in the history of formal semantics. (English) Zbl 1273.03094
Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 113-136 (2013).
MSC:  03B65 03-03 03A05
PDF BibTeX XML Cite
\textit{B. H. Partee}, in: The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18--22, 2012. London: College Publications. 113--136 (2013; Zbl 1273.03094)
Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael
Compositional safety analysis using barrier certificates. (English) Zbl 1362.68185
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 15-23 (2012).
MSC:  68Q60 93A15 93B03
PDF BibTeX XML Cite
\textit{C. Sloth} et al., in: Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17--19, 2012. New York, NY: Association for Computing Machinery (ACM). 15--23 (2012; Zbl 1362.68185)
Full Text: DOI
Valmari, Antti
All linear-time congruences for familiar operators. II: Infinite LTSs. (English) Zbl 1314.68200
Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 162-176 (2012).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
\textit{A. Valmari}, Lect. Notes Comput. Sci. 7454, 162--176 (2012; Zbl 1314.68200)
Full Text: DOI
Wang, Shuling; Zhan, Naijun; Guelev, Dimitar
An assume/guarantee based compositional calculus for hybrid CSP. (English) Zbl 1354.68204
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 9th annual conference, TAMC 2012, Beijing, China, May 16–21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29951-3/pbk). Lecture Notes in Computer Science 7287, 72-83 (2012).
MSC:  68Q85 03B70 68Q60
PDF BibTeX XML Cite
\textit{S. Wang} et al., Lect. Notes Comput. Sci. 7287, 72--83 (2012; Zbl 1354.68204)
Full Text: DOI
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
A compositional specification theory for component behaviours. (English) Zbl 1352.68149
Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 148-168 (2012).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
\textit{T. Chen} et al., Lect. Notes Comput. Sci. 7211, 148--168 (2012; Zbl 1352.68149)
Full Text: DOI
Geilen, Marc; Tripakis, Stavros; Wiggers, Maarten
The earlier the better: a theory of timed actor interfaces. (English) Zbl 1362.68049
Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 23-32 (2011).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
\textit{M. Geilen} et al., in: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011. New York, NY: Association for Computing Machinery (ACM). 23--32 (2011; Zbl 1362.68049)
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
Biographic Reference
all top 3
Software