×

Found 206 Documents (Results 1–100)

A counterexample to Thiagarajan’s conjecture on regular event structures. (English) Zbl 1442.68130

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 101, 14 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Integrating passengers’ routes in periodic timetabling: a SAT approach. (English) Zbl 1432.90056

Goerigk, Marc (ed.) et al., 16th workshop on algorithmic approaches for transportation modelling, optimization, and systems, ATMOS’16, Aarhus, Denmark, August 25, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 54, Article 3, 15 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Counting subgraphs in relational event graphs. (English) Zbl 1475.68234

Kaykobad, Mohammad (ed.) et al., WALCOM: algorithms and computation. 10th international workshop, WALCOM 2016, Kathmandu, Nepal, March 29–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9627, 194-206 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Coloring hyperplanes of CAT(0) cube complexes. (English) Zbl 1332.05052

Choban, Mitrofan (ed.) et al., The third conference of the Mathematical Society of the Republic of Moldova dedicated to the 50th anniversary of the foundation of the Institute of Mathematics and Computer Science, ASM, Chişinău, Republic of Moldova, August 19–23, 2014. Abstracts. Chişinău: Academy of Sciences of Moldova, Institute of Mathematics and Computer Science (ISBN 978-9975-68-244-2/pbk). Proceedings IMCS-50, 38-43 (2014).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software