J.F. (Johannes) Marti
Faculty of Science
ILLC
Visiting address
- Science Park 107
Postal address
- Postbus 94242
1090 GE Amsterdam
Contact details
-
Publications
2019
- Enqvist, S., Hansen, H. H., Kupke, C., Marti, J., & Venema, Y. (2019). Completeness for game logic. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019): Vancouver, British Columbia, Canada, 24-27 June 2019 (pp. 307-319). Piscataway, NJ: IEEE. https://doi.org/10.1109/LICS.2019.8785676 [details]
2018
- Hansen, H. H., Kupke, C., Marti, J., & Venema, Y. (2018). Parity Games and Automata for Game Logic. In A. Madeira, & M. Benevides (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp. 115-132). (Lecture Notes in Computer Science; Vol. 10669). Cham: Springer. https://doi.org/10.1007/978-3-319-73579-5_8 [details]
2015
- Marti, J., & Venema, Y. (2015). Lax Extensions of Coalgebra Functors and Their Logic. Journal of Computer and System Sciences, 81(5), 880-900. https://doi.org/10.1016/j.jcss.2014.12.006 [details]
Marti, J., Seifan, F., & Venema, Y. (2015). Uniform Interpolation for Coalgebraic Fixpoint Logic. In L. S. Moss, & P. Sobociński (Eds.), 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands (pp. 238-252). (Leibniz International Proceedings in Informatics; Vol. 35). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CALCO.2015.238 [details]
2014
- Marti, J., & Pinosio, R. (2014). Similarity Orders from Causal Equations. In E. Fermé, & J. Leite (Eds.), Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings (pp. 500-513). (Lecture Notes in Computer Science; Vol. 8761), (Lecture Notes in Artificial Intelligence). Cham: Springer. https://doi.org/10.1007/978-3-319-11558-0_35 [details]
- Marti, J., & Pinosio, R. (2014). Topological Semantics for Conditionals. In M. Dančák, & V. Punčochář (Eds.), The Logica Yearbook 2013 (pp. 115-128). College Publications. [details]
2013
- Marti, J. (2013). Semantic Facts on Kripke Frames. In V. Punčochář, & P. Švarný (Eds.), The Logica Yearbook 2012 (pp. 101-112). College Publications. https://www.researchgate.net/publication/266990798_Semantic_facts_on_Kripke_frames [details]
2012
- Marti, J., & Venema, Y. (2012). Lax Extensions of Coalgebra Functors. In D. Pattinson, & L. Schröder (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. 150-169). (Lecture Notes in Computer Science; Vol. 7399). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32784-1_9 [details]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list. -
Ancillary activities
No known ancillary activities
Marti, J., Seifan, F., & Venema, Y. (2015). Uniform Interpolation for Coalgebraic Fixpoint Logic. In L. S. Moss, & P. Sobociński (Eds.), 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands (pp. 238-252). (Leibniz International Proceedings in Informatics; Vol. 35). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.