×

Found 245 Documents (Results 1–100)

Newest Citations Relevance
Bozzelli, Laura; Peron, Adriano; Sánchez, César

Expressiveness and decidability of temporal logics for asynchronous hyperproperties. (English) Zbl 07896560

Klin, Bartek (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 243, Article 27, 16 p. (2022).
MSC:  68Q85
Cite Review PDF
Full Text: DOI arXiv
Baumann, Pascal; Ganardi, Moses; Thinniyam, Ramanathan S.; Zetzsche, Georg

Existential definability over the subword ordering. (English) Zbl 07836574

Berenbrink, Petra (ed.) et al., 39th international symposium on theoretical aspects of computer science, STACS 2022, Marseille, France, virtual conference, March 15–18, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 219, Article 7, 15 p. (2022).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI
Abuin, Alex; Bolotov, Alexander; Hermo, Montserrat; Lucio, Paqui

One-pass context-based tableaux systems for CTL and ECTL. (English) Zbl 1530.03068

Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 14, 20 p. (2020).
MSC:  03B44 68Q60
Cite Review PDF
Full Text: DOI
van Glabbeek, Rob; Goltz, Ursula; Lippert, Christopher; Mennicke, Stephan

Stronger validity criteria for encoding synchrony. (English) Zbl 1535.68173

Alvim, Mário S. (ed.) et al., The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11760, 182-205 (2019).
MSC:  68Q85
Cite Review PDF
Full Text: DOI
Abuin, Alex; Bolotov, Alexander; Díaz, De Cerio Unai; Hermo, Montserrat; Lucio, Paqui

Towards certified model checking for PLTL using one-pass tableaux. (English) Zbl 1515.68171

Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 12, 18 p. (2019).
MSC:  68Q60 03B44
Cite Review PDF
Full Text: DOI
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz

Graded monads and graded logics for the linear time – branching time spectrum. (English) Zbl 07649944

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 36, 16 p. (2019).
MSC:  68Q85
Cite Review PDF
Full Text: DOI arXiv
Varshosaz, Mahsa; Mousavi, Mohammad Reza

Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems. (English) Zbl 1444.68126

Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 490-503 (2019).
MSC:  68Q85
Cite Review PDF
Full Text: DOI Link
Kernberger, Daniel; Lange, Martin

On the expressive power of hybrid branching-time logics. (English) Zbl 1487.68158

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 16, 18 p. (2018).
MSC:  68Q60 03B44
Cite Review PDF
Full Text: DOI
Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco

Reasoning on anonymity in Datalog+/–. (English) Zbl 1428.68138

Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 3, 5 p. (2018).
MSC:  68P15 68N17 68T30
Cite Review PDF
Full Text: DOI
Fu, Yuxi

On the power of name-passing communication. (English) Zbl 1442.68140

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 22, 15 p. (2017).
MSC:  68Q85
Cite Review PDF
Full Text: DOI
Krishna, Shankara Narayanan; Madnani, Khushraj; Pandya, Paritosh K.

Making metric temporal logic rational. (English) Zbl 1441.03018

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 77, 14 p. (2017).
MSC:  03B44 03D05
Cite Review PDF
Full Text: DOI arXiv
Bakhtiari, Zeinab; Hvid, Hansen Helle

Bisimulation for weakly expressive coalgebraic modal logics. (English) Zbl 1433.68231

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 4, 16 p. (2017).
MSC:  68Q85 03B45 03G30 68Q55
Cite Review PDF
Full Text: DOI
Farias, Márcia; Martins, Ana Teresa; Ferreira, Francicleber

The descriptive complexity of decision problems through logics with relational fixed-point and capturing results. (English) Zbl 1401.68105

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 113-130 (2017).
MSC:  68Q19 03B70 68Q15
Cite Review PDF
Full Text: DOI
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro

Interval vs. point temporal logic model checking: an expressiveness comparison. (English) Zbl 1391.68075

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 26, 14 p. (2016).
MSC:  68Q60 03B44
Cite Review PDF
Full Text: DOI arXiv
David, Amélie; Laroussinie, Francois; Markey, Nicolas

On the expressiveness of QCTL. (English) Zbl 1392.68245

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 28, 15 p. (2016).
MSC:  68Q60 03B44 03D05
Cite Review PDF
Full Text: DOI
Praveen, M.; Srivathsan, B.

Nesting depth of operators in graph database queries: expressiveness vs. evaluation complexity. (English) Zbl 1388.68032

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 117, 14 p. (2016).
MSC:  68P15 68P05 68Q25 68R10
Cite Review PDF
Full Text: DOI arXiv
Demangeon, Romain; Yoshida, Nobuko

On the expressiveness of multiparty sessions. (English) Zbl 1366.68012

Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 560-574 (2015).
MSC:  68M14 68M12
Cite Review PDF
Full Text: DOI
Staworko, Sławek; Boneva, Iovka; Gayo, Jose E. Labra; Hym, Samuel; Prud’hommeaux, Eric G.; Solbrig, Harold

Complexity and expressiveness of ShEx for RDF. (English) Zbl 1365.68222

Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 195-211 (2015).
MSC:  68P15 03B70 68Q17
Cite Review PDF
Full Text: DOI
Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido

On the complexity of fragments of the modal logic of Allen’s relations over dense structures. (English) Zbl 1451.03020

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 511-523 (2015).
MSC:  03B44 03D15
Cite Review PDF
Full Text: DOI Link
Galliani, Pietro; Hannula, Miika; Kontinen, Juha

Hierarchies in independence logic. (English) Zbl 1356.03070

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 263-280 (2013).
MSC:  03B60 03B15 03B70
Cite Review PDF
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software