Get started
Author

Wojciech Zielonka

Instant Volumetric Head Avatars
2023 · Wojciech Zielonka, Timo Bolkart, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 206
PDF
Drivable 3D Gaussian Avatars
2025 · Wojciech Zielonka, Timur Bagautdinov, et al. · International Conference on 3D Vision (3DV) · 133
PDF
Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
1981 · Wojciech Zielonka · Mathematical logic quarterly · 46
Gaussian Eigen Models for Human Heads
2025 · Wojciech Zielonka, Timo Bolkart, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 17
PDF
GAN-Avatar: Controllable Personalized GAN-based Human Head Avatar
2024 · Berna Kabadayi, Wojciech Zielonka, et al. · International Conference on 3D Vision (3DV) · 16
PDF
Synthetic Prior for Few-Shot Drivable Head Avatar Inversion
2025 · Wojciech Zielonka, Stephan J. Garbin, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 11
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
1989 · Wojciech Zielonka · Studia Logica · 11
Cut‐Rule Axiomatization of Product‐Free Lambek Calculus With the Empty String
1988 · Wojciech Zielonka · Mathematical logic quarterly · 8
A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars
1978 · Wojciech Zielonka · Studia Logica · 7
On Reduction Systems Equivalent to The Lambek Calculus with the Empty String
2002 · Wojciech Zielonka · Studia Logica · 4
Cut-Rule Axiomatization of the Syntactic Calculus L0
2001 · Wojciech Zielonka · Journal of Logic Language and Information · 4
Cut-Rule Axiomatization of the Syntactic Calculus NL0
2000 · Wojciech Zielonka · Journal of Logic Language and Information · 4
Linear axiomatics of commutative product-free Lambek calculus
1990 · Wojciech Zielonka · Studia Logica · 4
On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
2006 · W. Zielonka · Journal of Logic and Computation · 2
More About The Axiomatics Of The Lambek Calculus
1997 · Wojciech Zielonka · BRILL eBooks · 2
Interdefinability of Lambekian Functors
1992 · Wojciech Zielonka, W. Zielonka · Mathematical logic quarterly · 2
PhysHead: Simulation-Ready Gaussian Head Avatars
2026 · Kabadayi, Berna, Sklyarova, Vanessa, et al. · arXiv (Cornell University) · 1
PDF
On the directional Lambek calculus
2009 · W. Zielonka · Logic Journal of IGPL · 1
Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
2008 · Wojciech Zielonka · Springer eBooks · 1
Preliminaries to the Lambek Calculus
1991 · Wojciech Zielonka · 1
Two weak Lambek style calculi: DNL and DNL−∗
2013 · Wojciech Zielonka · Logic and Logical Philosophy
PDF
Reviews
1975 · Wojciech P. Zielonka, Jerzy Kopania · Studia Logica
B. A. KUŠNER, Lectures on constructive mathematical analysis
1975 · Wojciech Zielonka · Studia Logica
Works count: 25
Citation count: 488
H-index: 8
I10-index: 7
Year
Topic
Type