Gazda, Maciej; Hierons, Robert M. Removing redundant refusals: minimal complete test suites for failure trace semantics. (English) Zbl 1506.68059 Inf. Comput. 291, Article ID 105009, 26 p. (2023). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{M. Gazda} and \textit{R. M. Hierons}, Inf. Comput. 291, Article ID 105009, 26 p. (2023; Zbl 1506.68059) Full Text: DOI
Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz 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 \textit{T. Wißmann} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 32, 18 p. (2021; Zbl 07730634) Full Text: DOI arXiv
Aceto, Luca; Della Monica, Dario; Fábregas, Ignacio; Ingólfsdóttir, Anna When are prime formulae characteristic? (English) Zbl 1425.68246 Theor. Comput. Sci. 777, 3-31 (2019). MSC: 68Q60 03B45 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 777, 3--31 (2019; Zbl 1425.68246) Full Text: DOI
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone SOS-based modal decomposition on nondeterministic probabilistic processes. (English) Zbl 1448.68333 Log. Methods Comput. Sci. 14, No. 2, Paper No. 18, 51 p. (2018). MSC: 68Q85 03B45 68Q55 68Q87 PDFBibTeX XMLCite \textit{V. Castiglioni} et al., Log. Methods Comput. Sci. 14, No. 2, Paper No. 18, 51 p. (2018; Zbl 1448.68333) Full Text: DOI arXiv
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone 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). MSC: 68Q85 03B45 68Q55 68Q87 PDFBibTeX XMLCite \textit{V. Castiglioni} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 36, 15 p. (2016; Zbl 1392.68288) Full Text: DOI
Líška, Martin; Sojka, Petr; Růžička, Michal 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 \textit{M. Líška} et al., Lect. Notes Comput. Sci. 8543, 444--448 (2014; Zbl 1304.68199) Full Text: DOI arXiv
Dhand, Ish; Sanders, Barry C. Stability of the Trotter-Suzuki decomposition. (English) Zbl 1295.81038 J. Phys. A, Math. Theor. 47, No. 26, Article ID 265206, 15 p. (2014). MSC: 81P68 68Q12 68U20 81Q93 PDFBibTeX XMLCite \textit{I. Dhand} and \textit{B. C. Sanders}, J. Phys. A, Math. Theor. 47, No. 26, Article ID 265206, 15 p. (2014; Zbl 1295.81038) Full Text: DOI arXiv
Cervone, Davide MathJax: a platform for mathematics on the web. (English) Zbl 1237.68242 Notices Am. Math. Soc. 59, No. 2, 312-316 (2012). MSC: 68U15 PDFBibTeX XMLCite \textit{D. Cervone}, Notices Am. Math. Soc. 59, No. 2, 312--316 (2012; Zbl 1237.68242) Full Text: DOI
Cramer, Marcos; Koepke, Peter; Schröder, Bernhard 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 \textit{M. Cramer} et al., Lect. Notes Comput. Sci. 6824, 180--195 (2011; Zbl 1335.68257) Full Text: DOI
Zhan, Naijun Connection between logical and algebraic approaches to concurrent systems. (English) Zbl 1213.68411 Math. Struct. Comput. Sci. 20, No. 5, 915-950 (2010). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{N. Zhan}, Math. Struct. Comput. Sci. 20, No. 5, 915--950 (2010; Zbl 1213.68411) Full Text: DOI
Conant, James; Thistlethwaite, Oliver Boolean formulae, hypergraphs and combinatorial topology. (English) Zbl 1206.57026 Topology Appl. 157, No. 16, 2449-2461 (2010). Reviewer: Etienne Fieux (Toulouse) MSC: 57Q05 55P15 55Q52 03B99 05E45 05E18 68Q99 PDFBibTeX XMLCite \textit{J. Conant} and \textit{O. Thistlethwaite}, Topology Appl. 157, No. 16, 2449--2461 (2010; Zbl 1206.57026) Full Text: DOI arXiv
Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus 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 \textit{K. G. Larsen} et al., OASIcs -- OpenAccess Ser. Inform. 13, 10--17 (2009; Zbl 1247.68189) Full Text: DOI
Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice Computational methods for database repair by signed formulae. (English) Zbl 1097.68549 Ann. Math. Artif. Intell. 46, No. 1-2, 4-37 (2006). MSC: 68P15 68T30 68T37 68U35 PDFBibTeX XMLCite \textit{O. Arieli} et al., Ann. Math. Artif. Intell. 46, No. 1--2, 4--37 (2006; Zbl 1097.68549) Full Text: DOI
Bini, Dario Andrea (ed.); Tyrtyshnikov, Eugene (ed.); Yalamov, Plamen (ed.) 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). MSC: 15-06 15B57 65Fxx 65T50 00B15 94A08 68U10 60K25 68W30 PDFBibTeX XMLCite \textit{D. A. Bini} (ed.) et al., Structured matrices. Recent advances and applications. Huntington, NY: Nova Science Publishers (2001; Zbl 1008.15003)
Tuzikov, Alexander V.; Sheynin, Stanislav A.; Vasiliev, Pavel V. 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 \textit{A. V. Tuzikov} et al., Lect. Notes Comput. Sci. 2124, 201--208 (2001; Zbl 0998.68579) Full Text: Link
Jančar, P.; Kučera, A.; Mayr, R. Deciding bisimulation-like equivalences with finite-state processes. (English) Zbl 0974.68131 Theor. Comput. Sci. 258, No. 1-2, 409-433 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Jančar} et al., Theor. Comput. Sci. 258, No. 1--2, 409--433 (2001; Zbl 0974.68131) Full Text: DOI
Gurov, Dilian; Kapron, Bruce A note on negative tagging for least fixed-point formulae. (English) Zbl 0940.03034 Theor. Inform. Appl. 33, No. 4-5, 383-392 (1999). MSC: 03B70 68Q60 03F07 68Q85 03B44 PDFBibTeX XMLCite \textit{D. Gurov} and \textit{B. Kapron}, Theor. Inform. Appl. 33, No. 4--5, 383--392 (1999; Zbl 0940.03034) Full Text: DOI Numdam EuDML
Robert, Sophie Computing the singular values of a complex matrix using one-sided Jacobi method on the Intel-Paragon machine. (English) Zbl 0991.65041 Comput. Artif. Intell. 17, No. 6, 609-620 (1998). Reviewer: Marián Vajteršic (Bratislava) MSC: 65F20 65F25 65Y20 65F15 65Y05 PDFBibTeX XMLCite \textit{S. Robert}, Comput. Artif. Intell. 17, No. 6, 609--620 (1998; Zbl 0991.65041)
Raggett, Dave; Batsalle, Davy Adding math to Web pages with EzMath. (English) Zbl 0925.68479 Comput. Networks ISDN Syst. 30, No. 1-7, 679-681 (1998). MSC: 68U99 PDFBibTeX XMLCite \textit{D. Raggett} and \textit{D. Batsalle}, Comput. Networks ISDN Syst. 30, No. 1--7, 679--681 (1998; Zbl 0925.68479) Full Text: DOI
Hungar, Hardi The complexity of verifying functional programs. (English) Zbl 0799.68135 Enjalbert, Patrice (ed.) et al., STACS 93. 10th annual symposium on theoretical aspects of computer science, Würzburg, Germany, February 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 665, 428-439 (1993). MSC: 68Q60 68N15 68Q25 68Q55 PDFBibTeX XMLCite \textit{H. Hungar}, Lect. Notes Comput. Sci. 665, 428--439 (1993; Zbl 0799.68135)
Fenech, Alan P.; Harville, David A. Exact confidence sets for variance components in unbalanced mixed linear models. (English) Zbl 0745.62070 Ann. Stat. 19, No. 4, 1771-1785 (1991). MSC: 62J10 62F25 PDFBibTeX XMLCite \textit{A. P. Fenech} and \textit{D. A. Harville}, Ann. Stat. 19, No. 4, 1771--1785 (1991; Zbl 0745.62070) Full Text: DOI
Zwiers, Job 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 MSC: 68Q60 68N25 68-02 68Q99 68N01 PDFBibTeX XMLCite \textit{J. Zwiers}, Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. Berlin etc.: Springer-Verlag (1989; Zbl 0674.68011)
Arajs, E. A.; Yakovlev, N. E. Automatization of analytical computations in scientific studies. (Avtomatizatsiya analiticheskikh vychislenij v nauchnykh issledovaniyakh). (Russian) Zbl 0613.68021 Novosibirsk: Izdatel’stvo “Nauka” Sibirskoe Otdelenie. 224 p. R. 1.60 (1985). Reviewer: W.Zielonka MSC: 68W30 68U99 68-02 PDFBibTeX XML
Bonney, George E.; Elston, Robert C. Likelihood models for multivariate traits in human genetics. (English) Zbl 0589.62095 Biom. J. 27, 553-563 (1985). Reviewer: S.R.Wilson MSC: 62P10 92D10 PDFBibTeX XMLCite \textit{G. E. Bonney} and \textit{R. C. Elston}, Biom. J. 27, 553--563 (1985; Zbl 0589.62095) Full Text: DOI
Reiter, Raymond; Criscuolo, Giovanni Some representational issues in default reasoning. (English) Zbl 0523.68082 Comput. Math. Appl. 9, 15-27 (1983). MSC: 68T99 68Q65 68Q55 68P20 PDFBibTeX XMLCite \textit{R. Reiter} and \textit{G. Criscuolo}, Comput. Math. Appl. 9, 15--27 (1983; Zbl 0523.68082) Full Text: DOI
Hartwig, Robert E. Block generalized inverses. (English) Zbl 0335.15004 Arch. Ration. Mech. Anal. 61, 197-251 (1976). Reviewer: Robert E. Hartwig MSC: 15A09 15B33 16E50 PDFBibTeX XMLCite \textit{R. E. Hartwig}, Arch. Ration. Mech. Anal. 61, 197--251 (1976; Zbl 0335.15004) Full Text: DOI