Christandl, M., Vrana, P., Zuiddam, J. (2019) Asymptotic tensor rank of graph tensors: beyond matrix multiplication.

Computational Complexity, Vol. 28 (pp 57-111)

Article | https://doi.org/10.1007/s00037-018-0172-8 | UvA-DARE

Christandl, M., Vrana, P., Zuiddam, J. (2019) Barriers for fast matrix multiplication from irreversibility.

In Shpilka, A. (Eds.), 34th Computational Complexity Conference: CCC 2019, July 18–20, 2019, New Brunswick, NJ, USA (Leibniz International Proceedings in Informatics, Vol. 137). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Christandl, M., Zuiddam, J. (2019) Tensor surgery and tensor rank.

Computational Complexity, Vol. 28 (pp 27-56)

Article | https://doi.org/10.1007/s00037-018-0164-8 | UvA-DARE

Christensen, J.P.R., Kanovei, V.G., Terwijn, S.A., Zambella, D. (1997) On the complexity of finitely additive measures.

Technical Report. Kobenhavns Universitet.

Report | UvA-DARE

Christensen, P.R., Kanovei, V.G., Terwijn, S.A., Zambella, D. (1996) On the complexity of finitely additive measures.

Research report. University of Copenhagen.

Report | UvA-DARE

Christoff, Z.L., Hansen, J.U., Proietti, C. (2016) Reflecting on Social Influence in Networks.

Journal of Logic, Language and Information, Vol. 25 (pp 299-333)

Article | https://doi.org/10.1007/s10849-016-9242-y | UvA-DARE

Christoff, Z.L., Hansen, J.U. (2013) A Two-tiered Formalization of Social Influence.

In Grossi, D. Roy, O. Huang, H. (Eds.), Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings (pp 68-81) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8196). Springer.

Christoff, Z.L., Hansen, J.U. (2015) A Logic for Diffusion in Social Networks.

Journal of Applied Logic, Vol. 13 (pp 48-77)

Article | https://doi.org/10.1016/j.jal.2014.11.011 | UvA-DARE

Christoff, Z.L., Rendsvig, R.K. (2015) Dynamic Logics for Threshold Models and their Epistemic Extension.

Paper | https://www.academia.edu/6864788/Dynamic_Logics_for_Threshold_Models_and_their_Epistemic_Extension_-_ELISIEM_2014 | UvA-DARE

Christoff, Z.L. (2013) A Logic for Social Influence through Communication.

In Lorini, E. (Eds.), Proceedings of the Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013): Toulouse, France, December 12-13, 2013 (pp 31-39) (CEUR Workshop Proceedings, Vol. 1113). CEUR-WS.

Christoff, Z.L. (2016) Dynamic logics of networks: Information flow and the spread of opinion.

Thesis, fully internal | UvA-DARE

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.A., 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.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., 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.