Ciancia, V., Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E. (2011) Model-Driven Development of Long Running Transactions.

In Wirsing, M. Hölzl, M. (Eds.), Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (pp 326-348) (Lecture Notes in Computer Science, Vol. 6582). Springer.

Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M. (2018) Spatio-temporal model-checking of vehicular movement in public transport systems.

International Journal on Software Tool for Technology Transfer, Vol. 20 (pp 289–311)

Article | https://doi.org/10.1007/s10009-018-0483-8 | UvA-DARE

Ciancia, V., Venema, Y. (2012) Stream Automata Are Coalgebras.

In Pattinson, D. Schröder, L. (Eds.), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012 : revised selected papers (pp 90-108) (Lecture Notes in Computer Science, Vol. 7399). Springer.

Ciancia, V., Venema, Y. (2019) Ω-Automata: A Coalgebraic Perspective on Regular ω-Languages.

In Roggenbach, M. Sokolova, A. (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3-6, 2019, London, United Kingdom (Leibniz International Proceedings in Informatics, Vol. 139). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Ciancia, V. (2011) Interaction and observation, categorically.

Electronic Proceedings in Theoretical Computer Science, Vol. 59 (pp 25-36)

Article | https://doi.org/10.4204/EPTCS.59.3 | UvA-DARE

Ciardelli, I., Coppock, E., Roelofsen, F. (2018) Implicatures of modified numerals: quality or quantity?.

In Truswell, R. Cummins, C. Heycock, C. Rabern, B. Rohde, H. (Eds.), Proceedings of Sinn und Bedeutung 21: University of Edinburgh : 4-6 September 2016 (pp 283-300). semanticsarchive.net.

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2013) Towards a logic of information exchange: an inquisitive witness semantics.

In Bezhanishvili, G. Löbner, S. Marra, V. Richter, F. (Eds.), Logic, Language and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011 : revised selected papers (pp 51-72) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7758). Springer.

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2013) Inquisitive semantics: a new notion of meaning.

Language and Linguistics Compass, Vol. 7 (pp 459-476)

Article | https://doi.org/10.1111/lnc3.12037 | UvA-DARE

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2014) Information, issues, and attention.

In Gutzmann, D. Köpping, J. Meier, C. (Eds.), Approaches to Meaning: Composition, Values, and Interpretation (pp 128-166) (Current Research in the Semantics/Pragmatics Interface, Vol. 32). Brill.

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2015) On the semantics and logic of declaratives and interrogatives.

Synthese, Vol. 192 (pp 1689-1728)

Article | https://doi.org/10.1007/s11229-013-0352-7 | UvA-DARE

Ciardelli, I., Roelofsen, F., Theiler, N. (2017) Composing alternatives.

Linguistics and Philosophy, Vol. 40 (pp 1-36)

Article | https://doi.org/10.1007/s10988-016-9195-2 | UvA-DARE

Ciardelli, I., Roelofsen, F. (2011) Inquisitive logic.

Journal of Philosophical Logic, Vol. 40 (pp 55-94)

Article | https://doi.org/10.1007/s10992-010-9142-6 | UvA-DARE

Ciardelli, I., Roelofsen, F. (2015) Alternatives in Montague grammar.

In Csipak, E. Zeijlstra, H. (Eds.), Proceedings of Sinn und Bedeutung 19 (pp 161-178). Georg-August-University.

Ciardelli, I., Roelofsen, F. (2017) Hurford's constraint, the semantics of disjunction, and the nature of alternatives.

Natural Language Semantics, Vol. 25 (pp 199-222)

Article | https://doi.org/10.1007/s11050-017-9134-y | UvA-DARE

Ciardelli, I., Roelofsen, F. (2018) An Inquisitive Perspective on Modals and Quantifiers.

Annual Review of Linguistics, Vol. 4 (pp 129-149)

Review article | https://doi.org/10.1146/annurev-linguistics-011817-045626 | UvA-DARE

Ciardelli, I. (2014) Modalities in the realm of questions: axiomatizing inquisitive epistemic logic.

In Goré, R. Kooi, B. Kurucz, A. (Eds.), Advances in Modal Logic: AiML 10 (pp 94-113). College Publications.

Ciardelli, I. (2014) Interrogative dependencies and the constructive content of inquisitive proofs.

In Kohlenbach, U. Barceló, P. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 : proceedings (pp 109-123) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8652). Springer.

Ciardelli, I.A., Cornelisse, I., Groenendijk, J., Roelofsen, F. (2009) Computing compliance.

In He, X. Horty, J. Pacuit, E. (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp 55-65) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.

Ciardelli, I.A., Groenendijk, J., Roelofsen, F. (2009) Attention! 'Might' in inquisitive semantics.

Proceedings from Semantics and Linguistic Theory, Vol. 19 (pp 91-108)

Article | https://doi.org/10.3765/salt.v19i0.2520 | UvA-DARE

Ciardelli, I.A., Roelofsen, F. (2009) Generalized inquisitive logic: Completeness via intuitionistic Kripke models.

In 12th Conference on Theoretical Aspects of Rationality and Knowledge: TARK '09 : California, July 06-08, 2009 (pp 71-80). ACM.