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

Search Results

39 Items found (descending sorted by Modification Date)
 
 
Previous12Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published Online: 2017  
    Genre: Journal Article 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Dagstuhl Artifacts Series
    Volume / Issue: 3 (1)
    Start / End Page: 1 - 2
    Sequence Number: 15
    Source Publ. Info: Wadern : Schloss Dagstuhl
  2. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 29th International Conference on Computer-Aided V...
    Source Genre: Proceedings
    Source Title: Computer Aided Verification
    Volume / Issue: -
    Start / End Page: 30 - 46
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
  3. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: International Symposium on Code Generation and Op...
    Source Genre: Proceedings
    Source Title: CGO'17
    Volume / Issue: -
    Start / End Page: 100 - 110
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  4. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: 31st European Conference on Object-Oriented Progr...
    Source Genre: Proceedings
    Source Title: 29th European Conference on Object-Oriented Progr...
    Volume / Issue: -
    Start / End Page: 1 - 29
    Sequence Number: 17
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  5. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: 31st European Conference on Object-Oriented Progr...
    Source Genre: Proceedings
    Source Title: 29th European Conference on Object-Oriented Progr...
    Volume / Issue: -
    Start / End Page: 1 - 28
    Sequence Number: 22
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  6. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 26th European Symposium on Programming
    Source Genre: Proceedings
    Source Title: Programming Languages and Systems
    Volume / Issue: -
    Start / End Page: 448 - 475
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  7. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 44th ACM SIGPLAN Symposium on Principles of Progr...
    Source Genre: Proceedings
    Source Title: POPL'17
    Volume / Issue: -
    Start / End Page: 175 - 189
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  8. ( )
    CPP'17
    Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Proceedings 
    Files: -
    Locators: -
    Publishing info: New York, NY : ACM
    Event Title: 6th ACM SIGPLAN Conference on Certified Programs ...
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  9. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 38th ACM SIGPLAN Conference on Programming Langua...
    Source Genre: Proceedings
    Source Title: PLDI'17
    Volume / Issue: -
    Start / End Page: 618 - 632
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  10. ( )
    Improved MHP Analysis
    Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: The 25th International Conference on Compiler Con...
    Source Genre: Proceedings
    Source Title: Proceedings of CC 2016
    Volume / Issue: -
    Start / End Page: 207 - 217
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  11. Creators:
    Dates: Published Online: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT...
    Volume / Issue: -
    Start / End Page: 649 - 662
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  12. Creators:
    Dates: Published Online: 2016-04-04  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 24th Euromicro International Conference on Parall...
    Source Genre: Proceedings
    Source Title: PDP 2016
    Volume / Issue: -
    Start / End Page: 520 - 527
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  13. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 14th Annual IEEE/ACM International Symposium on C...
    Source Genre: Proceedings
    Source Title: CGO'16
    Volume / Issue: -
    Start / End Page: 216 - 226
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  14. Creators:
    Dates: Published Online: 2016-11-02  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 21st International Symposium on Formal Methods
    Source Genre: Proceedings
    Source Title: FM 2016: Formal Methods
    Volume / Issue: -
    Start / End Page: 479 - 495
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  15. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Journal Article 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Bulletin of the Technical Committee on Data Engin...
    Volume / Issue: 39 (1)
    Start / End Page: 81 - 92
    Sequence Number: -
    Source Publ. Info: Los Alamitos, CA : IEEE Computer Society
  16. Creators:
    Dates: Published Online: 2015-01-13  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Fourth ACM SIGPLAN Conference on Certified Progra...
    Source Genre: Proceedings
    Source Title: CPP'15
    Volume / Issue: -
    Start / End Page: 1 - 2
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  17. Creators:
    Dates: Published Online: 2015-01-13  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Fourth ACM SIGPLAN Conference on Certified Progra...
    Source Genre: Proceedings
    Source Title: CPP'15
    Volume / Issue: -
    Start / End Page: 119 - 127
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  18. Creators:
    Dates: Published Online: 2015-01-14 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'15
    Volume / Issue: -
    Start / End Page: 209 - 220
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  19. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 36th ACM SIGPLAN Conference on Programming Langua...
    Source Genre: Proceedings
    Source Title: PLDI'15
    Volume / Issue: -
    Start / End Page: 110 - 120
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  20. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 36th ACM SIGPLAN Conference on Programming Langua...
    Source Genre: Proceedings
    Source Title: PLDI'15
    Volume / Issue: -
    Start / End Page: 326 - 335
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  21. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 42nd International Colloquium on Automata, Langua...
    Source Genre: Proceedings
    Source Title: Automata, Languages, and Programming
    Volume / Issue: -
    Start / End Page: 311 - 323
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  22. Creators:
    Dates: Accepted: 2015 | Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 29th International Symposium on Distributed Compu...
    Source Genre: Proceedings
    Source Title: Distributed Computing
    Volume / Issue: -
    Start / End Page: 371 - 387
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  23. Creators:
    Dates: Published Online: 2015 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 17th International Conference on Verification, Mo...
    Source Genre: Proceedings
    Source Title: Verification, Model Checking, and Abstract Interp...
    Volume / Issue: -
    Start / End Page: 413 - 430
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  24. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'16
    Volume / Issue: -
    Start / End Page: 178 - 190
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  25. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'16
    Volume / Issue: -
    Start / End Page: 649 - 662
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
 
 
Previous12Next