×

Found 26 Documents (Results 1–26)

Explaining behavioural inequivalence generically in quasilinear time. (English) Zbl 07730634

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 32, 18 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modal decomposition on nondeterministic probabilistic processes. (English) Zbl 1392.68288

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 36, 15 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Math indexer and searcher web interface. Towards fulfillment of mathematicians’ information needs. (English) Zbl 1304.68199

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 444-448 (2014).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parsing and disambiguation of symbolic mathematics in the Naproche system. (English) Zbl 1335.68257

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 180-195 (2011).
MSC:  68T30 68U35
PDFBibTeX XMLCite
Full Text: DOI

A quantitative characterization of weighted Kripke structures in temporal logic. (English) Zbl 1247.68189

Hlinený, Petr (ed.) et al., Annual doctoral workshop on mathematical and engineering methods in computer science (MEMICS’09). Selected papers based on the presentations at the workshop, November 13-15, 2009, Znojmo, Czech Republic. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-15-6). OASIcs – OpenAccess Series in Informatics 13, 10-17, electronic only (2009).
MSC:  68Q85 03B70
PDFBibTeX XMLCite
Full Text: DOI

Structured matrices. Recent advances and applications. (English) Zbl 1008.15003

Advances in the Theory of Computation and Computational Mathematics. 4. Huntington, NY: Nova Science Publishers. ix, 206 p. (2001).
PDFBibTeX XMLCite

Efficient computation of body moments. (English) Zbl 0998.68579

Skarbek, Władysław (ed.), Computer analysis of images and pattern. 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2124, 201-208 (2001).
MSC:  68U99 68U05
PDFBibTeX XMLCite
Full Text: Link

Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. (English) Zbl 0674.68011

Lecture Notes in Computer Science, 321. Berlin etc.: Springer-Verlag. VI, 272 p. DM 42.00 (1989).
Reviewer: T.Balanescu
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software