Alexander Kaiser

	2012
16		Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl: satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS 2012: 552-555
	2011
15		Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371
14		Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) CoRR abs/1102.2330: (2011)
	2010
13		Alexander Kaiser, Daniel Kroening, Thomas Wahl: Dynamic Cutoff Detection in Parameterized Concurrent Programs. CAV 2010: 645-659
12		Wolfram Schenck, Ralph Welsch, Alexander Kaiser, Ralf Möller: Adaptive learning rate control for "neural gas principal component analysis". ESANN 2010
11		Alexander Kaiser, Wolfram Schenck, Ralf Möller: Distance functions for local PCA methods. ESANN 2010
10		Alexander Kaiser, Wolfram Schenck, Ralf Möller: Coupled Singular Value Decomposition of a Cross-Covariance Matrix. Int. J. Neural Syst. 20(4): 293-318 (2010)
9		Alexander Kaiser, Birgit Fordinal: Creating a ba for generating self-transcending knowledge. J. Knowledge Management 14(6): 928-942 (2010)
	2008
8		Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges: Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE 2008: 188-197
	2007
7		Alexander Kaiser, Jan Krüger, Dirk Evers: RNA Movies 2: sequential animation of RNA secondary structures. Nucleic Acids Research 35(Web-Server-Issue): 330-334 (2007)
	2005
6		Peter Benkart, Alexander Kaiser, Andreas Munding, Markus Bschorr, Hans-Jörg Pfleiderer, Erhard Kohn, Arne Heittmann, Holger Huebner, Ulrich Ramacher: 3D Chip Stack Technology Using Through-Chip Interconnects. IEEE Design & Test of Computers 22(6): 512-518 (2005)
	2002
5		Alexander Kaiser, Rinaldo Walter Wurglitsch: Modellierung temporaler Aspekte betrieblicher Informationssysteme mit UML. MobIS 2002: 69-92
	2000
4		Alexander Kaiser: Die Modellierung zeitbezogener Daten. Datenbank Rundbrief 25: 32 (2000)
	1999
3		Alexander Kaiser: Eine temporale Erweiterung des Entity Relationship Modells. Rundbrief der GI-Fachgruppe 5.10 Informationssystem-Architekturen 1999(2): (1999)
	1998
2		Alexander Kaiser: Neuere Entwicklungen auf dem Gebiet temporaler Datenbanken - eine kritische Analyse. ISI 1998: 329-343
	1995
1		Wolfgang Janko, Alexander Kaiser: Eine praktische Untersuchung zur Eignung optischer Erfassung wissenschaftlicher Literatur. Wirtschaftsinformatik 37(6): 539-547 (1995)

Coauthor Index

1	Gérard Basler	[16]
2	Peter Benkart	[6]
3	Markus Bschorr	[6]
4	Alastair F. Donaldson	[14] [15] [16]
5	Dirk Evers	[7]
6	Birgit Fordinal	[9]
7	Thomas Gorges	[8]
8	Arne Heittmann	[6]
9	Holger Huebner	[6]
10	Wolfgang Janko	[1]
11	Erhard Kohn	[6]
12	Daniel Kroening (Daniel Kröning)	[13] [14] [15] [16]
13	Jan Krüger	[7]
14	Ralf Möller	[10] [11] [12]
15	Andreas Munding	[6]
16	Hans-Jörg Pfleiderer	[6]
17	Hendrik Post	[8]
18	Ulrich Ramacher	[6]
19	Wolfram Schenck	[10] [11] [12]
20	Carsten Sinz	[8]
21	Michael Tautschnig	[16]
22	Thomas Wahl	[13] [14] [15] [16]
23	Ralph Welsch	[12]
24	Rinaldo Walter Wurglitsch	[5]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page