Damian Niwinski

Available identifiers

zbMath Open niwinski.damianWikidataQ102414111 ScholiaQ102414111MaRDI QIDQ607441

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6113369	2023-08-08	Paper
200 Problems on Languages, Automata, and Computation	2023-01-30	Paper
Automata on infinite trees with counting constraints	2022-11-02	Paper
Daniel Simson Obituary	2022-10-31	Paper
Contribution of Warsaw logicians to computational logic	2019-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q2958505	2017-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4982350	2015-04-09	Paper
On the separation question for tree languages	2015-02-05	Paper
Preface	2013-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4649531	2012-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q2904779	2012-08-23	Paper
On Topological Completeness of Regular Tree Languages	2012-07-16	Paper
On the Borel Inseparability of Game Tree Languages	2012-04-24	Paper
Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal	2012-01-18	Paper
https://portal.mardi4nfdi.de/entity/Q3086917	2011-03-30	Paper
Preface	2011-01-03	Paper
Choice functions and well-orderings over the infinite binary tree	2010-11-22	Paper
The Ackermann Award 2010	2010-09-03	Paper
On the Borel Complexity of MSO Definable Sets of Branches	2010-05-25	Paper
The Ackermann Award 2007	2009-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q5445157	2008-03-03	Paper
On the positional determinacy of edge-labeled games	2006-03-24	Paper
Automata, Languages and Programming	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4738227	2004-08-11	Paper
A gap property of deterministic tree languages.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4411813	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2778825	2002-03-21	Paper
Rudiments of \(\mu\)-calculus	2001-03-18	Paper
On Distributive Fixed-Point Expressions	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4936126	2000-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4266546	1999-10-03	Paper
Fixed point characterization of infinite behavior of finite-state systems	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4381391	1998-04-01	Paper
y= 2xVS.y= 3x	1997-09-28	Paper
Games for the \(\mu\)-calculus	1997-02-27	Paper
On the feasibility of checking temporal integrity constraints	1996-06-10	Paper
Automata on infinite trees with counting constraints	1996-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4273664	1994-08-28	Paper
THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON	1993-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4035259	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3989948	1992-06-28	Paper
A geometrical view of the determinization and minimization of finite-state automata	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5753528	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3033318	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3730012	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723706	1985-01-01	Paper
Fixed-point characterization of context-free ∞-languages	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326821	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3949985	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Damian Niwinski