×

Found 24 Documents (Results 1–24)

A combinatorial link between labelled graphs and increasingly labelled Schröder trees. (English) Zbl 07719363

Castañeda, Armando (ed.) et al., Latin 2022: theoretical informatics. 15th Latin American symposium, Guanajuato, Mexico, November 7–11, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13568, 493-509 (2022).
MSC:  68Qxx 68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Families of monotonic trees: combinatorial enumeration and asymptotics. (English) Zbl 07603919

Fernau, Henning, Computer science – theory and applications. 15th international computer science symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12159, 155-168 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Binary decision diagrams: from tree compaction to sampling. (English) Zbl 07600804

Kohayakawa, Yoshiharu (ed.) et al., Latin 2020: theoretical informatics. 14th Latin American symposium, São Paulo, Brazil, January 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12118, 571-583 (2020).
MSC:  68Qxx 68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Statistical analysis of non-deterministic fork-join processes. (English) Zbl 07369984

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 83-102 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI HAL

The combinatorics of barrier synchronization. (English) Zbl 07796234

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 386-405 (2019).
MSC:  68Q85 68R05 68W05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Beyond series-parallel concurrent systems: the case of arch processes. (English) Zbl 1478.68187

Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 14, 14 p. (2018).
MSC:  68Q85 05A15
PDFBibTeX XMLCite
Full Text: DOI arXiv

The ordered and colored products in analytic combinatorics: application to the quantitative study of synchronizations in concurrent processes. (English) Zbl 1429.68145

Martínez, Conrado (ed.) et al., Proceedings of the 14th workshop on analytic algorithmics and combinatorics, ANALCO ’17, Barcelona, Spain, January 16–17, 2017. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 16-30 (2017).
MSC:  68Q85 68R05
PDFBibTeX XMLCite
Full Text: DOI

Entropic uniform sampling of linear extensions in series-parallel posets. (English) Zbl 1489.68174

Weil, Pascal (ed.), Computer science – theory and applications. 12th international computer science symposium in Russia, CSR 2017, Kazan, Russia, June 8–12, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10304, 71-84 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Cuts in increasing trees. (English) Zbl 1429.68181

Sedgewick, Robert (ed.) et al., Proceedings of the 12th workshop on analytic algorithmics and combinatorics (ANALCO ’15), San Diego, CA, USA, January 4, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 66-77 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Associativity for binary parallel processes: a quantitative study. (English) Zbl 1432.68155

Ganguly, Sumit (ed.) et al., Algorithms and discrete applied mathematics. First international conference, CALDAM 2015, Kanpur, India, February 8–10, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8959, 217-228 (2015).
MSC:  68Q10 68R05
PDFBibTeX XMLCite
Full Text: DOI

Equivalence classes of random Boolean trees and application to the Catalan satisfiability problem. (English) Zbl 1351.68191

Pardo, Alberto (ed.) et al., LATIN 2014: theoretical informatics. 11th Latin American symposium, Montevideo, Uruguay, March 31 – April 4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54422-4/pbk). Lecture Notes in Computer Science 8392, 466-477 (2014).
PDFBibTeX XMLCite
Full Text: DOI

The combinatorics of non-determinism. (English) Zbl 1359.68080

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 425-436 (2013).
MSC:  68Q10 68Q85 68R05
PDFBibTeX XMLCite
Full Text: DOI

Enumeration and random generation of concurrent computations. (English) Zbl 1296.68101

Broutin, Nicolas (ed.) et al., Proceeding of the 23rd international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’12), Montreal, Canada, June 18–22, 2012. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 83-96, electronic only (2012).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: Link

No Shannon effect on probability distributions on Boolean functions induced by random expressions. (English) Zbl 1355.68119

Drmota, Michael (ed.) et al., Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’10), Vienna, Austria, June 28 – July 2, 2010. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 303-316 (2010).
MSC:  68Q25 06E30 60J80
PDFBibTeX XMLCite
Full Text: Link

Balanced and/or trees and linear threshold functions. (English) Zbl 1430.68165

Sedgewick, Robert (ed.) et al., Proceedings of the 6th workshop on analytic algorithmics and combinatorics (ANALCO), New York, NY, USA, Januar 3, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 51-57 (2009).
MSC:  68R05 68Q10 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software