dhr. prof. dr. Y. (Yde) Venema

Lijst

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
POSTBUS 94242
1090 GE Amsterdam
Kamernummer: SP 105/107: F1.22B
Y.Venema@uva.nl
T: 0205255299
T: 0205256051

Publicaties
Nevenwerkzaamheden

refereed(34)
wetenschappelijk(1)
vakpublicatie(1)

2014

J.F. Marti & Y. Venema (2014). Lax Extensions of Coalgebra Functors and Their Logic. Journal of Computer and System Sciences, 81 (5), 880-900. doi: 10.1016/j.jcss.2014.12.006
Y. Venema & J. Vosmaer (2014). Modal Logic and the Vietoris Functor. In B. Bezhanishvili (Ed.), Leo Esakia on duality in modal and intuitionistic logics (Outstanding contributions to logic, 4) (pp. 119-153). Dordrecht: Springer.[go to publisher's site]
Y. Venema (2014). Expressiveness modulo bisimilarity: a coalgebraic perspective. In A. Baltag & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (Outstanding contributions to logic, 5) (pp. 33-65). Cham: Springer.[go to publisher's site]
M. Bílková, A. Palmigiano & Y. Venema (2014). Proof systems for Moss’ coalgebraic logic. Theoretical Computer Science, 549, 36-60. doi: 10.1016/j.tcs.2014.06.018
F.M. Carreiro, A. Facchini, Y. Venema & F. Zanasi (2014). Weak MSO: automata and expressiveness modulo bisimilarity. In Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM.

2013

Y. Venema (2013). Cylindric Modal Logic. In H. Andréka, M. Ferenczi & I. Németi (Eds.), Cylindric-like Algebras and Algebraic Logic (Bolyai Society Mathematical Studies, 22) (pp. 249-269). Springer.
Y. Venema, S. Vickers & J. Vosmaer (2013). Generalised powerlocales via relation lifting. Mathematical Structures in Computer Science, 23 (1), 142-199.
A. Facchini, Y. Venema & F. Zanasi (2013). A characterization theorem for the alternation-free fragment of the modal mu-calculus. In Proceedings of the Annual IEEE/ACM Symposium on Logic in Computer Science (LICS) (pp. 478-487). IEEE.

2012

J. Marti & Y. Venema (2012). Lax Extensions of Coalgebra Functors. In D Pattinson & L Schröder (Eds.), Coalgebraic Methods in Computer Science - 11th International Workshop Vol. 7399. Lecture Notes in Computer Science (pp. 150-169). Springer.
V. Ciancia & Y. Venema (2012). Stream Automata Are Coalgebras. 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 Vol. 7399. Lecture Notes in Computer Science (pp. 90-108). Heidelberg: Springer.
C. Kupke, A. Kurz & Y. Venema (2012). Completeness for the coalgebraic cover modality. Logical Methods in Computer Science, 8 (3).
J.F. Marti & Y. Venema (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 Vol. 7399. Lecture Notes in Computer Science (pp. 150-169). Heidelberg: Springer.

2011

J. Bergfeld & Y. Venema (2011). Model constructions for Moss' coalgebraic logic. In A. Corradini, B. Klin & C. Cîrstea (Eds.), Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011: proceedings Vol. 6859. Lecture Notes in Computer Science (pp. 100-114). Berlin: Springer.
C. Cirstea, A. Kurz, D. Pattinson, L. Schröder & Y. Venema (2011). Modal logics are coalgebraic. Computer Journal, 54 (1), 31-41. doi: 10.1093/comjnl/bxp004
M. Bílková, J. Velebil & Y. Venema (2011). On monotone modalities and adjointness. Mathematical Structures in Computer Science, 21, 383-416. doi: 10.1017/S0960129510000514

2010

L. Santocanale & Y. Venema (2010). Completeness for flat modal fixpoint logics. Annals of Pure and Applied Logic, 162 (1), 55-82. doi: 10.1016/j.apal.2010.07.003[go to publisher's site]
L. Olde Loohuis & Y. Venema (2010). Logics and algebras for multiple players. Review of Symbolic Logic, 3 (3), 485-519. doi: 10.1017/S1755020310000079
N. Bezhanishvili, G. Fontaine & Y. Venema (2010). Vietoris bisimulations. Journal of Logic and Computation, 20 (5), 1017-1040.
L. Schröder & Y. Venema (2010). Flat coalgebraic fixed point logics. In P. Gastin & F. Laroussinie (Eds.), CONCUR 2010 - concurrency theory: 21st international conference, CONCUR 2010, Paris, France, August 31-September 3, 2010: proceedings Vol. 6269. Lecture Notes in Computer Science (pp. 524-538). Springer.
G. Fontaine, R. Leal & Y. Venema (2010). Automata for Coalgebras: an approach using predicate liftings. In S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide & P.G. Spirakis (Eds.), Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010: proceedings. - Pt. 2 Vol. 6199. Lecture Notes in Computer Science (pp. 381-392). Berlin: Springer.
A. Kurz & Y. Venema (2010). Coalgebraic Lindström Theorems. In L. Beklemishev, V. Goranko & V. Shehtman (Eds.), Advances in Modal Logic 2010 (AiML 2010), Moscow, Russia Vol. 8. Advances in Modal Logic (pp. 292-309). London: College Publications.
L. Santocanale & Y. Venema (2010). Uniform interpolation for monotone modal logic. In L. Beklemishev, V. Goranko & V. Shehtman (Eds.), Advances in Modal Logic 2010 (AiML 2010), Moscow, Russia Vol. 8. Advances in Modal Logic (pp. 350-370). London: College Publications.

2009

C. Kissig & Y. Venema (2009). Complementation of coalgebra automata. In A. Kurz, M. Lenisa & A. Tarlecki (Eds.), Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009: Proceedings Vol. 5728. Lecture Notes in Computer Science (pp. 81-96). Berlin: Springer.

2008

C. Kupke & Y. Venema (2008). Coalgebraic automata theory: Basic results. Logical Methods in Computer Science, 4 (4), 10.[go to publisher's site]
T. Tulenheimo & Y. Venema (2008). Propositional logics for three. In C. Dégrémont, L. Keiff & H. Rückert (Eds.), Dialogues, logics and other strange things: Essays in honour of Shahid Rahman (Tributes, 7) (pp. 399-430). London: College Publications.[go to publisher's site]
C. Kupke, A. Kurz & Y. Venema (2008). Completeness of the finitary Moss logic. In C. Areces & R. Goldblatt (Eds.), Advances in Modal Logic 2008 (AiML-2008), Nancy, France Vol. 7. Advances in Modal Logic (pp. 193-217). London: College Publications.[go to publisher's site]
M. Bílková, A. Palmigiano & Y. Venema (2008). Proof systems for the coalgebraic cover modality. In C. Areces & R. Goldblatt (Eds.), Advances in Modal Logic 2008 (AiML-2008), Nancy, France Vol. 7. Advances in Modal Logic (pp. 1-21). London: College Publications.[go to publisher's site]

2007

L. Santocanale & Y. Venema (2007). Completeness for flat modal fixpoint logics. In N. Dershowitz & A. Voronkov (Eds.), Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007) Vol. 4790. Lecture Notes in Computer Science (pp. 499-513). Springer-Verlag.
A. Palmigiano & Y. Venema (2007). Nabla algebras and Chu spaces. In Proceedings of the Conference on Algebra and Coalgebra in Computer Science Vol. 4624. Lecture Notes in Computer Science (pp. 394-408). Heidelberg: Springer.
M.J. Marx & Y. Venema (2007). Local variations on a loose theme: modal logic and decidability. In E. Grädel, P. Kolaitis, L. Libkin, M.J. Marx, J. Spencer, M. Vardi, Y. Venema & S. Weinstein (Eds.), Finite Model Theory and its Applications (pp. 371-430). Springer--Verlag.

2006

Y. Venema (2006). Automata and Fixed Point Logics: a Coalgebraic Perspective. Information and Computation, 204, 637-678.
B.D. ten Cate, W. Conradie, M.J. Marx & Y. Venema (2006). Definitorially Complete Description Logics. In P. Doherty, J. Mylopoulos & C. Welty (Eds.), Proceedings of KR 2006 (pp. 79-89). AAAI Press.
M. Gehrke, J. Harding & Y. Venema (2006). MacNeille completions and canonical extensions. Transactions of the Americal Mathematical Society, 358, 573-590.
Y. Venema (2006). Algebras and Coalgebras. In J.F.A.K. van Benthem, P. Blackburn & F. Wolter (Eds.), Handbook of Modal Logic (pp. 331-426). Amsterdam: Elsevier.

2014

F. Carreiro & Y. Venema (2014). PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization. In R. Goré, B. Kooi & A. Kurucz (Eds.), Advances in Modal Logic 2014 (AiML 2014), Groningen, the Netherlands Vol. 10. Advances in Modal Logic (pp. 74-93). [London]: College Publications.

2012

Y. Venema (2012). Algebra en coalgebra: bespiegelingen in de logica. . Rede uitgesproken bij de aanvaarding van het ambt van hoogleraar in de logica, in het bijzonder de wiskundige logica en de grondslagen van de informatica (2011, October 28). Amsterdam: [Vossiuspers UvA].[go to publisher's site]

This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.

Geen nevenwerkzaamheden

bewerk