cs-conference-ranking.org Search 971 venues

Gernot Stenz

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

6

Active years

1999–2009

Best venue rank

B

Where they publish

Papers

12 indexed papers, newest first.

Year	Venue	Title	Authors
2009	GI	Passive User Integration in Social Networking Services.	Stephan Leutenmayr, Gernot Stenz
2005	TABLEAUX	Proof Output and Transformation for Disconnection Tableaux.	Philipp Correll, Gernot Stenz
2005	TABLEAUX	Unit Propagation in a Tableau Framework.	Gernot Stenz
2004	CADE	Generalised Handling of Variables in Disconnection Tableaux.	Reinhold Letz, Gernot Stenz
2003	TABLEAUX	Universal Variables in Disconnection Tableaux.	Reinhold Letz, Gernot Stenz
2002	TABLEAUX	Integration of Equality Reasoning into the Disconnection Calculus.	Reinhold Letz, Gernot Stenz
2002	TABLEAUX	DCTP 1.2 - System Abstract.	Gernot Stenz
2001	CADE	DCTP - A Disconnection Calculus Theorem Prover - System Abstract.	Reinhold Letz, Gernot Stenz
2001	LPAR	Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.	Reinhold Letz, Gernot Stenz
2000	AI	Scheduling Methods for Parallel Automated Theorem Proving.	Gernot Stenz, Andreas Wolf
2000	TABLEAUX	E-SETHEO: An Automated	Gernot Stenz, Andreas Wolf
1999	FlAIRS	Strategy Selection by Genetic Programming.	Gernot Stenz, Andreas Wolf