de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Search Results

32 Items found (descending sorted by Modification Date)
 
 
Previous12Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 20th Annual Fall Workshop on Computational Geomet...
    Source Genre: Proceedings
    Source Title: Proceedings, 20th Annual Fall Workshop on Computa...
    Volume / Issue: -
    Start / End Page: 1 - 4
    Sequence Number: 35
    Source Publ. Info: Stony Brook, NY : Stony Brook State University of New York
  2. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 2nd Conference on Theory and Practice of Provenan...
    Source Genre: Proceedings
    Source Title: TAPP'10: Proceedings of the 2nd Conference on The...
    Volume / Issue: -
    Start / End Page: 8 - 8
    Sequence Number: -
    Source Publ. Info: Berkeley, CA : USENIX
  3. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 26th Annual Symposium on Computational Gemoetry (...
    Source Genre: Proceedings
    Source Title: Proceedings of the Twenty-Sixth Annual Symposium ...
    Volume / Issue: -
    Start / End Page: 314 - 323
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  4. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 2010 ACM SIGPLAN Conference on Programming Langua...
    Source Genre: Proceedings
    Source Title: PLDI’10 : proceedings of the 2010 ACM SIGPLAN Con...
    Volume / Issue: -
    Start / End Page: 483 - 496
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  5. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 29th ACM SIGACT-SIGOPS Symposium on Principles of...
    Source Genre: Proceedings
    Source Title: PODC’10 : proceedings of the 2010 ACM Symposium o...
    Volume / Issue: -
    Start / End Page: 408 - 409
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  6. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 4th International Workshop on Large Scale Distrib...
    Source Genre: Proceedings
    Source Title: Proceedings of the 4th ACM/SIGOPS Workshop on Lar...
    Volume / Issue: -
    Start / End Page: 44 - 48
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  7. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 4th ACM/SIGOPS Workshop on Large-Scale Distribute...
    Source Genre: Proceedings
    Source Title: Proceedings of the 4th ACM/SIGOPS Workshop on Lar...
    Volume / Issue: -
    Start / End Page: 1 - 6
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  8. Creators:
    Dates: Published in Print: 2011  
    Genre: Report 
    Files: -
    Locators: -
    Publishing info: Saarbrücken : Max Planck Institute for Software Systems, MPI-SWS-2011-003
    Event Title: -
    Source Genre: Series
    Source Title: Technical Report / Max Planck insitute for Softwa...
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  9. Creators:
    Dates: Published in Print: 2011  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Automated Reasoning
    Volume / Issue: Online First
    Start / End Page: 1 - 46
    Sequence Number: -
    Source Publ. Info: -
  10. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: ICFP'11
    Source Genre: Proceedings
    Source Title: ICFP’11 : Proceedings of the 2011 ACM SIGPLAN Int...
    Volume / Issue: -
    Start / End Page: 418 - 430
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  11. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: SCG '11
    Source Genre: Proceedings
    Source Title: Proceedings of the Twenty-Seventh Annual Symposiu...
    Volume / Issue: -
    Start / End Page: 341 - 350
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  12. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: SPAA '11
    Source Genre: Proceedings
    Source Title: SPAA’11 : proceedings of the Twenty-Third Annual ...
    Volume / Issue: -
    Start / End Page: 33 - 42
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  13. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: AAAI 2011
    Source Genre: Proceedings
    Source Title: Proceedings of the Twenty-Fifth AAAI Conference o...
    Volume / Issue: -
    Start / End Page: 1076 - 1082
    Sequence Number: -
    Source Publ. Info: Palo Alto, CA : AAAI
  14. Creators:
    Dates: Published in Print: 2011  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Mathematical Structures in Computer Science
    Volume / Issue: 21
    Start / End Page: 1301 - 1337
    Sequence Number: -
    Source Publ. Info: -
  15. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: OOPSLA '11
    Source Genre: Issue
    Source Title: Proceedings of the 2011 ACM International Confere...
    Volume / Issue: -
    Start / End Page: 753 - 772
    Sequence Number: -
    Source Publ. Info: -
     : 1 further sources available
  16. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: OOPSLA '11
    Source Genre: Issue
    Source Title: Proceedings of the 2011 ACM International Confere...
    Volume / Issue: -
    Start / End Page: 499 - 518
    Sequence Number: -
    Source Publ. Info: -
     : 1 further sources available
  17. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: HotCloud '11
    Source Genre: Proceedings
    Source Title: 3rd USENIX Workshop on Hot Topics in Cloud Comput...
    Volume / Issue: -
    Start / End Page: 1 - 5
    Sequence Number: -
    Source Publ. Info: Berkeley, CA : USENIX
  18. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: SOCC 2011
    Source Genre: Proceedings
    Source Title: Proceedings of the Second ACM Symposium on Cloud ...
    Volume / Issue: -
    Start / End Page: 7:1 - 7:14
    Sequence Number: 7
    Source Publ. Info: New York, NY : ACM
  19. Creators:
    Dates: Published in Print: 2011-11  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Machine Learning Research
    Volume / Issue: 12
    Start / End Page: 3147 - 3186
    Sequence Number: -
    Source Publ. Info: -
  20. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: FAST'12
    Source Genre: Proceedings
    Source Title: Proceedings of FAST ’12: 10th USENIX Conference o...
    Volume / Issue: -
    Start / End Page: 1 - 15
    Sequence Number: -
    Source Publ. Info: Berkeley, CA : USENIX
  21. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: NSDI'12
    Source Genre: Proceedings
    Source Title: Proceedings of NSDI ’12: 9th USENIX Symposium on ...
    Volume / Issue: -
    Start / End Page: 1 - 15
    Sequence Number: -
    Source Publ. Info: Berkeley, CA : USENIX
  22. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: POST 2012
    Source Genre: Proceedings
    Source Title: Principles of Security and Trust : First Internat...
    Volume / Issue: -
    Start / End Page: 410 - 429
    Sequence Number: -
    Source Publ. Info: New York, NY : Springer
     : 1 further sources available
  23. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: ESOP 2012
    Source Genre: Proceedings
    Source Title: Programming Languages and Systems : 21st European...
    Volume / Issue: -
    Start / End Page: 476 - 496
    Sequence Number: -
    Source Publ. Info: New York, NY : Springer
     : 1 further sources available
  24. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: PLDI'12
    Source Genre: Proceedings
    Source Title: PLDI’12 : Proceedings of the 2012 ACM SIGPLAN Con...
    Volume / Issue: -
    Start / End Page: 299 - 310
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  25. Creators:
    Dates: Published in Print: 2012  
    Genre: Report 
    Files: -
    Locators: -
    Publishing info: Saarbrücken : Max Planck Institute for Software Systems, MPI-SWS-2012-003
    Event Title: -
    Source Genre: Series
    Source Title: Technical Report / Max Planck Institute for Softw...
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
 
 
Previous12Next