Bérard, Béatrice; Bollig, Benedikt; Bouyer, Patricia; Függer, Matthias; Sznajder, Nathalie Synthesis in presence of dynamic links. (English) Zbl 07629163 Inf. Comput. 289, Part B, Article ID 104856, 28 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Bérard} et al., Inf. Comput. 289, Part B, Article ID 104856, 28 p. (2022; Zbl 07629163) Full Text: DOI
Gao, Yingchao; Németh, Sándor Zoltán; Sznajder, Roman The monotone extended second-order cone and mixed complementarity problems. (English) Zbl 1492.90182 J. Optim. Theory Appl. 193, No. 1-3, 381-407 (2022). MSC: 90C33 26B35 49K45 PDFBibTeX XMLCite \textit{Y. Gao} et al., J. Optim. Theory Appl. 193, No. 1--3, 381--407 (2022; Zbl 1492.90182) Full Text: DOI arXiv
Bérard, Béatrice; Bollig, Benedikt; Bouyer, Patricia; Függer, Matthias; Sznajder, Nathalie Synthesis in presence of dynamic links. (English) Zbl 07455739 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 33-49 (2020). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{B. Bérard} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 33--49 (2020; Zbl 07455739) Full Text: arXiv Link
Sangnier, Arnaud; Sznajder, Nathalie; Potop-Butucaru, Maria; Tixeuil, Sébastien Parameterized verification of algorithms for oblivious robots on a ring. (English) Zbl 1506.68058 Form. Methods Syst. Des. 56, No. 1-3, 55-89 (2020). MSC: 68Q60 68T40 PDFBibTeX XMLCite \textit{A. Sangnier} et al., Form. Methods Syst. Des. 56, No. 1--3, 55--89 (2020; Zbl 1506.68058) Full Text: DOI arXiv
Bérard, Béatrice; Bollig, Benedikt; Lehaut, Mathieu; Sznajder, Nathalie Parameterized synthesis for fragments of first-order logic over data words. (English) Zbl 07250934 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 97-118 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{B. Bérard} et al., Lect. Notes Comput. Sci. 12077, 97--118 (2020; Zbl 07250934) Full Text: DOI arXiv
Bollig, Benedikt; Lehaut, Mathieu; Sznajder, Nathalie Round-bounded control of parameterized systems. (English) Zbl 1517.68257 Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 370-386 (2018). MSC: 68Q85 68Q60 91A80 PDFBibTeX XMLCite \textit{B. Bollig} et al., Lect. Notes Comput. Sci. 11138, 370--386 (2018; Zbl 1517.68257) Full Text: DOI
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin; Sznajder, Nathalie Real-time synthesis is hard! (English) Zbl 1433.68210 Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 105-120 (2016). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{T. Brihaye} et al., Lect. Notes Comput. Sci. 9884, 105--120 (2016; Zbl 1433.68210) Full Text: DOI arXiv
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie Probabilistic opacity for Markov decision processes. (English) Zbl 1366.68213 Inf. Process. Lett. 115, No. 1, 52-59 (2015). MSC: 68Q87 68Q45 90C40 PDFBibTeX XMLCite \textit{B. Bérard} et al., Inf. Process. Lett. 115, No. 1, 52--59 (2015; Zbl 1366.68213) Full Text: DOI arXiv
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie On regions and zones for event-clock automata. (English) Zbl 1314.68176 Form. Methods Syst. Des. 45, No. 3, 330-380 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Geeraerts} et al., Form. Methods Syst. Des. 45, No. 3, 330--380 (2014; Zbl 1314.68176) Full Text: DOI Link
Gastin, Paul; Sznajder, Nathalie Fair synthesis for asynchronous distributed systems. (English) Zbl 1353.68202 ACM Trans. Comput. Log. 14, No. 2, Article No. 9, 31 p. (2013). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Gastin} and \textit{N. Sznajder}, ACM Trans. Comput. Log. 14, No. 2, Article No. 9, 31 p. (2013; Zbl 1353.68202) Full Text: DOI
Gastin, Paul; Sznajder, Nathalie Decidability of well-connectedness for distributed synthesis. (English) Zbl 1259.68091 Inf. Process. Lett. 112, No. 24, 963-968 (2012). MSC: 68Q25 68Q15 68M14 PDFBibTeX XMLCite \textit{P. Gastin} and \textit{N. Sznajder}, Inf. Process. Lett. 112, No. 24, 963--968 (2012; Zbl 1259.68091) Full Text: DOI
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie Concurrent games on VASS with inhibition. (English) Zbl 1364.68275 Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 39-52 (2012). MSC: 68Q85 91A80 PDFBibTeX XMLCite \textit{B. Bérard} et al., Lect. Notes Comput. Sci. 7454, 39--52 (2012; Zbl 1364.68275) Full Text: DOI
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie Event clock automata: from theory to practice. (English) Zbl 1348.68102 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 209-224 (2011). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Geeraerts} et al., Lect. Notes Comput. Sci. 6919, 209--224 (2011; Zbl 1348.68102) Full Text: DOI arXiv
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie Safraless procedures for timed specifications. (English) Zbl 1290.68070 Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 2-22 (2010). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{B. Di Giampaolo} et al., Lect. Notes Comput. Sci. 6246, 2--22 (2010; Zbl 1290.68070) Full Text: DOI
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc Distributed synthesis for well-connected architectures. (English) Zbl 1180.68056 Form. Methods Syst. Des. 34, No. 3, 215-237 (2009). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{P. Gastin} et al., Form. Methods Syst. Des. 34, No. 3, 215--237 (2009; Zbl 1180.68056) Full Text: DOI
Chatain, Thomas; Gastin, Paul; Sznajder, Nathalie Natural specifications yield decidability for distributed synthesis of asynchronous systems. (English) Zbl 1206.68210 Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 141-152 (2009). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{T. Chatain} et al., Lect. Notes Comput. Sci. 5404, 141--152 (2009; Zbl 1206.68210) Full Text: DOI
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc Distributed synthesis for well-connected architectures. (English) Zbl 1177.68146 Arun-Kumar, S. (ed.) et al., FSTTCS 2006: Foundations of software technology and theoretical computer science. 26th international conference, Kolkata, India, December 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-49994-7/pbk). Lecture Notes in Computer Science 4337, 321-332 (2006). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Gastin} et al., Lect. Notes Comput. Sci. 4337, 321--332 (2006; Zbl 1177.68146) Full Text: DOI HAL
Karwowski, W.; Sznajder, N. Some remarks on the theory of several scalar fields in algebraic approach. (English) Zbl 0222.46040 Rep. Math. Phys. 1, 259-264 (1971). MSC: 46L60 46N50 81T05 PDFBibTeX XMLCite \textit{W. Karwowski} and \textit{N. Sznajder}, Rep. Math. Phys. 1, 259--264 (1971; Zbl 0222.46040)
Karwowski, W.; Sznajder, N. Asymptotic condition in quantum theory of a field with a parameter. (English) Zbl 0201.58106 Acta Phys. Pol. 35, 813-828 (1969). PDFBibTeX XMLCite \textit{W. Karwowski} and \textit{N. Sznajder}, Acta Phys. Polon. 35, 813--828 (1969; Zbl 0201.58106)
Karwowski, W.; Sznajder, N. Asymptotic condition in the Zachariasen-Thirring model. (English) Zbl 0167.55803 Acta Phys. Pol. 34, 1057-1062 (1968). PDFBibTeX XMLCite \textit{W. Karwowski} and \textit{N. Sznajder}, Acta Phys. Polon. 34, 1057--1062 (1968; Zbl 0167.55803)
Garczyński, W.; Karwowski, W.; Sznajder, N. Some useful relations connected with the asymptotic condition in quantum field theory. (English) Zbl 0174.55604 Acta Phys. Pol. 31, 511-525 (1967). Reviewer: Gert Roepstorff (Aachen) MSC: 81-XX PDFBibTeX XMLCite \textit{W. Garczyński} et al., Acta Phys. Polon. 31, 511--525 (1967; Zbl 0174.55604)