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

Search Results

149 Items found (descending sorted by Modification Date)
 
 
Previous123456Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. 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: -
  2. 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: -
  3. 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: -
  4. 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: -
  5. 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: -
  6. 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: -
  7. 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: -
  8. 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: -
  9. 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: -
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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: 45 - 54
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  15. Creators:
    Dates: Published Online: 2017  
    Genre: Book Chapter 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Proceedings
    Source Title: Hardware and Software: Verification and Testing
    Volume / Issue: -
    Start / End Page: 35 - 50
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  16. Creators:
    Dates: Modified: 2017-08-04 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 17th Conference on Formal Methods in Computer-Aid...
    Source Genre: Proceedings
    Source Title: Proceedings of the 17th Conference on Formal Meth...
    Volume / Issue: -
    Start / End Page: 172 - 175
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  17. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 30th International Florida Artificial Intelligenc...
    Source Genre: Proceedings
    Source Title: Proceedings of the Thirtieth International Florid...
    Volume / Issue: -
    Start / End Page: 14 - 19
    Sequence Number: -
    Source Publ. Info: AAAI
  18. Creators:
    Dates: Accepted: 2017 | Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 28th International Conference on Concurrency Theo...
    Source Genre: Proceedings
    Source Title: 28th International Conference on Concurrency Theo...
    Volume / Issue: -
    Start / End Page: 1 - 17
    Sequence Number: 13
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  19. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: IEEE 56th Annual Conference on Decision and Contr...
    Source Genre: Proceedings
    Source Title: IEEE 56th Annual Conference on Decision and Contr...
    Volume / Issue: -
    Start / End Page: 3551 - 3556
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  20. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: IEEE 56th Annual Conference on Decision and Contr...
    Source Genre: Proceedings
    Source Title: IEEE 56th Annual Conference on Decision and Contr...
    Volume / Issue: -
    Start / End Page: 550 - 557
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  21. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: American Control Conference
    Source Genre: Proceedings
    Source Title: American Control Conference
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  22. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 18th International Conference on Artificial Intel...
    Source Genre: Proceedings
    Source Title: Artificial Intelligence in Education
    Volume / Issue: -
    Start / End Page: 455 - 458
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  23. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: ACM Transactions on Embedded Computing Systems
    Volume / Issue: 16 (5s)
    Start / End Page: 1 - 18
    Sequence Number: 170
    Source Publ. Info: New York, NY : ACM
  24. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: ACM Transactions on Embedded Computing Systems
    Volume / Issue: 16 (5s)
    Start / End Page: 1 - 19
    Sequence Number: 190
    Source Publ. Info: New York, NY : ACM
  25. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Acta Informatica
    Volume / Issue: 54 (8)
    Start / End Page: 729 - 764
    Sequence Number: -
    Source Publ. Info: Heidelberg : Springer-Verlag Heidelberg
 
 
Previous123456Next