Castañeda, Armando; Rodríguez, Gilde Valeria Asynchronous wait-free runtime verification and enforcement of linearizability. (English) Zbl 07824315 Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 90-101 (2023). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{A. Castañeda} and \textit{G. V. Rodríguez}, in: Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC '23, Orlando, FL, USA, June 19--23, 2023. New York, NY: Association for Computing Machinery (ACM). 90--101 (2023; Zbl 07824315) Full Text: DOI arXiv
Bakhshandeh-Chamazkoti, Rohollah Abelian Lie symmetry algebras of two-dimensional quasilinear evolution equations. (English) Zbl 07781159 Math. Methods Appl. Sci. 46, No. 1, 867-878 (2023). MSC: 35B06 35A22 35G25 35L72 76M60 PDFBibTeX XMLCite \textit{R. Bakhshandeh-Chamazkoti}, Math. Methods Appl. Sci. 46, No. 1, 867--878 (2023; Zbl 07781159) Full Text: DOI arXiv
Suleimanov, B. I. Zeros of solutions of third-order L-A pairs and linearizable ordinary differential equations. (English. Russian original) Zbl 1523.35200 Proc. Steklov Inst. Math. 321, Suppl. 1, S230-S238 (2023); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 29, No. 1, 180-189 (2023). MSC: 35K05 35C05 34A05 PDFBibTeX XMLCite \textit{B. I. Suleimanov}, Proc. Steklov Inst. Math. 321, S230--S238 (2023; Zbl 1523.35200); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 29, No. 1, 180--189 (2023) Full Text: DOI
Sarlet, Willy A case study of separability of second-order differential equations. (English) Zbl 1522.34065 Acta Appl. Math. 186, Paper No. 8, 32 p. (2023). MSC: 34C20 34A26 34A34 PDFBibTeX XMLCite \textit{W. Sarlet}, Acta Appl. Math. 186, Paper No. 8, 32 p. (2023; Zbl 1522.34065) Full Text: DOI
Arcet, Barbara; Romanovski, Valery G. Integrability and linearizability of symmetric three-dimensional quadratic systems. (English) Zbl 1512.34025 Discrete Contin. Dyn. Syst., Ser. S 16, No. 3-4, 361-378 (2023). MSC: 34A34 34C20 34C45 PDFBibTeX XMLCite \textit{B. Arcet} and \textit{V. G. Romanovski}, Discrete Contin. Dyn. Syst., Ser. S 16, No. 3--4, 361--378 (2023; Zbl 1512.34025) Full Text: DOI
Castañeda, Armando; Rajsbaum, Sergio; Raynal, Michel Set-linearizable implementations from read/write operations: sets, fetch & increment, stacks and queues with multiplicity. (English) Zbl 07697596 Distrib. Comput. 36, No. 2, 89-106 (2023). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{A. Castañeda} et al., Distrib. Comput. 36, No. 2, 89--106 (2023; Zbl 07697596) Full Text: DOI
Castañeda, Armando; Hurault, Aurélie; Quéinnec, Philippe; Roy, Matthieu Tasks in modular proofs of concurrent algorithms. (English) Zbl 07687226 Inf. Comput. 292, Article ID 105040, 21 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Castañeda} et al., Inf. Comput. 292, Article ID 105040, 21 p. (2023; Zbl 07687226) Full Text: DOI arXiv
Sinelshchikov, Dmitry I. Linearizabiliy and Lax representations for cubic autonomous and non-autonomous nonlinear oscillators. (English) Zbl 1520.34032 Physica D 448, Article ID 133721, 6 p. (2023). Reviewer: Narahari Parhi (Bhubaneswar) MSC: 34C20 34A05 PDFBibTeX XMLCite \textit{D. I. Sinelshchikov}, Physica D 448, Article ID 133721, 6 p. (2023; Zbl 1520.34032) Full Text: DOI
Ren, Rufei Non-linearizability of power series over complete non-Archimedean fields of positive characteristic. (English) Zbl 1519.37114 Adv. Math. 416, Article ID 108913, 61 p. (2023). MSC: 37P10 37P05 11S82 PDFBibTeX XMLCite \textit{R. Ren}, Adv. Math. 416, Article ID 108913, 61 p. (2023; Zbl 1519.37114) Full Text: DOI arXiv
Attiya, Hagit; Enea, Constantin; Welch, Jennifer Blunting an adversary against randomized concurrent programs with linearizable implementations. (English) Zbl 07824266 Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 209-219 (2022). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{H. Attiya} et al., in: Proceedings of the 41st ACM symposium on principles of distributed computing, PODC '22, Salerno, Italy, July 25--29, 2022. New York, NY: Association for Computing Machinery (ACM). 209--219 (2022; Zbl 07824266) Full Text: DOI arXiv
Scott, Michael L. How should we think about persistent data structures? (English) Zbl 07824241 Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 3 (2022). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{M. L. Scott}, in: Proceedings of the 41st ACM symposium on principles of distributed computing, PODC '22, Salerno, Italy, July 25--29, 2022. New York, NY: Association for Computing Machinery (ACM). 3 (2022; Zbl 07824241) Full Text: DOI
Wu, Yusen; Yan, Jinling; Zhang, Cui; Li, Feng Simultaneous integrability and non-linearizability at arbitrary double weak saddles and sole weak focus of a cubic Liénard system. (English) Zbl 1504.34077 Chaos Solitons Fractals 160, Article ID 112197, 6 p. (2022). MSC: 34C05 34C07 34C23 34C20 34A05 PDFBibTeX XMLCite \textit{Y. Wu} et al., Chaos Solitons Fractals 160, Article ID 112197, 6 p. (2022; Zbl 1504.34077) Full Text: DOI
Žulj, Maja; Ferčec, Brigita; Mencinger, Matej On integrability and linearizability of persistent \(p:- q\) resonant systems. (English) Zbl 1509.34034 J. Math. Anal. Appl. 515, No. 1, Article ID 126369, 19 p. (2022). Reviewer: Jinzhi Lei (Tianjin) MSC: 34C05 34C20 34A05 PDFBibTeX XMLCite \textit{M. Žulj} et al., J. Math. Anal. Appl. 515, No. 1, Article ID 126369, 19 p. (2022; Zbl 1509.34034) Full Text: DOI
Arcet, Barbara; Giné, Jaume; Romanovski, Valery G. Linearizability of planar polynomial Hamiltonian systems. (English) Zbl 1490.34046 Nonlinear Anal., Real World Appl. 63, Article ID 103422, 19 p. (2022). Reviewer: Xingwu Chen (Chengdu) MSC: 34C20 37J35 PDFBibTeX XMLCite \textit{B. Arcet} et al., Nonlinear Anal., Real World Appl. 63, Article ID 103422, 19 p. (2022; Zbl 1490.34046) Full Text: DOI
Sela, Gal; Herlihy, Maurice; Petrank, Erez Brief announcement: Linearizability: a typo. (English) Zbl 07824234 Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 561-564 (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{G. Sela} et al., in: Proceedings of the 40th ACM symposium on principles of distributed computing, PODC '21, virtual event, Italy, July 26--30, 2021. New York, NY: Association for Computing Machinery (ACM). 561--564 (2021; Zbl 07824234) Full Text: DOI arXiv
Hadzilacos, Vassos; Hu, Xing; Toueg, Sam On register linearizability and termination. (English) Zbl 07824230 Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 521-531 (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{V. Hadzilacos} et al., in: Proceedings of the 40th ACM symposium on principles of distributed computing, PODC '21, virtual event, Italy, July 26--30, 2021. New York, NY: Association for Computing Machinery (ACM). 521--531 (2021; Zbl 07824230) Full Text: DOI arXiv
Zarbafian, Pouriya; Gramoli, Vincent Brief announcement: ordered reliable broadcast and fast ordered Byzantine consensus for cryptocurrency. (English) Zbl 07774314 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 63, 4 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{P. Zarbafian} and \textit{V. Gramoli}, LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 63, 4 p. (2021; Zbl 07774314) Full Text: DOI
Chatterjee, Bapi; Peri, Sathya; Sa, Muktikanta Brief announcement: non-blocking dynamic unbounded graphs with worst-case amortized bounds. (English) Zbl 07774303 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{B. Chatterjee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021; Zbl 07774303) Full Text: DOI
Sheffi, Gali; Herlihy, Maurice; Petrank, Erez VBR: version based reclamation. (English) Zbl 07774286 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 35, 18 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{G. Sheffi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 35, 18 p. (2021; Zbl 07774286) Full Text: DOI arXiv
Cohen, Shir; Keidar, Idit Tame the wild with Byzantine linearizability: reliable broadcast, snapshots, and asset transfer. (English) Zbl 07774269 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 18, 18 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{S. Cohen} and \textit{I. Keidar}, LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 18, 18 p. (2021; Zbl 07774269) Full Text: DOI arXiv
Castañeda, Armando; Piña, Miguel Fully Read/Write fence-free work-stealing with multiplicity. (English) Zbl 07774267 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 16, 20 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{A. Castañeda} and \textit{M. Piña}, LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 16, 20 p. (2021; Zbl 07774267) Full Text: DOI arXiv
Cai, Wentao; Wen, Haosen; Maksimovski, Vladimir; Du, Mingzhe; Sanna, Rafaello; Abdallah, Shreif; Scott, Michael L. Fast nonblocking persistence for concurrent data structures. (English) Zbl 07774265 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 14, 20 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{W. Cai} et al., LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 14, 20 p. (2021; Zbl 07774265) Full Text: DOI arXiv
Bédin, Denis; Lépine, François; Mostéfaoui, Achour; Perez, Damien; Perrin, Matthieu Wait-free CAS-based algorithms: the burden of the past. (English) Zbl 07774262 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 11, 15 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{D. Bédin} et al., LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 11, 15 p. (2021; Zbl 07774262) Full Text: DOI
Attiya, Hagit; Enea, Constantin; Welch, Jennifer L. Impossibility of strongly-linearizable message-passing objects via simulation by single-writer registers. (English) Zbl 07774258 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 7, 18 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{H. Attiya} et al., LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 7, 18 p. (2021; Zbl 07774258) Full Text: DOI arXiv
Wu, Yusen; Zhang, Cui Integrability and non-linearizability of weak saddles in a cubic Kolmogorov model. (English) Zbl 1498.34090 Chaos Solitons Fractals 153, Part 2, Article ID 111514, 6 p. (2021). MSC: 34C05 34C20 34C23 PDFBibTeX XMLCite \textit{Y. Wu} and \textit{C. Zhang}, Chaos Solitons Fractals 153, Part 2, Article ID 111514, 6 p. (2021; Zbl 1498.34090) Full Text: DOI
Fernández Anta, Antonio; Georgiou, Chryssis; Hadjistasi, Theophanis; Nicolaou, Nicolas; Stavrakis, Efstathios; Trigeorgi, Andria Fragmented objects: boosting concurrency of shared large objects. (English) Zbl 07495136 Jurdziński, Tomasz (ed.) et al., Structural information and communication complexity. 28th international colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12810, 106-126 (2021). MSC: 68Mxx 68Q11 68R10 PDFBibTeX XMLCite \textit{A. Fernández Anta} et al., Lect. Notes Comput. Sci. 12810, 106--126 (2021; Zbl 07495136) Full Text: DOI arXiv
Ferapontov, E. V.; Kruglikov, B.; Novikov, V. Integrability of dispersionless Hirota-type equations and the symplectic Monge-Ampère property. (English) Zbl 1487.37084 Int. Math. Res. Not. 2021, No. 18, 14220-14251 (2021). MSC: 37K10 35J96 PDFBibTeX XMLCite \textit{E. V. Ferapontov} et al., Int. Math. Res. Not. 2021, No. 18, 14220--14251 (2021; Zbl 1487.37084) Full Text: DOI arXiv
Jayanti, Siddhartha V.; Tarjan, Robert E. Concurrent disjoint set union. (English) Zbl 1522.68727 Distrib. Comput. 34, No. 6, 413-436 (2021). MSC: 68W10 68P05 68W20 68W40 PDFBibTeX XMLCite \textit{S. V. Jayanti} and \textit{R. E. Tarjan}, Distrib. Comput. 34, No. 6, 413--436 (2021; Zbl 1522.68727) Full Text: DOI arXiv
Mullari, Tanel; Kotta, Ülle Linearization of discrete-time control system by state transformation. (English) Zbl 1478.93111 Proc. Est. Acad. Sci. 70, No. 1, 62-79 (2021). MSC: 93B18 93C10 93C55 93B25 35Q93 PDFBibTeX XMLCite \textit{T. Mullari} and \textit{Ü. Kotta}, Proc. Est. Acad. Sci. 70, No. 1, 62--79 (2021; Zbl 1478.93111) Full Text: DOI
Li, Yongjun; Romanovski, Valery G. Isochronous solutions of a 3-dim symmetric quadratic system. (English) Zbl 1510.34092 Appl. Math. Comput. 405, Article ID 126250, 12 p. (2021). MSC: 34C45 34C25 37C27 PDFBibTeX XMLCite \textit{Y. Li} and \textit{V. G. Romanovski}, Appl. Math. Comput. 405, Article ID 126250, 12 p. (2021; Zbl 1510.34092) Full Text: DOI
Imbs, Damien; Mostéfaoui, Achour; Perrin, Matthieu; Raynal, Michel Set-constrained delivery broadcast: a communication abstraction for read/write implementable distributed objects. (English) Zbl 1514.68014 Theor. Comput. Sci. 886, 49-68 (2021). MSC: 68M14 68M12 68M15 PDFBibTeX XMLCite \textit{D. Imbs} et al., Theor. Comput. Sci. 886, 49--68 (2021; Zbl 1514.68014) Full Text: DOI arXiv HAL
Chatterjee, Bapi; Walulya, Ivan; Tsigas, Philippas Concurrent linearizable nearest neighbour search in LockFree-kD-tree. (English) Zbl 1514.68042 Theor. Comput. Sci. 886, 27-48 (2021). MSC: 68P05 PDFBibTeX XMLCite \textit{B. Chatterjee} et al., Theor. Comput. Sci. 886, 27--48 (2021; Zbl 1514.68042) Full Text: DOI Link
Derrick, John; Doherty, Simon; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike Verifying correctness of persistent concurrent data structures: a sound and complete method. (English) Zbl 1519.68133 Formal Asp. Comput. 33, No. 4-5, 547-573 (2021). MSC: 68Q60 68P05 PDFBibTeX XMLCite \textit{J. Derrick} et al., Formal Asp. Comput. 33, No. 4--5, 547--573 (2021; Zbl 1519.68133) Full Text: DOI
Li, Feng; Liu, Yuanyuan; Yu, Pei; Wang, Jinliang Complex integrability and linearizability of cubic \(Z_2\)-equivariant systems with two \(1:q\) resonant singular points. (English) Zbl 1493.34010 J. Differ. Equations 300, 786-813 (2021). Reviewer: Lingling Liu (Chengdu) MSC: 34A05 34C14 34C20 PDFBibTeX XMLCite \textit{F. Li} et al., J. Differ. Equations 300, 786--813 (2021; Zbl 1493.34010) Full Text: DOI
Aziz, Waleed; Christopher, Colin; Llibre, Jaume; Pantazi, Chara Three-dimensional Lotka-Volterra systems with 3:\(-1\):2-resonance. (English) Zbl 1476.34005 Mediterr. J. Math. 18, No. 4, Paper No. 167, 24 p. (2021). MSC: 34A05 34C20 34A34 34C14 PDFBibTeX XMLCite \textit{W. Aziz} et al., Mediterr. J. Math. 18, No. 4, Paper No. 167, 24 p. (2021; Zbl 1476.34005) Full Text: DOI
Aziz, Waleed; Amen, Azad; Pantazi, Chara Integrability and linearizability of a family of three-dimensional quadratic systems. (English) Zbl 1472.37060 Dyn. Syst. 36, No. 2, 317-331 (2021). MSC: 37J35 37J39 37C79 PDFBibTeX XMLCite \textit{W. Aziz} et al., Dyn. Syst. 36, No. 2, 317--331 (2021; Zbl 1472.37060) Full Text: DOI Link
Wen, Tangliu; Peng, Jie; Xue, Jinyun; You, Zhen; Song, Lan Strict linearizability and abstract atomicity. (English) Zbl 1458.68135 Int. J. Found. Comput. Sci. 32, No. 1, 1-35 (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Wen} et al., Int. J. Found. Comput. Sci. 32, No. 1, 1--35 (2021; Zbl 1458.68135) Full Text: DOI
Delporte, Carole; Fauconnier, Hugues; Rajsbaum, Sergio; Raynal, Michel \(k\)-immediate snapshot and \(x\)-set agreement: how are they related? (English) Zbl 1517.68042 Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 97-112 (2020). MSC: 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{C. Delporte} et al., Lect. Notes Comput. Sci. 12514, 97--112 (2020; Zbl 1517.68042) Full Text: DOI
Li, Feng; Li, Hongwei; Liu, Yuanyuan Integrability of resonant saddles in a complex differential system. (English) Zbl 1495.34121 Chaos Solitons Fractals 140, Article ID 110226, 5 p. (2020). MSC: 34M25 34M10 PDFBibTeX XMLCite \textit{F. Li} et al., Chaos Solitons Fractals 140, Article ID 110226, 5 p. (2020; Zbl 1495.34121) Full Text: DOI
Mullari, Tanel; Kotta, Ülle Feedback linearization of discrete-time nonlinear control systems: computational aspects. (English) Zbl 1467.93063 Proc. Est. Acad. Sci. 69, No. 1, 11-26 (2020). MSC: 93B18 93B52 93C55 93C10 93-08 PDFBibTeX XMLCite \textit{T. Mullari} and \textit{Ü. Kotta}, Proc. Est. Acad. Sci. 69, No. 1, 11--26 (2020; Zbl 1467.93063) Full Text: DOI
Perrin, Matthieu; Mostéfaoui, Achour; Bonin, Grégoire Extending the wait-free hierarchy to multi-threaded systems. (English) Zbl 07323165 Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 21-30 (2020). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{M. Perrin} et al., in: Proceedings of the 39th ACM symposium on principles of distributed computing, PODC '20, virtual event, August 3--7, 2020. New York, NY: Association for Computing Machinery (ACM). 21--30 (2020; Zbl 07323165) Full Text: DOI HAL
Nobe, Atsushi; Matsukidaira, Junta A family of integrable and non-integrable difference equations arising from cluster algebras. (English) Zbl 1498.39023 RIMS Kôkyûroku Bessatsu B78, 99-119 (2020). MSC: 39A36 39A70 37K10 13F60 PDFBibTeX XMLCite \textit{A. Nobe} and \textit{J. Matsukidaira}, RIMS Kôkyûroku Bessatsu B78, 99--119 (2020; Zbl 1498.39023) Full Text: arXiv Link
Fatourou, Panagiota; Kallimanis, Nikolaos D. The RedBlue family of universal constructions. (English) Zbl 1497.68044 Distrib. Comput. 33, No. 6, 485-513 (2020). MSC: 68M14 PDFBibTeX XMLCite \textit{P. Fatourou} and \textit{N. D. Kallimanis}, Distrib. Comput. 33, No. 6, 485--513 (2020; Zbl 1497.68044) Full Text: DOI
Smith, Graeme; Winter, Kirsten; Colvin, Robert J. Linearizability on hardware weak memory models. (English) Zbl 1451.68030 Formal Asp. Comput. 32, No. 1, 1-32 (2020). MSC: 68M07 68Q85 PDFBibTeX XMLCite \textit{G. Smith} et al., Formal Asp. Comput. 32, No. 1, 1--32 (2020; Zbl 1451.68030) Full Text: DOI
Li, Feng; Jin, Yinlai; Tian, Yun; Yu, Pei Integrability and linearizability of cubic \(Z_2\) systems with non-resonant singular points. (English) Zbl 1450.37052 J. Differ. Equations 269, No. 10, 9026-9049 (2020). Reviewer: Alexander Grin (Grodno) MSC: 37J35 37J38 34C05 34C07 PDFBibTeX XMLCite \textit{F. Li} et al., J. Differ. Equations 269, No. 10, 9026--9049 (2020; Zbl 1450.37052) Full Text: DOI
Attiya, Hagit; Enea, Constantin Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects. (English) Zbl 1515.68096 Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019). MSC: 68N19 68Q85 68Q87 PDFBibTeX XMLCite \textit{H. Attiya} and \textit{C. Enea}, LIPIcs -- Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019; Zbl 1515.68096) Full Text: DOI arXiv
Goubault, Éric; Ledent, Jérémy; Mimram, Samuel Concurrent specifications beyond linearizability. (English) Zbl 07561456 Cao, Jiannong (ed.) et al., 22nd international conference on principles of distributed systems, OPODIS 2018, December 17–19, 2018, Hong Kong, China. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 125, Article 28, 16 p. (2019). MSC: 68M14 68M20 PDFBibTeX XMLCite \textit{É. Goubault} et al., LIPIcs -- Leibniz Int. Proc. Inform. 125, Article 28, 16 p. (2019; Zbl 07561456) Full Text: DOI
Ovens, Sean; Woelfel, Philipp Strongly linearizable implementations of snapshots and other types. (English) Zbl 07298674 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 197-206 (2019). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{S. Ovens} and \textit{P. Woelfel}, in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 197--206 (2019; Zbl 07298674) Full Text: DOI arXiv
Woelfel, Philipp Towards a theory of randomized shared memory algorithms. (English) Zbl 07298669 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{P. Woelfel}, in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019; Zbl 07298669) Full Text: DOI
Hamza, Jad On the complexity of linearizability. (English) Zbl 1459.68083 Computing 101, No. 9, 1227-1240 (2019). MSC: 68Q25 68Q17 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Hamza}, Computing 101, No. 9, 1227--1240 (2019; Zbl 1459.68083) Full Text: DOI arXiv
Mutluergil, Suha Orhun; Tasiran, Serdar A mechanized refinement proof of the Chase-Lev deque using a proof system. (English) Zbl 1458.68276 Computing 101, No. 1, 59-74 (2019). MSC: 68W10 68P05 68Q60 68V15 PDFBibTeX XMLCite \textit{S. O. Mutluergil} and \textit{S. Tasiran}, Computing 101, No. 1, 59--74 (2019; Zbl 1458.68276) Full Text: DOI
Aziz, Waleed Integrability and linearizability problems of three dimensional Lotka-Volterra equations of rank-2. (English) Zbl 1433.37058 Qual. Theory Dyn. Syst. 18, No. 3, 1113-1134 (2019). MSC: 37J35 34C14 PDFBibTeX XMLCite \textit{W. Aziz}, Qual. Theory Dyn. Syst. 18, No. 3, 1113--1134 (2019; Zbl 1433.37058) Full Text: DOI
Sklyar, K. V. On mappability of control systems to linear systems with analytic matrices. (English) Zbl 1428.93034 Syst. Control Lett. 134, Article ID 104572, 6 p. (2019). MSC: 93B18 93C10 93C15 PDFBibTeX XMLCite \textit{K. V. Sklyar}, Syst. Control Lett. 134, Article ID 104572, 6 p. (2019; Zbl 1428.93034) Full Text: DOI
Walulya, Ivan; Chatterjee, Bapi; Datta, Ajoy K.; Niyolia, Rashmi; Tsigas, Philippas Concurrent lock-free unbounded priority queue with mutable priorities. (English) Zbl 1519.68065 Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 365-380 (2018). MSC: 68P05 68W15 PDFBibTeX XMLCite \textit{I. Walulya} et al., Lect. Notes Comput. Sci. 11201, 365--380 (2018; Zbl 1519.68065) Full Text: DOI
Chen, Yang; Zhang, Zhenya; Wu, Peng; Zhang, Yu Interleaving-tree based fine-grained linearizability fault localization. (English) Zbl 1511.68061 Feng, Xinyu (ed.) et al., Dependable software engineering. Theories, tools, and applications. 4th international symposium, SETTA 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10998, 108-126 (2018). MSC: 68N19 PDFBibTeX XMLCite \textit{Y. Chen} et al., Lect. Notes Comput. Sci. 10998, 108--126 (2018; Zbl 1511.68061) Full Text: DOI
Emmi, Michael; Enea, Constantin Monitoring weak consistency. (English) Zbl 1511.68181 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 487-506 (2018). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. Emmi} and \textit{C. Enea}, Lect. Notes Comput. Sci. 10981, 487--506 (2018; Zbl 1511.68181) Full Text: DOI
Sklyar, K. V.; Sklyar, G. M.; Ignatovich, S. Yu. Linearizability of multi-control systems of the class \(C^1\) by additive change of controls. (English) Zbl 1427.93052 André, Carlos (ed.) et al., Operator theory, operator algebras, and matrix theory. Based on the presentations at the international workshop on operator theory and operator algebras, WOAT 2016, Lisbon, Portugal, July 5–8, 2016. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 267, 359-370 (2018). MSC: 93B18 93C10 PDFBibTeX XMLCite \textit{K. V. Sklyar} et al., Oper. Theory: Adv. Appl. 267, 359--370 (2018; Zbl 1427.93052) Full Text: DOI
Fetisov, D. A. \(A\)-orbital linearization of affine systems. (English. Russian original) Zbl 1409.93021 Differ. Equ. 54, No. 11, 1494-1508 (2018); translation from Differ. Uravn. 54, No. 11, 1518-1532 (2018). MSC: 93B18 93C15 93B05 93C05 PDFBibTeX XMLCite \textit{D. A. Fetisov}, Differ. Equ. 54, No. 11, 1494--1508 (2018; Zbl 1409.93021); translation from Differ. Uravn. 54, No. 11, 1518--1532 (2018) Full Text: DOI
Castañeda, Armando; Rajsbaum, Sergio; Raynal, Michel Unifying concurrent objects and distributed tasks. Interval-linearizability. (English) Zbl 1426.68181 J. ACM 65, No. 6, Article No. 45, 42 p. (2018). MSC: 68Q85 68M14 68W15 PDFBibTeX XMLCite \textit{A. Castañeda} et al., J. ACM 65, No. 6, Article No. 45, 42 p. (2018; Zbl 1426.68181) Full Text: DOI
Wang, Jiaqi; Talmage, Edward; Lee, Hyunyoung; Welch, Jennifer L. Improved time bounds for linearizable implementations of abstract data types. (English) Zbl 1407.68313 Inf. Comput. 263, 1-30 (2018). MSC: 68Q65 68M14 68Q17 PDFBibTeX XMLCite \textit{J. Wang} et al., Inf. Comput. 263, 1--30 (2018; Zbl 1407.68313) Full Text: DOI
Lowe, Gavin Lock-free concurrent binomial heaps. (English) Zbl 1400.68063 J. Log. Algebr. Methods Program. 101, 44-87 (2018). MSC: 68P05 68Q85 PDFBibTeX XMLCite \textit{G. Lowe}, J. Log. Algebr. Methods Program. 101, 44--87 (2018; Zbl 1400.68063) Full Text: DOI Link
Wang, Jian; Zhang, Zhiyuan The rigidity of pseudo-rotations on the two-torus and a question of Norton-Sullivan. (English) Zbl 1401.37051 Geom. Funct. Anal. 28, No. 5, 1487-1516 (2018). MSC: 37E30 37E10 37E45 PDFBibTeX XMLCite \textit{J. Wang} and \textit{Z. Zhang}, Geom. Funct. Anal. 28, No. 5, 1487--1516 (2018; Zbl 1401.37051) Full Text: DOI arXiv
Mencinger, Matej; Ferčec, Brigita; Fernandes, Wilker; Oliveira, Regilene Linearizability problem of persistent centers. (English) Zbl 1413.34299 Electron. J. Qual. Theory Differ. Equ. 2018, Paper No. 37, 27 p. (2018). MSC: 34M35 PDFBibTeX XMLCite \textit{M. Mencinger} et al., Electron. J. Qual. Theory Differ. Equ. 2018, Paper No. 37, 27 p. (2018; Zbl 1413.34299) Full Text: DOI
Fan, Hua; Golab, Wojciech Analyzing linearizability violations in the presence of read-modify-write operations. (English) Zbl 1460.68016 Inf. Process. Lett. 138, 57-60 (2018). MSC: 68M14 68P20 PDFBibTeX XMLCite \textit{H. Fan} and \textit{W. Golab}, Inf. Process. Lett. 138, 57--60 (2018; Zbl 1460.68016) Full Text: DOI Link
Cachin, Christian; Ohrimenko, Olga Verifying the consistency of remote untrusted services with conflict-free operations. (English) Zbl 1390.68088 Inf. Comput. 260, 72-88 (2018). MSC: 68M14 68M12 PDFBibTeX XMLCite \textit{C. Cachin} and \textit{O. Ohrimenko}, Inf. Comput. 260, 72--88 (2018; Zbl 1390.68088) Full Text: DOI arXiv
Muzsnay, Zoltán On the linearizability of 3-webs: end of controversy. (English. French summary) Zbl 1385.53006 C. R., Math., Acad. Sci. Paris 356, No. 1, 97-99 (2018). Reviewer: A. M. Shelekhov (Moskva) MSC: 53A60 PDFBibTeX XMLCite \textit{Z. Muzsnay}, C. R., Math., Acad. Sci. Paris 356, No. 1, 97--99 (2018; Zbl 1385.53006) Full Text: DOI arXiv
Wang, Zhaoxia; Chen, Xingwu; Zhang, Weinian Isochronicity of centers in some planar differential systems. (Chinese. English summary) Zbl 1499.34223 Sci. Sin., Math. 47, No. 1, 37-52 (2017). MSC: 34C05 34C25 PDFBibTeX XMLCite \textit{Z. Wang} et al., Sci. Sin., Math. 47, No. 1, 37--52 (2017; Zbl 1499.34223) Full Text: DOI
Bouajjani, Ahmed; Enea, Constantin; Wang, Chao Checking linearizability of concurrent priority queues. (English) Zbl 1442.68126 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 16, 16 p. (2017). MSC: 68Q85 68Q60 68Q65 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 16, 16 p. (2017; Zbl 1442.68126) Full Text: DOI arXiv
Romanovski, Valery G.; Fernandes, Wilker; Tang, Yilei; Tian, Yun Linearizability and critical period bifurcations of a generalized Riccati system. (English) Zbl 1390.70056 Nonlinear Dyn. 90, No. 1, 257-269 (2017). MSC: 70K42 93B18 70K50 PDFBibTeX XMLCite \textit{V. G. Romanovski} et al., Nonlinear Dyn. 90, No. 1, 257--269 (2017; Zbl 1390.70056) Full Text: DOI arXiv
Smith, Graeme; Winter, Kirsten Relating trace refinement and linearizability. (English) Zbl 1377.68151 Formal Asp. Comput. 29, No. 6, 935-950 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Smith} and \textit{K. Winter}, Formal Asp. Comput. 29, No. 6, 935--950 (2017; Zbl 1377.68151) Full Text: DOI
Dukarić, Maša; Oliveira, Regilene; Romanovski, Valery G. Local integrability and linearizability of a \((1:-1:-1)\) resonant quadratic system. (English) Zbl 1379.34002 J. Dyn. Differ. Equations 29, No. 2, 597-613 (2017). Reviewer: Douglas S. Shafer (Charlotte) MSC: 34A05 34C20 34C05 PDFBibTeX XMLCite \textit{M. Dukarić} et al., J. Dyn. Differ. Equations 29, No. 2, 597--613 (2017; Zbl 1379.34002) Full Text: DOI
Fatourou, Panagiota; Kallimanis, Nikolaos D. Lower and upper bounds for single-scanner snapshot implementations. (English) Zbl 1420.68233 Distrib. Comput. 30, No. 4, 231-260 (2017). MSC: 68W15 68M14 68Q25 PDFBibTeX XMLCite \textit{P. Fatourou} and \textit{N. D. Kallimanis}, Distrib. Comput. 30, No. 4, 231--260 (2017; Zbl 1420.68233) Full Text: DOI
Mostéfaoui, Achour; Petrolia, Matoula; Raynal, Michel; Jard, Claude Atomic read/write memory in signature-free Byzantine asynchronous message-passing systems. (English) Zbl 1371.68040 Theory Comput. Syst. 60, No. 4, 677-694 (2017). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{A. Mostéfaoui} et al., Theory Comput. Syst. 60, No. 4, 677--694 (2017; Zbl 1371.68040) Full Text: DOI arXiv
Abraham, Uri; Amram, Gal Two-process synchronization. (English) Zbl 1371.68030 Theor. Comput. Sci. 688, 2-23 (2017). MSC: 68M14 68Q25 68W15 PDFBibTeX XMLCite \textit{U. Abraham} and \textit{G. Amram}, Theor. Comput. Sci. 688, 2--23 (2017; Zbl 1371.68030) Full Text: DOI
Fernandes, Wilker; Romanovski, Valery G.; Sultanova, Marzhan; Tang, Yilei Isochronicity and linearizability of a planar cubic system. (English) Zbl 1365.34062 J. Math. Anal. Appl. 450, No. 1, 795-813 (2017). Reviewer: Douglas S. Shafer (Charlotte) MSC: 34C07 34M99 34C05 34C20 PDFBibTeX XMLCite \textit{W. Fernandes} et al., J. Math. Anal. Appl. 450, No. 1, 795--813 (2017; Zbl 1365.34062) Full Text: DOI arXiv
Haas, Andreas; Henzinger, Thomas A.; Holzer, Andreas; Kirsch, Christoph M.; Lippautz, Michael; Payer, Hannes; Sezgin, Ali; Sokolova, Ana; Veith, Helmut Local linearizability for concurrent container-type data structures. (English) Zbl 1392.68152 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 6, 15 p. (2016). MSC: 68P05 68Q85 PDFBibTeX XMLCite \textit{A. Haas} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 6, 15 p. (2016; Zbl 1392.68152) Full Text: DOI
Denysyuk, Oksana; Woelfel, Philipp Are shared objects composable under an oblivious adversary? (English) Zbl 1375.68196 Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 335-344 (2016). MSC: 68W15 68W20 PDFBibTeX XMLCite \textit{O. Denysyuk} and \textit{P. Woelfel}, in: Proceedings of the 35th ACM symposium on principles of distributed computing, PODC '16, Chicago, IL, USA, July 25--28, 2016. New York, NY: Association for Computing Machinery (ACM). 335--344 (2016; Zbl 1375.68196) Full Text: DOI
Delporte, Carole; Fauconnier, Hugues; Rajsbaum, Sergio; Raynal, Michel \(t\)-resilient immediate snapshot Is impossible. (English) Zbl 1482.68055 Suomela, Jukka (ed.), Structural information and communication complexity. 23rd international colloquium, SIROCCO 2016, Helsinki, Finland, July 19–21, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9988, 177-191 (2016). MSC: 68M14 PDFBibTeX XMLCite \textit{C. Delporte} et al., Lect. Notes Comput. Sci. 9988, 177--191 (2016; Zbl 1482.68055) Full Text: DOI
Emmi, Michael; Enea, Constantin Symbolic abstract data type inference. (English) Zbl 1347.68245 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). 513-525 (2016). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Emmi} and \textit{C. Enea}, 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). 513--525 (2016; Zbl 1347.68245) Full Text: DOI
Sklyar, K. V.; Ignatovich, S. Yu. Linearizability of systems of the class \(C^1\) with multi-dimensional control. (English) Zbl 1344.93034 Syst. Control Lett. 94, 92-96 (2016). MSC: 93B18 93C10 93C15 93B52 PDFBibTeX XMLCite \textit{K. V. Sklyar} and \textit{S. Yu. Ignatovich}, Syst. Control Lett. 94, 92--96 (2016; Zbl 1344.93034) Full Text: DOI
Wu, Yusen Calculation of generalized period constants via time-angle difference for complex analytic systems with resonant ratio. (English) Zbl 1333.34048 J. Nonlinear Sci. Appl. 9, No. 4, 1766-1775 (2016). MSC: 34C05 34C07 34-04 34C25 PDFBibTeX XMLCite \textit{Y. Wu}, J. Nonlinear Sci. Appl. 9, No. 4, 1766--1775 (2016; Zbl 1333.34048) Full Text: DOI Link
Castañeda, Armando; Rajsbaum, Sergio; Raynal, Michel Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract). (English) Zbl 1394.68225 Moses, Yoram (ed.), Distributed computing. 29th international symposium, DISC 2015, Tokyo, Japan, October 7–9, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48652-8/pbk; 978-3-662-48653-5/ebook). Lecture Notes in Computer Science 9363, 420-435 (2015). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Castañeda} et al., Lect. Notes Comput. Sci. 9363, 420--435 (2015; Zbl 1394.68225) Full Text: DOI
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad Tractable refinement checking for concurrent objects. (English) Zbl 1345.68096 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 651-662 (2015). MSC: 68N30 03B70 68W25 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 651--662 (2015; Zbl 1345.68096) Full Text: DOI
Dodds, Mike; Haas, Andreas; Kirsch, Christoph M. A scalable, correct time-stamped stack. (English) Zbl 1345.68116 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 233-246 (2015). MSC: 68P05 68T15 PDFBibTeX XMLCite \textit{M. Dodds} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 233--246 (2015; Zbl 1345.68116) Full Text: DOI
García, Isaac A. Complete integrability, orbital linearizability and independent normalizers for local vector fields in \(\mathbb{R}^{n}\). (English) Zbl 1370.37109 J. Lie Theory 25, No. 1, 37-43 (2015). MSC: 37J15 37J35 70G65 PDFBibTeX XMLCite \textit{I. A. García}, J. Lie Theory 25, No. 1, 37--43 (2015; Zbl 1370.37109) Full Text: Link
Chakraborty, Soham; Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor Aspect-oriented linearizability proofs. (English) Zbl 1391.68023 Log. Methods Comput. Sci. 11, No. 1, Paper No. 20, 33 p. (2015). MSC: 68P05 68Q85 68W10 PDFBibTeX XMLCite \textit{S. Chakraborty} et al., Log. Methods Comput. Sci. 11, No. 1, Paper No. 20, 33 p. (2015; Zbl 1391.68023) Full Text: DOI
Wang, Qinlong; Huang, Wentao Integrability and linearizability for Lotka-Volterra systems with the \(3 : -q\) resonant saddle point. (English) Zbl 1351.34033 Adv. Difference Equ. 2014, Paper No. 23, 15 p. (2014). MSC: 34C05 34C20 34A05 92D25 PDFBibTeX XMLCite \textit{Q. Wang} and \textit{W. Huang}, Adv. Difference Equ. 2014, Paper No. 23, 15 p. (2014; Zbl 1351.34033) Full Text: DOI
Schellhorn, Gerhard; Derrick, John; Wehrheim, Heike A sound and complete proof technique for linearizability of concurrent data structures. (English) Zbl 1354.68066 ACM Trans. Comput. Log. 15, No. 4, Article No. 31, 37 p. (2014). MSC: 68P05 68Q60 68Q85 68T15 PDFBibTeX XMLCite \textit{G. Schellhorn} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 31, 37 p. (2014; Zbl 1354.68066) Full Text: DOI Link
Kogan, Alex; Herlihy, Maurice The future(s) of shared data structures. (English) Zbl 1321.68225 Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 30-39 (2014). MSC: 68P05 68M14 68Q10 68W15 PDFBibTeX XMLCite \textit{A. Kogan} and \textit{M. Herlihy}, in: Proceedings of the 33rd ACM symposium on principles of distributed computing, PODC '14, Paris, France, July 15--18, 2014. New York, NY: Association for Computing Machinery (ACM). 30--39 (2014; Zbl 1321.68225) Full Text: DOI
Sklyar, K. V.; Ignatovich, S. Yu.; Skoryk, V. O. Conditions of linearizability for multi-control systems of the class \(C^1\). (English) Zbl 1317.93073 Commun. Math. Anal. 17, No. 2, 359-365 (2014). MSC: 93B18 93C10 93B25 PDFBibTeX XMLCite \textit{K. V. Sklyar} et al., Commun. Math. Anal. 17, No. 2, 359--365 (2014; Zbl 1317.93073) Full Text: Euclid
Amram, Gal On the signaling problem. (English) Zbl 1482.68276 Chatterjee, Mainak (ed.) et al., Distributed computing and networking. 15th international conference, ICDCN 2014, Coimbatore, India, January 4–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8314, 44-65 (2014). MSC: 68W15 68M14 PDFBibTeX XMLCite \textit{G. Amram}, Lect. Notes Comput. Sci. 8314, 44--65 (2014; Zbl 1482.68276) Full Text: DOI
Aziz, Waleed Integrability and linearizability of three dimensional vector fields. (English) Zbl 1343.34092 Qual. Theory Dyn. Syst. 13, No. 2, 197-213 (2014). Reviewer: Armengol Gasull (Barcelona) MSC: 34C20 37G15 34A05 PDFBibTeX XMLCite \textit{W. Aziz}, Qual. Theory Dyn. Syst. 13, No. 2, 197--213 (2014; Zbl 1343.34092) Full Text: DOI
Kraft, Hanspeter; Russell, Peter Families of group actions, generic isotriviality, and linearization. (English) Zbl 1317.14104 Transform. Groups 19, No. 3, 779-792 (2014). Reviewer: Karol Palka (Warszawa) MSC: 14L30 32M05 14R20 PDFBibTeX XMLCite \textit{H. Kraft} and \textit{P. Russell}, Transform. Groups 19, No. 3, 779--792 (2014; Zbl 1317.14104) Full Text: DOI arXiv Link
Zomer, Oren; Golan-Gueta, Guy; Ramalingam, G.; Sagiv, Mooly Checking linearizability of encapsulated extended operations. (English) Zbl 1405.68066 Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 311-330 (2014). MSC: 68N19 68N15 68P05 68Q60 PDFBibTeX XMLCite \textit{O. Zomer} et al., Lect. Notes Comput. Sci. 8410, 311--330 (2014; Zbl 1405.68066) Full Text: DOI
Turon, Aaron J.; Thamsborg, Jacob; Ahmed, Amal; Birkedal, Lars; Dreyer, Derek Logical relations for fine-grained concurrency. (English) Zbl 1301.68181 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 343-356 (2013). MSC: 68Q60 03B70 68N15 68N30 68P05 68Q85 PDFBibTeX XMLCite \textit{A. J. Turon} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 343--356 (2013; Zbl 1301.68181) Full Text: DOI
Hu, Zhaoping; Aldazharova, Maira; Aldibekov, Tamasha M.; Romanovski, Valery G. Integrability of 3-dim polynomial systems with three invariant planes. (English) Zbl 1284.34003 Nonlinear Dyn. 74, No. 4, 1077-1092 (2013). MSC: 34A05 34C14 34A34 PDFBibTeX XMLCite \textit{Z. Hu} et al., Nonlinear Dyn. 74, No. 4, 1077--1092 (2013; Zbl 1284.34003) Full Text: DOI
Scimiterna, Christian; Levi, Decio Classification of discrete equations linearizable by point transformation on a square lattice. (English) Zbl 1279.39006 Front. Math. China 8, No. 5, 1067-1076 (2013). MSC: 39A14 PDFBibTeX XMLCite \textit{C. Scimiterna} and \textit{D. Levi}, Front. Math. China 8, No. 5, 1067--1076 (2013; Zbl 1279.39006) Full Text: DOI arXiv
Popov, Vladimir L. Some subgroups of the Cremona groups. (English) Zbl 1301.14006 Masuda, Kayo (ed.) et al., Affine algebraic geometry. Proceedings of the conference, Osaka, Japan, March 3–6, 2011. Dedicated to Professor Masayoshi Miyanishi on the occasion of his 70th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4436-69-4/hbk; 978-981-4436-71-7/ebook). 213-242 (2013). MSC: 14E07 PDFBibTeX XMLCite \textit{V. L. Popov}, in: Affine algebraic geometry. Proceedings of the conference, Osaka, Japan, March 3--6, 2011. Dedicated to Professor Masayoshi Miyanishi on the occasion of his 70th birthday. Hackensack, NJ: World Scientific. 213--242 (2013; Zbl 1301.14006) Full Text: DOI arXiv
Gotsman, Alexey; Yang, Hongseok Linearizability with ownership transfer. (English) Zbl 1274.68072 Log. Methods Comput. Sci. 9, No. 3, Paper No. 12, 47 p. (2013). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Gotsman} and \textit{H. Yang}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 12, 47 p. (2013; Zbl 1274.68072) Full Text: DOI
Levi, D.; Scimiterna, C. Linearization through symmetries for discrete equations. (English) Zbl 1276.39003 J. Phys. A, Math. Theor. 46, No. 32, Article ID 325204, 18 p. (2013). MSC: 39A14 39A06 PDFBibTeX XMLCite \textit{D. Levi} and \textit{C. Scimiterna}, J. Phys. A, Math. Theor. 46, No. 32, Article ID 325204, 18 p. (2013; Zbl 1276.39003) Full Text: DOI