Zum Inhalt springen

  2. Ong, Luke [HerausgeberIn] ; FOSSACS 13 2010 Paphos, ETAPS 13 2010 Paphos

    Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as Part of the Joint European Conferences on Theory and Practice of Softwrae, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6014

  4. Ong, Luke [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3634

  5. Ong, Luke [VerfasserIn] ; Queiroz, Ruy [Sonstige Person, Familie und Körperschaft]

    Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7456

  6. Ong, Luke [VerfasserIn]

    Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6014

  7. Ong, Luke [VerfasserIn]

    Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6690

  8. Duan, Zhenhua [HerausgeberIn]; Ong, Luke [HerausgeberIn]

    Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10610

  9. Coecke, Bob [VerfasserIn] ; Ong, Luke [Sonstige Person, Familie und Körperschaft]; Panangaden, Prakash [Sonstige Person, Familie und Körperschaft]

    Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7860

  10. Ooi, Joseph T. L. [VerfasserIn] ; Ong, Seow Eng [Sonstige Person, Familie und Körperschaft]; Li, Luke [Sonstige Person, Familie und Körperschaft]

    An Analysis of the Financing Decisions of REITs : The Role of Market Timing and Target Leverage

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, [2008]

  11. Zaiser, Fabian [VerfasserIn]; Ong, Luke [VerfasserIn]

    Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 65

  12. Wagner, Dominik [VerfasserIn] ; Mak, Carol [Sonstige Person, Familie und Körperschaft]; Ong, Luke [Sonstige Person, Familie und Körperschaft]; Paquet, Hugo [Sonstige Person, Familie und Körperschaft]

    Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021) -

  13. Kochems, Jonathan [VerfasserIn]; Ong, C.H. Luke [VerfasserIn] ; Jonathan Kochems and C.H. Luke Ong [MitwirkendeR]

    Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  14. Alvarez-Picallo, Mario [VerfasserIn]; Ong, C.-H. Luke [VerfasserIn] ; Mario Alvarez-Picallo and C.-H. Luke Ong [MitwirkendeR]

    The Difference λ-Calculus: A Language for Difference Categories

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  15. Wies, Thomas [VerfasserIn]; Zufferey, Damien [VerfasserIn]; Henzinger, Thomas A [VerfasserIn]; Ong, Luke [VerfasserIn]

    Forward analysis of depth-bounded processes ; LNCS

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer, 2010

    Erschienen in: Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi: 10.1007/978-3-642-12032-9_8