Heinz Kredel

49 papers B 4C 1Misc 2Journal 21Unranked 18
YearRankTypeTitle / Venue / Authors
2016 conf
ICMS
Heinz Kredel
2015 conf
3PGCIC
Heinz Kredel, Hans-Günther Kruse, Sabine Richling
2015 B conf
CASC
Heinz Kredel
2014 J jnl
Prax. Inf.verarb. Kommun.
Heinz Kredel, Hans-Günther Kruse, Sabine Richling
2014 conf
ICMS
Heinz Kredel
2013 C conf
ISC
Heinz Kredel, Sabine Richling, Jan Philipp Kruse, Erich Strohmaier, Hans-Günther Kruse
2013 conf
AINA Workshops
Heinz Kredel
2013 J jnl
Comput. Sci. Res. Dev.
Heinz Kredel, Hans-Günther Kruse, Sabine Richling, Erich Strohmaier
2012 J jnl
Prax. Inf.verarb. Kommun.
Heinz Kredel, Hans-Günther Kruse, Sabine Richling
2012 conf
AINA Workshops
Heinz Kredel
2011 conf
SC State of the Practice Reports
Sabine Richling, Heinz Kredel, Steffen Hau, Hans-Günther Kruse
2011 B conf
CASC
Heinz Kredel, Raphael Jolly
2011 J jnl
Prax. Inf.verarb. Kommun.
Heinz Kredel, Hans-Günther Kruse, Ingo Ott
2011 J jnl
Int. J. Grid Util. Comput.
Sabine Richling, Steffen Hau, Heinz Kredel, Hans-Günther Kruse
2011 conf
3PGCIC
Heinz Kredel, Hans-Günther Kruse, Ingo Ott
2010 Misc conf
CISIS
Heinz Kredel
2010 B conf
CASC
Heinz Kredel, Raphael Jolly
2010 conf
3PGCIC
Sabine Richling, Steffen Hau, Heinz Kredel, Hans-Günther Kruse
2010 J jnl
CoRR
Heinz Kredel
2010 J jnl
Prax. Inf.verarb. Kommun.
Heinz Kredel, Hans-Günther Kruse, Sabine Richling
2009 conf
ASCM
Heinz Kredel
2009 Misc conf
CISIS
Heinz Kredel
2009 J jnl
CoRR
Raphael Jolly, Heinz Kredel
2008 J jnl
CoRR
Raphael Jolly, Heinz Kredel
2008 J jnl
Sci. Comput. Program.
Heinz Kredel
2008 conf
Automated Deduction in Geometry
Heinz Kredel
2007 conf
ASCM
Heinz Kredel
2006 conf
PPPJ
Heinz Kredel
2005 conf
Algorithmic Algebra and Logic
Heinz Kredel
2005 J jnl
Prax. Inf.verarb. Kommun.
Giovanni Falcone, Heinz Kredel, Michael Krietemeyer, Dirk Merten, Matthias Merz, Franz-Josef Pfreundt, Christian Simmendinger, Daniel Versick
2004 conf
ISICT
Heinz Kredel, Matthias Merz
2002 J jnl
Inf. Comput.
Manfred Göbel, Heinz Kredel
2002 book
Thread- und Netzwerk-Programmierung mit Java - Praktikum für die Parallele Programmierung (2. Aufl.).
Heinz Kredel, Akitoshi Yoshida
2000 J jnl
Prax. Inf.verarb. Kommun.
Heinz Kredel
1999 book
Thread- und Netzwerk-Programmierung mit Java - Praktikum für die parallele Programmierung.
Heinz Kredel, Akitoshi Yoshida
1998 J jnl
HMD Prax. Wirtsch.
Heinz Kredel, Akitoshi Yoshida
1997 J jnl
SIGSAM Bull.
Heinz Kredel, Michael Pesch
1997 J jnl
Prax. Inf.verarb. Kommun.
Akitoshi Yoshida, Heinz Kredel, Hans Werner Meuer
1993 book
Gröbner bases - a computational approach to commutative algebra.
Thomas Becker, Volker Weispfenning, Heinz Kredel
1991 conf
PLILP
Heinz Kredel
1990 conf
DISCO
Heinz Kredel
1988 J jnl
SIGSAM Bull.
Heinz Kredel
1988 J jnl
J. Symb. Comput.
Heinz Kredel, Volker Weispfenning
1988 B conf
ISSAC
Heinz Kredel
1987 conf
EUROCAL
Heinz Kredel
1986 J jnl
J. Symb. Comput.
Dieter Armbruster, Heinz Kredel
1986 J jnl
J. Symb. Comput.
W. Böge, Rüdiger Gebauer, Heinz Kredel
1985 conf
European Conference on Computer Algebra (2)
W. Böge, Rüdiger Gebauer, Heinz Kredel
1984 J jnl
SIGSAM Bull.
Rüdiger Gebauer, Heinz Kredel