@article{CEGHM97,
author = {A. Cima and A.R.P. van den Essen and A. Gasull and E.-M.G.M. Hubbers and F. Ma{\~n}osas},
title = {A polynomial counterexample to the {M}arkus-{Y}amabe {C}onjecture},
journal = {Advances in Mathematics},
volume = 131,
number = 2,
year = 1997,
url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6W9F-45N4PYW-D&_coverDate=11%2F10%2F1997&_alid=97385307&_rdoc=1&_fmt=&_orig=search&_qd=1&_cdi=6681&_sort=d&view=c&_acct=C000036278&_version=1&_urlVersion=0&_userid=668715&md5=906965442691b469bf7d2ca47c0a6b05},
pages = {453--457}
}
@article{EH96a,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {Polynomial maps with strongly nilpotent {J}acobian matrix and the {J}acobian {C}onjecture},
volume = 247,
pages = {121--132},
year = 1996,
url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_aset=W-WA-A-A-Y-MsSAYWA-UUW-AUCZZWUCVE-AACCZBADU-Y-U&_rdoc=7&_fmt=summary&_udi=B6V0R-417NH35-2P&_coverDate=11%2F01%2F1996&_cdi=5653&_orig=search&_st=13&_sort=d&view=c&_acct=C000036278&_version=1&_urlVersion=0&_userid=668715&md5=1ee97fff943c5e93f165de6f4ade42f5},
pdf = {http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V0R-417NH35-2P-1&_cdi=5653&_orig=search&_coverDate=11%2F01%2F1996&_sk=997529999&view=c&wchp=dGLbVzb-lSzBA&_acct=C000036278&_version=1&_userid=668715&md5=c576f58f8cd647a4da016b9bddf965fa&ie=f.pdf},
journal = {Linear Algebra and its Applications}
}
@article{EH97a,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {A new class of invertible polynomial maps},
journal = {J. of Algebra},
volume = 187,
pages = {214--226},
url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_aset=W-WA-A-A-Y-MsSAYWA-UUW-AUCZZWUCVE-AACCZBADU-Y-U&_rdoc=6&_fmt=summary&_udi=B6WH2-45M92CN-5F&_coverDate=01%2F01%2F1997&_cdi=6838&_orig=search&_st=13&_sort=d&view=c&_acct=C000036278&_version=1&_urlVersion=0&_userid=668715&md5=e2426013e62df2ddf39d6b283b0b119b},
year = 1997
}
@article{EH97b,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {Chaotic polynomial automorphisms; counterexamples to several conjectures},
journal = {Advances in Applied Mathematics},
volume = 18,
pages = {382--388},
url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6W9D-45MH07W-14&_coverDate=04%2F30%2F1997&_alid=99313512&_rdoc=1&_fmt=&_orig=search&_qd=1&_cdi=6680&_sort=d&view=c&_acct=C000036278&_version=1&_urlVersion=0&_userid=668715&md5=df6c6aa63cd1f3e797fe502f3734db84},
year = 1997
}
@article{EH97c,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {${{\cal D}_{n}(A)}$ for a class of polynomial automorphisms and stably tameness},
journal = {J. of Algebra},
volume = 192,
pages = {460--475},
url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_aset=W-WA-A-A-Y-MsSAYWA-UUW-AUCZZWUCVE-AACCZBADU-Y-U&_rdoc=4&_fmt=summary&_udi=B6WH2-45PTYHV-T&_coverDate=06%2F01%2F1997&_cdi=6838&_orig=search&_st=13&_sort=d&view=c&_acct=C000036278&_version=1&_urlVersion=0&_userid=668715&md5=c0566b08fe50916374d9aa5f89ae7703},
year = 1997
}
@article{HW01,
author = {E.-M.G.M. Hubbers and D. Wright},
title = {Triangular factorizations of special polynomial automorphisms},
journal = {J. of Algebra},
volume = 235,
number = 2,
url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_aset=W-WA-A-A-Y-MsSAYWA-UUW-AUCZZWUCVE-AACCZBADU-Y-U&_rdoc=1&_fmt=summary&_udi=B6WH2-45B5NX1-4&_coverDate=01%2F15%2F2001&_cdi=6838&_orig=search&_st=13&_sort=d&view=c&_acct=C000036278&_version=1&_urlVersion=0&_userid=668715&md5=24f6d5a52935ec8f73a16d99dc0757e5},
pages = {459--483},
year = 2001
}
@inproceedings{Hub97b,
author = {E.-M.G.M. Hubbers},
title = {Cubic similarity in dimension five},
booktitle = {A conference on polynomial maps and the {J}acobian {C}onjecture. (In honour of the mathematical work of {G}ary {M}eisters)},
editor = {E.-M.G.M. Hubbers},
pages = {75--89},
year = 1997,
ps = {http://www.math.unl.edu/Dept/History/meisters/papers/hubbers.ps},
url = {http://www.math.unl.edu/Dept/History/meisters}
}
@inproceedings{HOP03a,
author = {E.-M.G.M. Hubbers and M.D. Oostdijk and E. Poll},
title = {From finite state machines to provably correct {J}ava {C}ard applets},
booktitle = {Security and privacy in the age of uncertainty, Proceedings of the 18th IFIP information security conference},
editor = {D. Gritzalis and S. De Capitani di Vimercati and P. Samarati and S. Katsikas},
pages = {465--470},
publisher = {Kluwer Academic Publishers},
year = 2003,
url = {http://www.wkap.nl/prod/b/1-4020-7449-2},
isbn = {1-4020-7449-2}
}
@inproceedings{HOP04,
author = {E.-M.G.M. Hubbers and M.D. Oostdijk and E. Poll},
title = {Implementing a formally verifiable security protocol in {J}ava {C}ard},
booktitle = {Proceedings of the 1st international conference on security in pervasive computing},
series = {LNCS},
publisher = {Springer-Verlag},
editor = {D. Hutter and G. Müller and W. Stephan and M. Ullmann},
volume = 2802,
pages = {213--226},
year = 2004,
isbn = {3-540-20887-9},
url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2802&spage=213},
pdf = {http://www.cs.kun.nl/ita/publications/papers/hubbers/spc2003.pdf},
note = {March 12--14, 2003, \url{http://www.dfki.de/SPC2003/}}
}
@inproceedings{HO03a,
author = {E.-M.G.M. Hubbers and M.D. Oostdijk},
title = {Generating {JML} specifications from {UML} state diagrams},
booktitle = {Proceedings of forum on specification and design languages},
pages = {263--273},
series = {ECSI CD-ROM},
issn = {1636-9874},
year = 2003
}
@inproceedings{Hub03,
author = {E.-M.G.M. Hubbers},
title = {Integrating tools for automatic program verification},
booktitle = {Proceedings of the {A}ndrei {E}rshov fifth international conference perspectives of system informatics},
series = {LNCS},
publisher = {Springer-Verlag},
editor = {M. Broy and A.V. Zamulin},
volume = 2890,
pages = {214--221},
year = 2003,
isbn = {3-540-20813-5},
url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=214},
pdf = {http://www.cs.kun.nl/ita/publications/papers/hubbers/psi2003.pdf},
note = {\url{http://www.iis.nsk.su/psi03}}
}
@inproceedings{JHKO04,
author = {B.P.F. Jacobs and E.M.G.M. Hubbers and J.R. Kiniry and M.D. Oostdijk},
title = {Counting Votes with Formal Methods},
booktitle = {Algebraic Methodology and Software Technology},
series = {LNCS},
publisher = {Springer-Verlag},
editor = {Charles Rattray and Savitri Maharaj and Carron Shankland},
volume = 3116,
pages = {21--22},
year = 2003,
isbn = {978-3-540-22381-8},
abstract = {This abstract provides some background information about the electronic voting experiment
that is planned in the Netherlands for the European Elections of 2004, and about
our own involvement in the infrastructure for this experiment. The talk will elaborate
further about the computer security issues involved, especially with respect to the use
of formal methods for vote counting software.}
}
@mastersthesis{Hub94,
author = {E.-M.G.M. Hubbers},
title = {The {J}acobian {C}onjecture: {C}ubic homogeneous maps in dimension four},
year = 1994,
month = {February 17},
school = {University of Nijmegen},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/ivascriptie.ps.gz},
note = {Directed by A.R.P. van den Essen}
}
@mastersthesis{LH92a,
author = {B. van Linder and E.-M.G.M. Hubbers},
title = {Default ionic logic: {I}ts syntax and semantics, part {I}},
year = 1992,
month = {June 10},
school = {University of Nijmegen},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
note = {Directed by J.-J.Ch. Meyer; See also \cite{LH92c}}
}
@mastersthesis{LH92b,
author = {B. van Linder and E.-M.G.M. Hubbers},
title = {Default ionic logic: {I}ts syntax and semantics, part {II}},
year = 1992,
month = {June 10},
school = {University of Nijmegen},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
note = {Directed by J.-J.Ch. Meyer; See also \cite{LH92d}}
}
@phdthesis{Hub98,
author = {E.-M.G.M. Hubbers},
title = {Nilpotent {J}acobians},
year = 1998,
school = {University of Nijmegen},
ps = {http://webdoc.ubn.kun.nl/mono/h/hubbers_e/nilpja.ps},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
note = {Promotor A.H.M.~Levelt. Copromotor A.R.P.~van~den~Essen}
}
@techreport{EH94,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {Polynomial maps with strongly nilpotent Jacobian matrix and the {J}acobian {C}onjecture},
institution = {University of Nijmegen},
number = {94..},
type = {Report},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/strnil.ps.gz},
year = 1994,
month = {October},
crossref = {EH96a},
note = {Appeared as \cite{EH96a}}
}
@techreport{LH92c,
author = {B. van Linder and E.-M.G.M. Hubbers},
title = {Default ionic logic: {I}ts syntax and semantics, part {I}},
year = 1992,
month = {August},
institution = {Free University Amsterdam},
number = {IR-296},
type = {Technical Report}
}
@techreport{LH92d,
author = {B. van Linder and E.-M.G.M. Hubbers},
title = {Default ionic logic: {I}ts syntax and semantics, part {II}},
year = 1992,
month = {August},
institution = {Free University Amsterdam},
number = {IR-297},
type = {Technical Report}
}
@techreport{CEGHM95,
author = {A. Cima and A.R.P. van den Essen and A. Gasull and E.-M.G.M. Hubbers and F. Ma{\~n}osas},
title = {A polynomial counterexample to the {M}arkus-{Y}amabe {C}onjecture},
institution = {University of Nijmegen},
number = 9551,
type = {Report},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
year = 1995,
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/yamabe.ps.gz},
crossref = {CEGHM97},
note = {Appeared as \cite{CEGHM97}}
}
@techreport{EH95c,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {Chaotic polynomial automorphisms; counterexamples to several conjectures},
institution = {University of Nijmegen},
number = 9549,
type = {Report},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
year = 1995,
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/attrac.ps.gz},
crossref = {EH97b},
note = {Appeared as \cite{EH97b}}
}
@techreport{EH96b,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {A new class of invertible polynomial maps},
institution = {University of Nijmegen},
number = 9604,
type = {Report},
note = {Appeared as \cite{EH97a}},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
crossref = {EH97a},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/rep9604.ps.gz},
month = {February},
year = 1996
}
@techreport{EH96c,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {${{\cal D}_{n}(A)}$ for polynomial automorphisms},
institution = {University of Nijmegen},
number = 9614,
type = {Report},
crossref = {EH97c},
note = {Appeared as \cite{EH97c}},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/rep9614.ps.gz},
month = {April},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
year = 1996
}
@techreport{EH96d,
author = {A.R.P. van den Essen and E.-M.G.M. Hubbers},
title = {A counterexample to {M}eisters' cubic-linear linearization conjecture},
institution = {University of Nijmegen},
number = 9616,
type = {Report},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/rep9616.ps.gz},
month = {May},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
note = {Withdrawn because of unrecoverable mistake},
year = 1996
}
@techreport{Hub96,
author = {E.-M.G.M. Hubbers},
title = {Cubic similarity in dimension five},
institution = {University of Nijmegen},
number = 9638,
month = {December},
type = {Report},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
note = {Appeared as \cite{Hub97b}},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/rep9638.ps.gz},
year = 1996
}
@proceedings{Hub97c,
editor = {E.-M.G.M. Hubbers},
title = {Differential and difference equations and computer algebra},
note = {In honour of A.H.M. Levelt's 65th birthday},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/levelt_proc1997.pdf},
year = 1997
}
@techreport{HW98,
author = {E.-M.G.M. Hubbers and D. Wright},
title = {Stably tame automorphisms},
institution = {University of Nijmegen},
number = 9817,
month = {September},
type = {Report},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/rep9817.ps.gz},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
note = {Appeared as \cite{HW01}},
crossref = {HW01},
year = 1998
}
@unpublished{Hub97a,
author = {E.-M.G.M. Hubbers},
title = {Pinchuk's example},
year = 1997,
note = {preprint}
}
@unpublished{Hub99a,
author = {E.-M.G.M. Hubbers},
title = {Pinchuk's 2-dimensional example paired to a cubic linear 1999-dimensional map},
year = 1999,
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/pinchuk99.ps.gz},
note = {preprint}
}
@techreport{HP03,
author = {E.-M.G.M. Hubbers and E. Poll},
title = {Reasoning about card tears and transactions in {J}ava {C}ard},
institution = {University of Nijmegen},
number = {R0322},
type = {Technical Report NIII},
address = {Toernooiveld, 6525 ED Nijmegen, The Netherlands},
url = {http://www.cs.kun.nl/ita/publications/papers/hubbers/niii-r0322-transactions.pdf},
year = 2003,
note = {To appear in FASE'04 proceedings},
month = {October}
}
This file was generated by bibtex2html 1.97.