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

Search Results

19 Items found (descending sorted by Modification Date)
 
 
Previous1Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Accepted: 2003 | Published in Print: 2003  
    Genre: Thesis 
    Files: -
    Locators: -
    Publishing info: Saarbrücken : Universität des Saarlandes
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  2. Creators:
    Dates: Modified: 2005-08-12 | Published in Print: 2004  
    Genre: Report 
    Files: 1 File
    Locators: -
    Publishing info: Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany : NWG 1 - Blanchet
    Event Title: -
    Source Genre: Series
    Source Title: Research Report
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  3. Creators:
    Dates: Modified: 2004-07-01 | Published in Print: 2003  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: PLDI 2003
    Source Genre: Proceedings
    Source Title: Proceedings of the ACM SIGPLAN 2003 Conference on...
    Volume / Issue: -
    Start / End Page: 196 - 207
    Sequence Number: -
    Source Publ. Info: New York, USA : ACM
  4. Creators:
    Dates: Modified: 2004-08-02 | Published in Print: 2003  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: FOSSACS 2003
    Source Genre: Proceedings
    Source Title: Foundations of software science and computation s...
    Volume / Issue: -
    Start / End Page: 136 - 152
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  5. Creators:
    Dates: Modified: 2004-05-10 | Published in Print: 2004  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: S & P 2002
    Source Genre: Proceedings
    Source Title: 2004 IEEE Symposium on Security and Privacy
    Volume / Issue: -
    Start / End Page: 86 - 100
    Sequence Number: -
    Source Publ. Info: Piscataway, USA : IEEE
  6. Creators:
    Dates: Modified: 2003-08-29 | Published in Print: 2002  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: SAS 2002
    Source Genre: Proceedings
    Source Title: Static Analysis, 9th International Symposium, SAS...
    Volume / Issue: -
    Start / End Page: 342 - 359
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  7. Creators:
    Dates: Modified: 2003-08-29 | Published in Print: 2002  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: POPL 2002
    Source Genre: Proceedings
    Source Title: Conference Record of POPL 2002: The 29th ACM SIGP...
    Volume / Issue: -
    Start / End Page: 33 - 44
    Sequence Number: -
    Source Publ. Info: New York, USA : ACM
  8. Creators:
    Dates: Modified: 2005-05-30 | Published in Print: 2004  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: Berlin, Germany : Springer
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Programming Languages and Systems : 13th European...
    Volume / Issue: -
    Start / End Page: 340 - 354
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  9. Creators:
    Dates: Modified: 2004-12-08 | Published in Print: 2002  
    Genre: Book Chapter 
    Files: -
    Locators: -
    Publishing info: Berlin, Germany : Springer
    Event Title: -
    Source Genre: Book
    Source Title: The Essence of Computation: Complexity, Analysis,...
    Volume / Issue: -
    Start / End Page: 85 - 108
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  10. Creators:
    Dates: Modified: 2004-08-18 | Published in Print: 2003  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Theoretical Computer Science
    Volume / Issue: 298 (3)
    Start / End Page: 387 - 415
    Sequence Number: -
    Source Publ. Info: -
  11. Creators:
    Dates: Modified: 2004-07-06 | Published in Print: 2003  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: ACM Transactions on Programming Languages and Sys...
    Volume / Issue: 25 (6)
    Start / End Page: 713 - 775
    Sequence Number: -
    Source Publ. Info: -
  12. Creators:
    Dates: Modified: 2004-08-18 | Published in Print: 2003  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: Berlin, Germany : Springer
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Static Analysis, 10th International Symposium, SA...
    Volume / Issue: -
    Start / End Page: 316 - 335
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  13. Creators:
    Dates: Modified: 2004-07-02 | Published in Print: 2003  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: New York, USA : ACM
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Proceedings of the Fifth ACM SIGPLAN Conference o...
    Volume / Issue: -
    Start / End Page: 1 - 3
    Sequence Number: -
    Source Publ. Info: New York, USA : ACM
  14. Creators:
    Dates: Modified: 2005-02-22 | Published in Print: 2003  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: Berlin, Germany : Springer
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Advances in computing science, ASIAN 2003 : progr...
    Volume / Issue: -
    Start / End Page: 188 - 204
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  15. Creators:
    Dates: Modified: 2005-05-01 | Published in Print: 2005  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Theoretical Computer Science
    Volume / Issue: 333 (1-2)
    Start / End Page: 67 - 90
    Sequence Number: -
    Source Publ. Info: -
  16. Creators:
    Dates: Modified: 2006-04-28 | Published in Print: 2005  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: Los Alamitos, USA : IEEE
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: 18th IEEE Computer Security Foundations Workshop ...
    Volume / Issue: -
    Start / End Page: 140 - 154
    Sequence Number: -
    Source Publ. Info: Los Alamitos, USA : IEEE
  17. Creators:
    Dates: Modified: 2006-04-28 | Published in Print: 2005  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Science of Computer Programming
    Volume / Issue: 58 (1-2)
    Start / End Page: 3 - 27
    Sequence Number: -
    Source Publ. Info: -
  18. Creators:
    Dates: Modified: 2006-04-28 | Published in Print: 2005  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: Los Alamitos, USA : IEEE
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: 20th IEEE Symposium on Logic in Computer Science ...
    Volume / Issue: -
    Start / End Page: 331 - 340
    Sequence Number: -
    Source Publ. Info: Los Alamitos, USA : IEEE
  19. Creators:
    Dates: Modified: 2005-05-01 | Published in Print: 2005  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of the ACM
    Volume / Issue: 52 (1)
    Start / End Page: 102 - 146
    Sequence Number: -
    Source Publ. Info: -
 
 
Previous1Next