sign in · help · news · about ·

BibSonomy :: author :: Kremer ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(394)

<< < 1 | 2 | 3 > >>

Reducing Equational Theories for the Decision of Static Equivalence.
Steve Kremer, Antoine Mercier 0002, and Ralf Treinen J. Autom. Reasoning 48(2):197-217 (2012)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Computing Knowledge in Security Protocols Under Convergent Equational Theories.
Stefan Ciobâca, Stéphanie Delaune, and Steve Kremer J. Autom. Reasoning 48(2):219-262 (2012)
to dblp by dblp on Jan 24, 2012, 12:00 AM
URL | BibTeX
Amino acid encoding schemes for machine learning methods.
Masood Zamani, and Stefan C. Kremer BIBM Workshops, page 327-333. IEEE, (2011)
to dblp by dblp on Jan 22, 2012, 12:00 AM
URL | BibTeX
Regularization of sequence data for machine learning.
Zhou Bryan Bai, and Stefan C. Kremer BIBM Workshops, page 19-25. IEEE, (2011)
to dblp by dblp on Jan 22, 2012, 12:00 AM
URL | BibTeX
Computationally sound implementations of equational theories against passive adversaries.
Mathieu Baudet, Véronique Cortier, and Steve Kremer IACR Cryptology ePrint Archive (2005)
to dblp by dblp and 1 other user on Jan 16, 2012, 12:00 AM
URL | BibTeX
Rheology and Microscopic Topology of Entangled Polymeric Liquids
R. Everaers, S. K. Sukumaran, G. S. Grest, C. Svaneborg, A. Sivasubramanian, and K. Kremer Science 303(5659):823--826 (February 2004)
to unread by m.langeloth and 1 other user on Jan 12, 2012, 4:10 PM
BibTeX
Tracing Evolving Subspace Clusters in Temporal Climate Data.
Stephan Günnemann, Hardy Kremer, Charlotte Laufkötter, and Thomas Seidl Data Min. Knowl. Discov. 24(2):387-410 (2012)
to dblp by dblp on Jan 11, 2012, 12:00 AM
URL | BibTeX
Dynamics of entangled linear polymer melts: A molecular-dynamics simulation
Kurt Kremer, and Gary S. Grest The Journal of Chemical Physics 92(8):5057-5086 (1990)
to unread by m.langeloth and 1 other user on Jan 7, 2012, 7:38 PM
URL | DOI | BibTeX
Application Transformations for Energy and Performance-Aware Device Management.
Taliver Heath, Eduardo Pinheiro, Jerry Hom, Ulrich Kremer, and Ricardo Bianchini IEEE PACT, page 121-130. IEEE Computer Society, (2002)
to dblp by dblp on Jan 3, 2012, 12:00 AM
URL | BibTeX
Transforming Password Protocols to Compose.
Céline Chevalier, Stéphanie Delaune, and Steve Kremer FSTTCS, volume 13 of LIPIcs, page 204-216. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Dec 13, 2011, 12:00 AM
URL | BibTeX
Simulation based security in the applied pi calculus.
Stéphanie Delaune, Steve Kremer, and Olivier Pereira IACR Cryptology ePrint Archive (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.
Véronique Cortier, Steve Kremer, Ralf Küsters, and Bogdan Warinschi IACR Cryptology ePrint Archive (2006)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Do you know your terms? - A procedure model for terminology management.
Stefan Kremer, Lutz Kolbe, and Walter Brenner ECIS, page 983-994. (2003)
to dblp by dblp on Nov 23, 2011, 12:00 AM
URL | BibTeX
N1L is an ectromelia virus virulence factor and essential for in vivo spread upon respiratory infection.
MS Gratz, Y Suezer, M Kremer, A Volz, M Majzoub, KM Hanschmann, U Kalinke, A Schwantes, and G Sutter J Virol 85(7):3557-3569 (2011)
to kalinke by kalinke on Nov 22, 2011, 11:36 AM
BibTeX
Spatiotemporal Connectionist Networks: A Taxonomy and Review.
Stefan C. Kremer Neural Computation 13(2):249-306 (2001)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
A Taxonomy for Spatiotemporal Connectionist Networks Revisited: The Unsupervised Case.
Guilherme De A. Barreto, Aluizio F. R. Araújo, and Stefan C. Kremer Neural Computation 15(6):1255-1320 (2003)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Protein coding region prediction based on the adaptive representation method.
Sajid Marhon, and Stefan C. Kremer CCECE, page 415-418. IEEE, (2011)
to dblp by dblp on Nov 14, 2011, 12:00 AM
URL | BibTeX
Computer-Aided Design and Evaluation of Mobile Radio Local Area Networks in RTI/IVHS Environments.
Werner Kremer, Dirk Hübner, Simon Hoff, Thomas P. Benz, and Wolfgang Schäfer IEEE Journal on Selected Areas in Communications 11(3):406-421 (1993)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
Evolution of transport properties of BaFe2-xRuxAs2 in a wide range of isovalent Ru substitution
M. J. Eom, S. W. Na, C. Hoch, R. K. Kremer, and J. S. Kim (2011)cite arxiv:1109.1083 Comment: 7 pages, 6 figures, submitted to Phys. Rev. B .
to pnictides by vakaryuk on Sep 15, 2011, 11:48 PM
URL | BibTeX
07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation.
Chris J. Bleakley, Tom Clerckx, Harald Devos, Matthias Grumer, Alex Janek, Ulrich Kremer, Christian W. Probst, Phillip Stanley-Marbell, Christian Steger, Vasanth Venkatachalam, and Manuel Wendt Power-aware Computing Systems, volume 07041 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik IBFI, Schloss Dagstuhl, Germany, (2007)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100