The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Kreuzer" ( http://dblp.L3S.de/Authors/Martin_Kreuzer )

URL (Homepage):  http://www.symbcomp.fim.uni-passau.de/symbolic-computation/  Author page on DBLP  Author page in RDF  Community of Martin Kreuzer in ASPL-2

Publication years (Num. hits)
2000-2013 (16) 2014-2018 (8)
Publication types (Num. hits)
article(14) book(1) inproceedings(9)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 25 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jan Horácek, Martin Kreuzer 3BA: A Border Bases Solver with a SAT Extension. Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Jan Burchard, Bernd Becker 0001, Martin Kreuzer Integrating Algebraic and SAT Solvers. Search on Bibsonomy MACIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Ange Salome Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian Towards mixed structural-functional models for algebraic fault attacks on ciphers. Search on Bibsonomy IVSW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Mael Gay, Ange Salome Messeng Ekossono, Jan Horácek, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. Search on Bibsonomy FDTC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Martin Kreuzer On Conversions from CNF to ANF. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Jan Horácek, Martin Kreuzer, Ange Salome Messeng Ekossono Computing Boolean Border Bases. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franz J. Király, Martin Kreuzer, Louis Theran Learning with Cross-Kernels and Ideal PCA. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Franz J. Király, Martin Kreuzer, Louis Theran Dual-to-kernel learning with ideals. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Philipp Jovanovic, Martin Kreuzer, Ilia Polian Multi-Stage Fault Attacks on Block Ciphers. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2013 DBLP  BibTeX  RDF
1Ilia Polian, Martin Kreuzer Fault-based attacks on cryptographic hardware. Search on Bibsonomy DDECS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Till Beck, Hermann de Meer, Stefan Schuster, Martin Kreuzer Estimating Photo-Voltaic Power Supply without Smart Metering Infrastructure. Search on Bibsonomy E2DC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Philipp Jovanovic, Martin Kreuzer, Ilia Polian An Algebraic Fault Attack on the LED Block Cipher. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2012 DBLP  BibTeX  RDF
1Philipp Jovanovic, Martin Kreuzer, Ilia Polian A Fault Attack on the LED Block Cipher. Search on Bibsonomy COSADE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Kreuzer, Henk Poulisse Subideal border bases. Search on Bibsonomy Math. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philipp Jovanovic, Martin Kreuzer Algebraic attacks using SAT-solvers. Search on Bibsonomy Groups Complexity Cryptology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Kreuzer Algebraic Attacks Galore! Search on Bibsonomy Groups Complexity Cryptology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Kreuzer, Hennie Poulisse Algebraisches Erdöl. Search on Bibsonomy Informatik Spektrum The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Kreuzer, Stefan Kühling Alles logisch, oder was? Search on Bibsonomy Informatik Spektrum The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Heldt, Martin Kreuzer, Sebastian Pokutta, Hennie Poulisse Approximate computation of zero-dimensional polynomial ideals. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Ackermann, Martin Kreuzer Gröbner Basis Cryptosystems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991) Primary 94A60, Secondary 11T71, 16-08, 13P10
1Martin Kreuzer, Stefan Kühling Logik für Informatiker. Search on Bibsonomy 2006   RDF
1John Abbott, Martin Kreuzer, Lorenzo Robbiano Computing zero-dimensional schemes. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano Efficiently computing minimal sets of critical pairs. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano Computing Ideals of Points. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license