×

Found 20 Documents (Results 1–20)

Newest Citations Relevance
Meyer, Fabian; Hark, Marcel; Giesl, Jürgen

Inferring expected runtimes of probabilistic integer programs using expected sizes. (English) Zbl 1467.68066

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 250-269 (2021).
MSC:  68Q25 90C10 90C15
Cite Review PDF
Full Text: DOI arXiv
OA License
Alves, Sandra; Kesner, Delia; Ventura, Daniel

A quantitative understanding of pattern matching. (English) Zbl 1535.68043

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 3, 36 p. (2020).
MSC:  68N18 03B40
Cite Review PDF
Full Text: DOI arXiv
Thorand, Fabian; Hage, Jurriaan

Higher-ranked annotation polymorphic dependency analysis. (English) Zbl 1508.68042

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 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. Lect. Notes Comput. Sci. 12075, 656-683 (2020).
MSC:  68N18
Cite Review PDF
Full Text: DOI
OA License
Guéneau, Armaël; Jourdan, Jacques-Henri; Charguéraud, Arthur; Pottier, François

Formal proof and analysis of an incremental cycle detection algorithm. (English) Zbl 07649967

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 18, 20 p. (2019).
MSC:  68Q60
Cite Review PDF
Full Text: DOI
Sakai, Yusuke; Attrapadung, Nuttapong; Hanaoka, Goichiro

Attribute-based signatures for circuits from bilinear map. (English) Zbl 1388.94076

Cheng, Chen-Mou (ed.) et al., Public-key cryptography – PKC 2016. 19th IACR international conference on practice and theory in public-key cryptography, Taipei, Taiwan, March 6–9, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49383-0/pbk; 978-3-662-49384-7/ebook). Lecture Notes in Computer Science 9614, 283-300 (2016).
MSC:  94A60
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software