×

zbMATH — the first resource for mathematics

Found 78 Documents (Results 1–78)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Chen, Xin; Peng, Chao; Lin, Wang; Yang, Zhengfeng; Zhang, Yifang; Li, Xuandong
A novel approach for solving the BMI problem in barrier certificates generation. (English) Zbl 07306430
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 582-603 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{X. Chen} et al., Lect. Notes Comput. Sci. 12224, 582--603 (2020; Zbl 07306430)
Full Text: DOI
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming
Synthesizing barrier certificates using neural networks. (English) Zbl 07300866
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. 25, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{H. Zhao} 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. 25, 11 p. (2020; Zbl 07300866)
Full Text: DOI
Schmitz, Leonard; Levandovskyy, Viktor
Formally verifying proofs for algebraic identities of matrices. (English) Zbl 07298566
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-53517-9/pbk; 978-3-030-53518-6/ebook). Lecture Notes in Computer Science 12236. Lecture Notes in Artificial Intelligence, 222-236 (2020).
MSC:  68Vxx
PDF BibTeX XML Cite
\textit{L. Schmitz} and \textit{V. Levandovskyy}, Lect. Notes Comput. Sci. 12236, 222--236 (2020; Zbl 07298566)
Full Text: DOI
Kurpisz, Adam; de Wolff, Timo
New dependencies of hierarchies in polynomial optimization. (English) Zbl 07246254
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 251-258 (2019).
MSC:  68W30
PDF BibTeX XML Cite
\textit{A. Kurpisz} and \textit{T. de Wolff}, in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 251--258 (2019; Zbl 07246254)
Full Text: DOI
Yang, Zhengfeng; Huang, Chao; Chen, Xin; Lin, Wang; Liu, Zhiming
A linear programming relaxation based approach for generating barrier certificates of hybrid systems. (English) Zbl 1427.68176
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, 721-738 (2016).
MSC:  68Q60 37B10 90C90
PDF BibTeX XML Cite
\textit{Z. Yang} et al., Lect. Notes Comput. Sci. 9995, 721--738 (2016; Zbl 1427.68176)
Full Text: DOI
Chihani, Zakaria; Miller, Dale
Proof certificates for equality reasoning. (English) Zbl 1394.68350
Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 93-108 (2016).
MSC:  68T15 03F07 68Q42
PDF BibTeX XML Cite
\textit{Z. Chihani} and \textit{D. Miller}, Electron. Notes Theor. Comput. Sci. 323, 93--108 (2016; Zbl 1394.68350)
Full Text: DOI
DeCastro, Jonathan A.; Kress-Gazit, Hadas
Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors. (English) Zbl 1364.93258
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). 225-234 (2016).
MSC:  93B50 93C10 93C85
PDF BibTeX XML Cite
\textit{J. A. DeCastro} and \textit{H. Kress-Gazit}, in: 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). 225--234 (2016; Zbl 1364.93258)
Full Text: DOI
Eberly, Wayne
Selecting algorithms for black box matrices, checking for matrix properties that can simplify computations. (English) Zbl 1365.65125
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 207-214 (2016).
MSC:  65F50 65F10 65G20 65F08
PDF BibTeX XML Cite
\textit{W. Eberly}, in: Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 207--214 (2016; Zbl 1365.65125)
Full Text: DOI
Jeanblanc, Monique; Łochowski, Rafał M.; Szatzschneider, Wojciech
Full cooperation applied to environmental improvements. (English) Zbl 1422.91570
Palczewski, Andrzej (ed.) et al., Advances in mathematics of finance. Selected papers of the 6th general AMaMeF and Banach Center Conference, Warsaw, Poland, June 10–15, 2013. Warszawa: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 104, 121-131 (2015).
MSC:  91B76 60J70
PDF BibTeX XML Cite
\textit{M. Jeanblanc} et al., Banach Cent. Publ. 104, 121--131 (2015; Zbl 1422.91570)
Full Text: DOI
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
Simulation-guided Lyapunov analysis for hybrid dynamical systems. (English) Zbl 1362.93108
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). 133-142 (2014).
MSC:  93D05 93D30 93C10 93C30
PDF BibTeX XML Cite
\textit{J. Kapinski} 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). 133--142 (2014; Zbl 1362.93108)
Full Text: DOI
Sloth, Christoffer; Wisniewski, Rafael
Control to facet for polynomial systems. (English) Zbl 1362.93067
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). 123-132 (2014).
MSC:  93C10 90C05 15B48
PDF BibTeX XML Cite
\textit{C. Sloth} and \textit{R. Wisniewski}, 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). 123--132 (2014; Zbl 1362.93067)
Full Text: DOI
Guo, Feng; Kaltofen, Erich L.; Zhi, Lihong
Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. (English) Zbl 1323.65068
van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 195-202 (2012).
MSC:  65K05 90C22
PDF BibTeX XML Cite
\textit{F. Guo} et al., in: Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22--25, 2012. New York, NY: Association for Computing Machinery (ACM). 195--202 (2012; Zbl 1323.65068)
Full Text: DOI arXiv
Brumley, Billy Bob; Nyberg, Kaisa
Differential properties of elliptic curves and blind signatures. (English) Zbl 1138.94348
Garay, Juan A. (ed.) et al., Information security. 10th international conference, ISC 2007, Valparaíso, Chile, October 9–12, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75495-4/pbk). Lecture Notes in Computer Science 4779, 376-389 (2007).
MSC:  94A60 94A62
PDF BibTeX XML Cite
\textit{B. B. Brumley} and \textit{K. Nyberg}, Lect. Notes Comput. Sci. 4779, 376--389 (2007; Zbl 1138.94348)
Full Text: DOI
Bagga, Walid; Crosta, Stefano; Molva, Refik
Proof-carrying proxy certificates. (English) Zbl 1152.94446
De Prisco, Roberto (ed.) et al., Security and cryptography for networks. 5th international conference, SCN 2006, Maiori, Italy, September 6–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38080-1/pbk). Lecture Notes in Computer Science 4116, 321-335 (2006).
MSC:  94A62
PDF BibTeX XML Cite
\textit{W. Bagga} et al., Lect. Notes Comput. Sci. 4116, 321--335 (2006; Zbl 1152.94446)
Full Text: DOI
Eilebrecht, Lars
Ciphire Mail – email encryption and authentication. (English) Zbl 1120.94317
Patrick, Andrew S. (ed.) et al., Financial cryptography and data security. 9th international conference, FC 2005, Roseau, The Commonwealth of Dominica, February 28 – March 3, 2005. Revised papers. Berlin: Springer (ISBN 3-540-26656-9/pbk). Lecture Notes in Computer Science 3570, 211-224 (2005).
MSC:  94A60 94A62
PDF BibTeX XML Cite
\textit{L. Eilebrecht}, Lect. Notes Comput. Sci. 3570, 211--224 (2005; Zbl 1120.94317)
Full Text: DOI
Jiang, Qinglin; Reeves, Douglas S.; Ning, Peng
Certificate recommendations to improve the robustness of web of trust. (English) Zbl 1109.68464
Zhang, Kan (ed.) et al., Information security. 7th international conference, ISC 2004, Palo Alto, CA, USA, September 27–29, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23208-7/pbk). Lecture Notes in Computer Science 3225, 292-303 (2004).
MSC:  68P25 94A62
PDF BibTeX XML Cite
\textit{Q. Jiang} et al., Lect. Notes Comput. Sci. 3225, 292--303 (2004; Zbl 1109.68464)
Full Text: DOI
Jakobsson, Markus; Juels, Ari; Nguyen, Phong Q.
Proprietary certificates. (English) Zbl 1048.94512
Preneel, Bart (ed.), Topics in cryptology - CT-RSA 2002. The cryptographers’ track at the RSA conference 2002, San José, CA, USA, February 18–22, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43224-8). Lect. Notes Comput. Sci. 2271, 164-181 (2002).
MSC:  94A62 68P25 94A60
PDF BibTeX XML Cite
\textit{M. Jakobsson} et al., Lect. Notes Comput. Sci. 2271, 164--181 (2002; Zbl 1048.94512)
Full Text: Link
Verheul, Eric R.
Certificates of recoverability with scalable recovery agent security. (English) Zbl 0966.94016
Imai, Hideki (ed.) et al., Public key cryptography. 3rd international workshop on Practice and theory in public key cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1751, 258-275 (2000).
MSC:  94A60
PDF BibTeX XML Cite
\textit{E. R. Verheul}, Lect. Notes Comput. Sci. 1751, 258--275 (2000; Zbl 0966.94016)
Kohlas, Reto; Maurer, Ueli
Confidence valuation in a public-key infrastructure based on uncertain evidence. (English) Zbl 0966.94022
Imai, Hideki (ed.) et al., Public key cryptography. 3rd international workshop on Practice and theory in public key cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1751, 93-112 (2000).
MSC:  94A62 94A60
PDF BibTeX XML Cite
\textit{R. Kohlas} and \textit{U. Maurer}, Lect. Notes Comput. Sci. 1751, 93--112 (2000; Zbl 0966.94022)
Watanabe, Yuji; Imai, Hideki
Shared generation of random number with timestamp: How to cope with the leakage of the CA’s secret. (English) Zbl 0929.94027
Imai, Hideki (ed.) et al., Public key cryptography. 2nd international workshop on Practice and theory in public key cryptography, PKC ’99. Kamakura, Japan, March 1–3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1560, 290-305 (1999).
MSC:  94A62 94A60
PDF BibTeX XML Cite
\textit{Y. Watanabe} and \textit{H. Imai}, Lect. Notes Comput. Sci. 1560, 290--305 (1999; Zbl 0929.94027)

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