Matthias Fuchs

2008
29	EE	Markus Zanker, Matthias Fuchs, Wolfram Höpken, Mario Tuta, Nina Müller: Evaluating Recommender Systems in Tourism - A Case Study from Austria. ENTER 2008: 24-34
28	EE	Matthias Fuchs, Mario Tuta, Wolfram Höpken: Adoption of E-mail Marketing in the Hotel Sector. ENTER 2008: 279-290
27	EE	Matthias Fuchs, Wolfram Höpken, Alexander Eybl, Jürgen Ulrich: Selling Accommodation Packages in Online Auctions - The Case of eBay. ENTER 2008: 291-302
26	EE	Wolfram Höpken, Markus Scheuringer, Dirk Linke, Matthias Fuchs: Context-based Adaptation of Ubiquitous Web Applications in Tourism. ENTER 2008: 533-544
25	EE	Martin Görner, Thomas Wimböck, A. Baumann, Matthias Fuchs, Thomas Bahls, Markus Grebenstein, Christoph Borst, Jörg Butterfaß, Gerd Hirzinger: The DLR-Crawler: A testbed for actively compliant hexapod walking based on the fingers of DLR-Hand II. IROS 2008: 1525-1531
24	EE	Robert Feichtinger, Matthias Fuchs, Bert Jüttler, Otmar Scherzer, Huaiping Yang: Dual evolution of planar parametric spline curves and T-spline level sets. Computer-Aided Design 40(1): 13-24 (2008)
23	EE	Matthias Fuchs, Otmar Scherzer: Regularized Reconstruction of Shapes with Statistical a priori Knowledge. International Journal of Computer Vision 79(2): 119-135 (2008)
2007
22	EE	Thomas Beer, Matthias Fuchs, Wolfram Höpken, Jörg Rasinger, Hannes Werthner: CAIPS: A Context-Aware Information Push Service in Tourism. ENTER 2007: 129-140
21	EE	Matthias Fuchs, Wolfram Höpken, Peter Mirski, Andreas Lembacher, Bernd Ainedter: eTourism Curriculum Development: A Destination Management Organisation Perspective. ENTER 2007: 523-534
20	EE	Alexander Wilhelm, William W. Melek, Jan Paul Huissoon, Christopher Michael Clark, Gerd Hirzinger, Norbert Sporer, Matthias Fuchs: Dynamics of step-climbing with deformable wheels and applications for mobile Robotics. IROS 2007: 783-788
19	EE	Thomas Beer, Jörg Rasinger, Wolfram Höpken, Matthias Fuchs, Hannes Werthner: Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages. RuleML 2007: 199-206
2006
18	EE	Huaiping Yang, Matthias Fuchs, Bert Jüttler, Otmar Scherzer: Evolution of T-Spline Level Sets with Distance Field Constraints for Geometry Reconstruction and Image Segmentation. SMI 2006: 37
2005
17	EE	Markus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs: A Non-convex PDE Scale Space. Scale-Space 2005: 303-315
2002
16		Matthias Fuchs, Geoff Sutcliffe: Homogeneous Sets of ATP Problems. FLAIRS Conference 2002: 57-61
2000
15		Matthias Fuchs: Proofs as Schemas and Their Heuristic Use. J. Symb. Comput. 30(1): 37-61 (2000)
1999
14		Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032
13		Matthias Fuchs: Large Populations Are Not Always The Best Choice In Genetic Programming. GECCO 1999: 1033-1038
1998
12		Matthias Fuchs: A Feature-Based Learning Method for Theorem Proving. AAAI/IAAI 1998: 457-462
11		Marc Fuchs, Matthias Fuchs: Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. AI Commun. 11(3-4): 175-189 (1998)
1997
10		Dirk Fuchs, Matthias Fuchs: CODE: A Powerful Prover for Problems of Condensed Detachment. CADE 1997: 260-263
9		Matthias Fuchs: Evolving Combinators. CADE 1997: 416-430
8		Matthias Fuchs: Flexible Re-enactment of Proofs. EPIA 1997: 13-24
7		Marc Fuchs, Matthias Fuchs: Applying Case-Based Reasoning to Automated Deduction. ICCBR 1997: 23-32
6		Jörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107
1996
5		Matthias Fuchs: Experiments in the Heuristic Use of Past Proof Experience. CADE 1996: 523-537
4		Matthias Fuchs, Andreas Abecker: Optimized Nearest-Neighbor Classifiers Using Generated Instances. KI 1996: 71-83
1995
3		Matthias Fuchs: Learning Proof Heuristics by Adaptive Parameters. ICML 1995: 235-243
2		Jürgen Avenhaus, Jörg Denzinger, Matthias Fuchs: DISCOUNT: A SYstem for Distributed Equational Deduction. RTA 1995: 397-402
1994
1		Jörg Denzinger, Matthias Fuchs: Goal Oriented Equational Theorem Proving Using Team Work. KI 1994: 343-354

Coauthor Index

1	Andreas Abecker	[4]
2	Bernd Ainedter	[21]
3	Jürgen Avenhaus	[2]
4	Thomas Bahls	[25]
5	A. Baumann	[25]
6	Thomas Beer	[19] [22]
7	Christoph Borst	[25]
8	Jörg Butterfaß	[25]
9	Christopher Michael Clark	[20]
10	Jörg Denzinger	[1] [2] [6]
11	Alexander Eybl	[27]
12	Robert Feichtinger	[24]
13	Dirk Fuchs	[10] [14]
14	Marc Fuchs	[6] [7] [11] [14]
15	Martin Görner	[25]
16	Markus Grasmair	[17]
17	Markus Grebenstein	[25]
18	Gerd Hirzinger	[20] [25]
19	Wolfram Höpken	[19] [21] [22] [26] [27] [28] [29]
20	Jan Paul Huissoon	[20]
21	Bert Jüttler	[18] [24]
22	Andreas Lembacher	[21]
23	Frank Lenzen	[17]
24	Dirk Linke	[26]
25	William W. Melek	[20]
26	Peter Mirski	[21]
27	Nina Müller	[29]
28	Andreas Obereder	[17]
29	Jörg Rasinger	[19] [22]
30	Otmar Scherzer	[17] [18] [23] [24]
31	Markus Scheuringer	[26]
32	Norbert Sporer	[20]
33	Geoff Sutcliffe	[16]
34	Mario Tuta	[28] [29]
35	Jürgen Ulrich	[27]
36	Hannes Werthner	[19] [22]
37	Alexander Wilhelm	[20]
38	Thomas Wimböck	[25]
39	Huaiping Yang	[18] [24]
40	Markus Zanker	[29]

Colors in the list of coauthors