Wojciech Zielonka

According to our database, Wojciech Zielonka authored at least 15 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

GAN-Avatar: Controllable Personalized GAN-based Human Head Avatar.

Berna Kabadayi, Wojciech Zielonka, Bharat Lal Bhatnagar, Gerard Pons-Moll, Justus Thies

CoRR, 2023

Drivable 3D Gaussian Avatars.

Wojciech Zielonka, Timur M. Bagautdinov, Shunsuke Saito, Michael Zollhöfer, Justus Thies, Javier Romero

CoRR, 2023

Instant Volumetric Head Avatars.

Wojciech Zielonka, Timo Bolkart, Justus Thies

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Towards Metrical Reconstruction of Human Faces.

Wojciech Zielonka, Timo Bolkart, Justus Thies

Proceedings of the Computer Vision - ECCV 2022, 2022

2010

On the directional Lambek calculus.

Wojciech Zielonka

Log. J. IGPL, 2010

2009

Weak Implicational Logics Related to the Lambek Calculus - Gentzen versus Hilbert Formalisms.

Wojciech Zielonka

Proceedings of the Towards Mathematical Philosophy, 2009

2007

On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String.

Wojciech Zielonka

J. Log. Comput., 2007

2002

On Reduction Systems Equivalent to The Lambek Calculus with the Empty String.

Wojciech Zielonka

Stud Logica, 2002

2001

Cut-Rule Axiomatization of the Syntactic Calculus L0.

Wojciech Zielonka

J. Log. Lang. Inf., 2001

2000

Cut-Rule Axiomatization of the Syntactic Calculus NL0.

Wojciech Zielonka

J. Log. Lang. Inf., 2000

1992

Interdefinability of Lambekian Functors.

Wojciech Zielonka

Math. Log. Q., 1992

1990

Linear axiomatics of commutative product-free Lambek calculus.

Wojciech Zielonka

Stud Logica, 1990

1989

A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi.

Wojciech Zielonka

Stud Logica, 1989

1988

Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String.

Wojciech Zielonka

Math. Log. Q., 1988

1981

Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.

Wojciech Zielonka

Math. Log. Q., 1981