Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha Parameterized model checking on the TSO weak memory model. (English) Zbl 07268904 J. Autom. Reasoning 64, No. 7, 1307-1330 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{S. Conchon} et al., J. Autom. Reasoning 64, No. 7, 1307--1330 (2020; Zbl 07268904) Full Text: DOI
Leipus, Remigijus; Philippe, Anne; Pilipauskaitė, Vytautė; Surgailis, Donatas Sample covariances of random-coefficient AR(1) panel model. (English) Zbl 1440.62336 Electron. J. Stat. 13, No. 2, 4527-4572 (2019). MSC: 62M10 62D20 60F05 62H30 62E20 PDF BibTeX XML Cite \textit{R. Leipus} et al., Electron. J. Stat. 13, No. 2, 4527--4572 (2019; Zbl 1440.62336) Full Text: DOI Euclid
Fava, Daniel S.; Steffen, Martin; Stolz, Volker Operational semantics of a weak memory model with channel synchronization. (English) Zbl 1417.68093 J. Log. Algebr. Methods Program. 103, 1-30 (2019). MSC: 68Q55 PDF BibTeX XML Cite \textit{D. S. Fava} et al., J. Log. Algebr. Methods Program. 103, 1--30 (2019; Zbl 1417.68093) Full Text: DOI
Price, Jacob; Stinis, Panos Renormalized reduced order models with memory for long time prediction. (English) Zbl 1412.65178 Multiscale Model. Simul. 17, No. 1, 68-91 (2019). MSC: 65M99 35D30 35B44 35Q53 PDF BibTeX XML Cite \textit{J. Price} and \textit{P. Stinis}, Multiscale Model. Simul. 17, No. 1, 68--91 (2019; Zbl 1412.65178) Full Text: DOI arXiv
Caron, E.; Dede, S. Asymptotic distribution of least squares estimators for linear models with dependent errors: regular designs. (English) Zbl 1425.62086 Math. Methods Stat. 27, No. 4, 268-293 (2018). Reviewer: Kazuho Watanabe (Toyohashi) MSC: 62J05 62M10 62M15 62E20 62F12 62K10 60F05 PDF BibTeX XML Cite \textit{E. Caron} and \textit{S. Dede}, Math. Methods Stat. 27, No. 4, 268--293 (2018; Zbl 1425.62086) Full Text: DOI
Giraitis, Liudas; Surgailis, Donatas; Škarnulis, Andrius Stationary integrated ARCH(\(\infty\)) and AR(\(\infty\)) processes with finite variance. (English) Zbl 1406.62095 Econom. Theory 34, No. 6, 1159-1179 (2018). MSC: 62M10 60G10 60F05 PDF BibTeX XML Cite \textit{L. Giraitis} et al., Econom. Theory 34, No. 6, 1159--1179 (2018; Zbl 1406.62095) Full Text: DOI
Chupin, Laurent Global strong solutions for some differential viscoelastic models. (English) Zbl 1404.35349 SIAM J. Appl. Math. 78, No. 6, 2919-2949 (2018). Reviewer: Thomas Ernst (Uppsala) MSC: 35Q35 35A01 74D10 76A10 35D30 PDF BibTeX XML Cite \textit{L. Chupin}, SIAM J. Appl. Math. 78, No. 6, 2919--2949 (2018; Zbl 1404.35349) Full Text: DOI
Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory. (English) Zbl 06958097 Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94204-9/pbk; 978-3-319-94205-6/ebook). Lecture Notes in Computer Science 10900. Lecture Notes in Artificial Intelligence, 152-160 (2018). MSC: 68T15 PDF BibTeX XML Cite \textit{S. Conchon} et al., Lect. Notes Comput. Sci. 10900, 152--160 (2018; Zbl 06958097) Full Text: DOI
Zvyagin, A. V.; Zvyagin, V. G.; Polyakov, D. M. On solvability of a fluid flow alpha-model with memory. (English. Russian original) Zbl 1433.76014 Russ. Math. 62, No. 6, 69-74 (2018); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2018, No. 6, 78-84 (2018). MSC: 76A10 76M45 35D30 35Q35 45K05 PDF BibTeX XML Cite \textit{A. V. Zvyagin} et al., Russ. Math. 62, No. 6, 69--74 (2018; Zbl 1433.76014); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2018, No. 6, 78--84 (2018) Full Text: DOI
Wickerson, John; Batty, Mark; Sorensen, Tyler; Constantinides, George A. Automatically comparing memory consistency models. (English) Zbl 1380.68110 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 190-204 (2017). MSC: 68N20 68N15 68N19 68Q60 PDF BibTeX XML Cite \textit{J. Wickerson} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 190--204 (2017; Zbl 1380.68110) Full Text: DOI
Lahav, Ori; Giannarakis, Nick; Vafeiadis, Viktor Taming release-acquire consistency. (English) Zbl 1347.68086 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 649-662 (2016). MSC: 68N30 68N15 PDF BibTeX XML Cite \textit{O. Lahav} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 649--662 (2016; Zbl 1347.68086) Full Text: DOI
Kružík, Martin; Panagiotopoulos, Christos G.; Roubíček, Tomáš Quasistatic adhesive contact delaminating in mixed mode and its numerical treatment. (English) Zbl 1327.74115 Math. Mech. Solids 20, No. 5, 582-599 (2015). MSC: 74M15 74D05 PDF BibTeX XML Cite \textit{M. Kružík} et al., Math. Mech. Solids 20, No. 5, 582--599 (2015; Zbl 1327.74115) Full Text: DOI
Fu, Yi-Ming; Shao, Xue-fei; Chen, Yang Elasto-plastic buckling and post-buckling analysis of sandwich plates with functionally graded metal-metal face sheets and interfacial damage. (English) Zbl 1284.74065 Appl. Math. Mech., Engl. Ed. 35, No. 3, 325-344 (2014). MSC: 74K20 74A45 74G60 74D10 74C05 PDF BibTeX XML Cite \textit{Y.-M. Fu} et al., Appl. Math. Mech., Engl. Ed. 35, No. 3, 325--344 (2014; Zbl 1284.74065) Full Text: DOI
Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseok; Zawirski, Marek Replicated data types, specification, verification, optimality. (English) Zbl 1284.68384 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 271-284 (2014). MSC: 68Q60 68M14 68N30 PDF BibTeX XML Cite \textit{S. Burckhardt} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 271--284 (2014; Zbl 1284.68384) Full Text: DOI
Bulíček, Miroslav; Málek, Josef; Rajagopal, K. R. On Kelvin-Voigt model and its generalizations. (English) Zbl 1371.74067 Evol. Equ. Control Theory 1, No. 1, 17-42 (2012). MSC: 74D10 74H30 35B65 35D30 35Q74 PDF BibTeX XML Cite \textit{M. Bulíček} et al., Evol. Equ. Control Theory 1, No. 1, 17--42 (2012; Zbl 1371.74067) Full Text: DOI
Roy, Amitabha; Hand, Steven; Harris, Tim Weak atomicity for the x86 memory consistency model. (English) Zbl 1248.68126 J. Parallel Distrib. Comput. 72, No. 10, 1306-1317 (2012). MSC: 68M99 68N99 PDF BibTeX XML Cite \textit{A. Roy} et al., J. Parallel Distrib. Comput. 72, No. 10, 1306--1317 (2012; Zbl 1248.68126) Full Text: DOI
Alglave, Jade; Maranget, Luc; Sarkar, Susmit; Sewell, Peter Fences in weak memory models. (English) Zbl 1247.68155 Form. Methods Syst. Des. 40, No. 2, 170-205 (2012). MSC: 68Q60 68N30 68M99 68T15 PDF BibTeX XML Cite \textit{J. Alglave} et al., Form. Methods Syst. Des. 40, No. 2, 170--205 (2012; Zbl 1247.68155) Full Text: DOI
Grobbelaar-Van Dalsen, Marié On a fluid-structure model in which the dynamics of the structure involves the shear stress due to the fluid. (English) Zbl 1162.74348 J. Math. Fluid Mech. 10, No. 3, 388-401 (2008). MSC: 74F10 76D05 74D05 74H20 74H25 35Q72 35Q30 PDF BibTeX XML Cite \textit{M. Grobbelaar-Van Dalsen}, J. Math. Fluid Mech. 10, No. 3, 388--401 (2008; Zbl 1162.74348) Full Text: DOI
Lavancier, Frédéric Long memory random fields. (English) Zbl 1113.60053 Bertail, Patrice (ed.) et al., Dependence in probability and statistics. New York, NY: Springer (ISBN 0-387-31741-4/pbk). Lecture Notes in Statistics 187, 195-220 (2006). Reviewer: Nikolai N. Leonenko (Cardiff) MSC: 60G60 60G18 60G10 60F05 62M10 62M40 PDF BibTeX XML Cite \textit{F. Lavancier}, Lect. Notes Stat. 187, 195--220 (2006; Zbl 1113.60053) Full Text: DOI
Aiki, Toyohiko Weak solutions for Falk’s model of shape memory alloys. (English) Zbl 0989.74053 Math. Methods Appl. Sci. 23, No. 4, 299-319 (2000). MSC: 74N20 74H25 80A22 35Q72 PDF BibTeX XML Cite \textit{T. Aiki}, Math. Methods Appl. Sci. 23, No. 4, 299--319 (2000; Zbl 0989.74053) Full Text: DOI
Gerth, Rob Sequential consistency and the lazy caching algorithm. (English) Zbl 1448.68101 Distrib. Comput. 12, No. 2-3, 57-59 (1999). MSC: 68M14 68Q60 68Q85 68W15 PDF BibTeX XML Cite \textit{R. Gerth}, Distrib. Comput. 12, No. 2--3, 57--59 (1999; Zbl 1448.68101) Full Text: Link
Colli, Pierluigi; Gilardi, Gianni; Laurençot, Philippe; Novick-Cohen, Amy Uniqueness and long-time behavior for the conserved phase-field system with memory. (English) Zbl 0981.74012 Discrete Contin. Dyn. Syst. 5, No. 2, 375-390 (1999). MSC: 74F05 74H25 80A20 45D05 PDF BibTeX XML Cite \textit{P. Colli} et al., Discrete Contin. Dyn. Syst. 5, No. 2, 375--390 (1999; Zbl 0981.74012) Full Text: DOI
Attiya, Hagit; Friedman, Roy A correctness condition for high-performance multiprocessors. (English) Zbl 0907.68005 SIAM J. Comput. 27, No. 6, 1637-1670 (1998). MSC: 68M07 68-02 68P05 68Q10 68W10 68W15 68Q60 68Q65 PDF BibTeX XML Cite \textit{H. Attiya} and \textit{R. Friedman}, SIAM J. Comput. 27, No. 6, 1637--1670 (1998; Zbl 0907.68005) Full Text: DOI
Enelund, Mikael; Fenander, Åsa; Olsson, Peter Fractional integral formulation of constitutive equations of viscoelasticity. (English) Zbl 0911.73026 AIAA J. 35, No. 8, 1356-1362 (1997). MSC: 74D05 74D10 74A20 PDF BibTeX XML Cite \textit{M. Enelund} et al., AIAA J. 35, No. 8, 1356--1362 (1997; Zbl 0911.73026) Full Text: DOI
He, Shuyuan A note on the asymptotic normality of sample autocorrelations for a linear stationary sequence. (English) Zbl 0859.62079 J. Multivariate Anal. 58, No. 2, 182-188 (1996). Reviewer: J.Anděl (Praha) MSC: 62M10 60B12 60F05 60G10 PDF BibTeX XML Cite \textit{S. He}, J. Multivariate Anal. 58, No. 2, 182--188 (1996; Zbl 0859.62079) Full Text: DOI
Chan, Ngai Hang; Terrin, Norma Inference for unstable long-memory processes with applications to fractional unit root autoregressions. (English) Zbl 0843.62084 Ann. Stat. 23, No. 5, 1662-1683 (1995). MSC: 62M10 60F05 62E20 60F17 PDF BibTeX XML Cite \textit{N. H. Chan} and \textit{N. Terrin}, Ann. Stat. 23, No. 5, 1662--1683 (1995; Zbl 0843.62084) Full Text: DOI
Blanchard, P.; Combe, Ph.; Nencka, H.; Rodriguez, R. Stochastic dynamical aspects of neuronal activity. (English) Zbl 0767.92005 J. Math. Biol. 31, No. 2, 189-198 (1993). Reviewer: Y.Yu (Montgomery) MSC: 92C20 PDF BibTeX XML Cite \textit{P. Blanchard} et al., J. Math. Biol. 31, No. 2, 189--198 (1993; Zbl 0767.92005) Full Text: DOI