Petrov, Tatjana; Igler, Claudia; Sezgin, Ali; Henzinger, Thomas A.; Guet, Calin C. Long lived transients in gene regulation. (English) Zbl 1518.92068 Theor. Comput. Sci. 893, 1-16 (2021). MSC: 92C40 PDFBibTeX XMLCite \textit{T. Petrov} et al., Theor. Comput. Sci. 893, 1--16 (2021; Zbl 1518.92068) Full Text: DOI
Guet, Calin; Henzinger, Thomas A.; Igler, Claudia; Petrov, Tatjana; Sezgin, Ali Transient memory in gene regulation. (English) Zbl 1422.92044 Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 155-187 (2019). MSC: 92C40 PDFBibTeX XMLCite \textit{C. Guet} et al., Lect. Notes Comput. Sci. 11773, 155--187 (2019; Zbl 1422.92044) Full Text: DOI
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
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
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana Quantitative relaxation of concurrent data structures. (English) Zbl 1301.68176 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). 317-328 (2013). MSC: 68Q55 68N15 68N30 68P05 PDFBibTeX XMLCite \textit{T. A. Henzinger} 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). 317--328 (2013; Zbl 1301.68176) Full Text: DOI Link
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor Aspect-oriented linearizability proofs. (English) Zbl 1390.68213 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 242-256 (2013). MSC: 68P05 68Q85 68W10 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 8052, 242--256 (2013; Zbl 1390.68213) Full Text: DOI arXiv