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

Search Results

645 Items found (descending sorted by Modification Date)
 
 
Previous1234567Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Created: 2017-10-19 | Modified: 2017-12-20 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  2. Creators:
    Dates: Created: 2017-12-05 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  3. Creators:
    Dates: Accepted: 2017 | Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: IEEE International Conference on Image Processing
    Source Genre: Proceedings
    Source Title: IEEE International Conference on Image Processing
    Volume / Issue: -
    Start / End Page: 4382 - 4386
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  4. Creators:
    Dates: Created: 2017-11-17 | Modified: 2017-11-24 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  5. Creators:
    Dates: Created: 2017-11-17 | Modified: 2017-11-24 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  6. Creators:
    Dates: Created: 2017-01-09 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  7. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 34th Symposium on Theoretical Aspects of Computer...
    Source Genre: Proceedings
    Source Title: 34th Symposium on Theoretical Aspects of Computer...
    Volume / Issue: -
    Start / End Page: 1 - 13
    Sequence Number: 29
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  8. ( )
    LICS 2017 Foreword
    Creators:
    Dates: Accepted: 2017 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Source Genre: Proceedings
    Source Title: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Volume / Issue: -
    Start / End Page: II - IV
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  9. Creators:
    Dates: Accepted: 2017 | Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 44th International Colloquium on Automata, Langua...
    Source Genre: Proceedings
    Source Title: 44th International Colloquium on Automata, Langua...
    Volume / Issue: -
    Start / End Page: 1 - 14
    Sequence Number: 24
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  10. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 20th International Conference on Hybrid Systems: ...
    Source Genre: Proceedings
    Source Title: HSCC'17
    Volume / Issue: -
    Start / End Page: 11 - 17
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  11. ( )
    Timed Temporal Logics
    Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Book Chapter 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Book
    Source Title: Models, Algorithms, Logics and Tools
    Volume / Issue: -
    Start / End Page: 211 - 230
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  12. Creators:
    Dates: Published Online: 2017  
    Genre: Proceedings 
    Files: -
    Locators: 1 Locator
    Publishing info: Wadern : Schloss Dagstuhl
    Event Title: Dagstuhl Seminar 17201 "Formal Synthesis of Cyber...
    Source Genre: Series
    Source Title: Dagstuhl Reports
    Volume / Issue: 7 (5)
    Start / End Page: 84 - 96
    Sequence Number: -
    Source Publ. Info: -
  13. Creators:
    Dates: Published Online: 2018  
    Genre: Proceedings 
    Files: -
    Locators: 2 Locators
    Publishing info: Wadern : Schloss Dagstuhl
    Event Title: Dagstuhl Seminar 17352 "Analysis and Synthesis of...
    Source Genre: Series
    Source Title: Dagstuhl Reports
    Volume / Issue: 7 (8)
    Start / End Page: 74 - 101
    Sequence Number: -
    Source Publ. Info: -
  14. Creators:
    Dates: Published Online: 2017  
    Genre: Proceedings 
    Files: -
    Locators: 1 Locator
    Publishing info: Wadern : Schloss Dagstuhl
    Event Title: Dagstuhl Seminar 17111 "Game Theory in AI, Logic,...
    Source Genre: Series
    Source Title: Dagstuhl Reports
    Volume / Issue: 7 (3)
    Start / End Page: 27 - 32
    Sequence Number: -
    Source Publ. Info: -
  15. Creators:
    Dates: Created: 2017-10-29 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  16. Creators:
    Dates: Created: 2017-10-05 | Modified: 2017-10-09 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  17. Creators:
    Dates: Created: 2017-09-29 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  18. Creators:
    Dates: Created: 2017-09-27 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  19. Creators:
    Dates: Created: 2017-06-26 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  20. Creators:
    Dates: Created: 2017-05-05 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  21. Creators:
    Dates: Created: 2017-04-18 | Modified: 2017-07-17 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  22. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 14th International Conference on Quantitative Eva...
    Source Genre: Proceedings
    Source Title: Quantitative Evaluation of Systems
    Volume / Issue: -
    Start / End Page: 351 - 367
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  23. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 23rd International Conference on Tools and Algori...
    Source Genre: Proceedings
    Source Title: Tools and Algorithms for the Construction and Ana...
    Volume / Issue: -
    Start / End Page: 499 - 517
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  24. 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: 473 - 485
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  25. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 21st International Conference on Logic for Progra...
    Source Genre: Proceedings
    Source Title: LPAR-21
    Volume / Issue: -
    Start / End Page: 1 - 13
    Sequence Number: -
    Source Publ. Info: Manchester, UK : EasyChair
     : 1 further sources available
 
 
Previous1234567Next