MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Peter van Rossum" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Sound Computational Interpretation of Formal  
  • by Hashes Flavio Garcia, Flavio D. Garcia, Peter Van Rossum — 2006
  • …Sound Computational Interpretation of Formal Hashes Flavio D. Garcia and Peter van Rossum…
  • Add To MetaCart
  • Sound Computational Interpretation of  
  • by Symbolic Hashes In, Flavio D. Garcia, Peter Van Rossum — 2006 — Advances in Information and Computer Security. International Workshop on Security (IWSEC’06), volume 4266 of Lecture
  • … and Peter van Rossum Institute for Computing and Information Sciences, Radboud University Nijmegen…
  • Add To MetaCart
  • Completeness of Formal Hashes in the  
  • by Standard Model Flavio, Flavio D. Garcia, Peter Van Rossum — 2006
  • …Completeness of Formal Hashes in the Standard Model Flavio D. Garcia and Peter van Rossum…
  • Add To MetaCart
  • The cancellation problem in dimension four  
  • by Arno Van Den Essen, Peter Van Rossum, Harm Derksen, Harm Derksen, Arno Essen, Peter Rossum — 2000
  • … IN DIMENSION FOUR Harm Derksen, Arno van den Essen, Peter van Rossum Report No. 0022 (October 2000) DEPARTMENT…
  • Cited by 1 (0 self) – Add To MetaCart
  • The MathSAT 3 system  
  • by Marco Bozzano, Roberto Bruttomesso, Ro Cimatti, Tommi Junttila, Peter Van Rossum, Stephan Schulz, Roberto Sebastiani — 2005 — Automated Deduction: Proceedings of the 20th International Conference, volume 3632 of Lecture Notes in Computer Science
  • … Junttila 2 , Peter van Rossum 3 , Stephan Schulz 4 , and Roberto Sebastiani 5 1 ITC-IRST, Via Sommarive 18…
  • Cited by 14 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB