default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Thomas Streicher
TU Darmstadt, Germany
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 73 matches
- 2022
- Jeongbin Park, Gilles Duvert, Alain Coulais, Gregory V. Jung, Sylwester Arabas, Brian Barker, Takeshi Enomoto, Sylvain Flinois, Oliver Gressel, Tomas Hillberg, Thibault Huillet, Jan Kohnert, Orion Poplawski, Eloi Rozier de Linage, Remi A. Solås, Luke Stagner, Ole Streicher, James Tappin, Thierry Thomas, Jingwei Wang, Christian Wimmer:
GNU Data Language 1.0: a free/libre and open-source drop-in replacement for IDL/PV-WAVE. J. Open Source Softw. 7(80): 4633 (2022) - 2021
- Jonas Frey, Thomas Streicher:
Triposes as a generalization of localic geometric morphisms. Math. Struct. Comput. Sci. 31(9): 1024-1033 (2021) - Thomas Streicher:
The genesis of the groupoid model. Math. Struct. Comput. Sci. 31(9): 1003-1005 (2021) - Alexander V. Smirnov, Nikolay Shilov, Andrew Ponomarev, Thilo Streichert, Silvia Gramling, Thomas Streich:
Analytical Detection of a Mesh Vertex Being on the Inside of a Round Through-Hole. PLM (2) 2021: 215-224 - 2020
- Stuart Mumford, Nabil Freij, Steven Christe, Jack Ireland, Florian Mayer, V. Keith Hughitt, Albert J. Shih, Daniel Ryan, Simon Liedtke, David Pérez-Suárez, Pritish Chakraborty, Vishnunarayan K, Andrew Inglis, Punyaslok Pattnaik, Brigitta M. Sipocz, Rishabh Sharma, Andrew Leonard, David Stansby, Russell J. Hewett, Alex Hamilton, Laura Hayes, Asish Panda, Matt Earnshaw, Nitin Choudhary, Ankit Kumar, Prateek Chanda, Md. Akramul Haque, Michael Kirk, Michael Mueller, Sudarshan Konge, Rajul Srivastava, Yash Jain, Samuel Bennett, Ankit Baruah, Will T. Barnes, Michael Charlton, Shane A. Maloney, Nicky Chorley, Himanshu, Sanskar Modi, James Mason, Jose Rozo, Larry Manley, Agneet Chatterjee, John Evans, Michael Malocha, Monica G. Bobra, Sourav Ghosh, Dominik Stanczak, Ruben De Visscher, Shresth Verma, Ankit Agrawal, Dumindu Buddhika, Swapnil Sharma, Jongyeob Park, Matt Bates, Dhruv Goel, Garrison Taylor, Goran Cetusic, Jacob, Mateo Inchaurrandieta, Sally Dacie, Sanjeev Dubey, Deepankar Sharma, Erik Bray, Jai Rideout, Serge Zahniy, Tomas Meszaros, Abhigyan Bose, André Chicrala, Ankit, Chloé Guennou, Daniel D'avella, Daniel Williams, Jordan Ballew, Nick Murphy, Priyank Lodha, Thomas Robitaille, Yash Krishan, Andrew Hill, Arthur Eigenbrot, Benjamin Mampaey, Bernhard Wiedemann, Carlos Molina, Duygu Keskek, Ishtyaq Habib, Joseph Letts, Juanjo Bazán, Quinn Arbolante, Reid Gomillion, Yash Kothari, Yash Sharma, Abigail Stevens, Adrian M. Price-Whelan, Ambar Mehrotra, Arseniy Kustov, Brandon Stone, Trung Dang, Emmanuel Arias, Fionnlagh Dover, Freek Verstringe, Gulshan Kumar, Harsh Mathur, Igor Babuschkin, Jaylen Wimbish, Juan Buitrago-Casas, Kalpesh Krishna, Kaustubh Hiware, Manas Mangaonkar, Matthew Mendero, Mickaël Schoentgen, Norbert Gyenge, Ole Streicher, Rajasekhar Mekala, Rishabh Mishra, Shashank Srikanth, Sarthak Jain, Tannmay Yadav, Tessa Wilkinson, Tiago Pereira, Yudhik Agrawal, Jamescalixto, Yasintoda, Sophie Murray:
SunPy: A Python package for Solar Physics. J. Open Source Softw. 5(46): 1832 (2020) - Alexander V. Smirnov, Nikolay Shilov, Andrew Ponomarev, Thilo Streichert, Silvia Gramling, Thomas Streich:
Validating Results of 3D Finite Element Simulation for Mechanical Stress Evaluation using Machine Learning Techniques. IN4PL 2020: 13-23 - 2018
- Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher:
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. Arch. Math. Log. 57(7-8): 873-888 (2018) - Eike Neumann, Martin Pape, Thomas Streicher:
Computability in Basic Quantum Mechanics. Log. Methods Comput. Sci. 14(2) (2018) - 2017
- Thomas Streicher:
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus. Log. Methods Comput. Sci. 13(4) (2017) - 2016
- Martín Hötzel Escardó, Thomas Streicher:
The intrinsic topology of Martin-Löf universes. Ann. Pure Appl. Log. 167(9): 794-805 (2016) - Martin Pape, Thomas Streicher:
Computability in Basic Quantum Mechanics. CoRR abs/1610.09209 (2016) - 2015
- Samuele Maschio, Thomas Streicher:
Models of intuitionistic set theory in subtoposes of nested realizability toposes. Ann. Pure Appl. Log. 166(6): 729-739 (2015) - Brian Thomas, Tim Jenness, Frossie Economou, Perry Greenfield, Paul Hirst, David S. Berry, Erik Bray, Norman Gray, Demitri Muna, James Turner, Miguel de Val-Borro, Juande Santander-Vela, David Shupe, John Good, G. Bruce Berriman, Slava Kitaeff, Jonathan Fay, Omar Laurino, Anastasia Alexov, Walter Landry, Joe Masters, Adam Brazier, Reinhold Schaaf, Kevin Edwards, Russell O. Redman, Thomas R. Marsh, Ole Streicher, Pat Norris, Sergio Pascual, Matthew Davie, Michael Droettboom, Thomas Robitaille, Riccardo Campana, Alex Hagen, Paul Hartogh, Dominik Klaes, Matthew W. Craig, Derek Homeier:
Learning from FITS: Limitations in use in modern astronomical research. Astron. Comput. 12: 133-145 (2015) - Brian Thomas, Tim Jenness, Frossie Economou, Perry Greenfield, Paul Hirst, David S. Berry, Erik Bray, Norman Gray, Demitri Muna, James Turner, Miguel de Val-Borro, Juande Santander-Vela, David Shupe, John Good, G. Bruce Berriman, Slava Kitaeff, Jonathan Fay, Omar Laurino, Anastasia Alexov, Walter Landry, Joe Masters, Adam Brazier, Reinhold Schaaf, Kevin Edwards, Russell O. Redman, Thomas R. Marsh, Ole Streicher, Pat Norris, Sergio Pascual, Matthew Davie, Michael Droettboom, Thomas Robitaille, Riccardo Campana, Alex Hagen, Paul Hartogh, Dominik Klaes, Matthew W. Craig, Derek Homeier:
Learning from FITS: Limitations in use in modern astronomical research. CoRR abs/1502.00996 (2015) - 2014
- Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher:
Relating first-order set theories, toposes and categories of classes. Ann. Pure Appl. Log. 165(2): 428-502 (2014) - Ingo Battenfeld, Klaus Keimel, Thomas Streicher:
Observationally-induced algebras in Domain Theory. Log. Methods Comput. Sci. 10(3) (2014) - Thomas Streicher:
A model of type theory in simplicial sets: A brief introduction to Voevodsky's homotopy type theory. J. Appl. Log. 12(1): 45-49 (2014) - 2013
- Thomas Streicher:
Krivine's classical realisability from a categorical perspective. Math. Struct. Comput. Sci. 23(6): 1234-1256 (2013) - 2012
- Peter Lietz, Thomas Streicher:
Realizability models refuting Ishihara's boundedness principle. Ann. Pure Appl. Log. 163(12): 1803-1807 (2012) - Bernhard Reus, Thomas Streicher:
A synthetic theory of sequential domains. Ann. Pure Appl. Log. 163(8): 1062-1074 (2012) - Alex K. Simpson, Thomas Streicher:
Constructive toposes with countable sums as models of constructive set theory. Ann. Pure Appl. Log. 163(10): 1419-1436 (2012) - 2011
- Klaus Keimel, Artus Ph. Rosenbusch, Thomas Streicher:
Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. Theor. Comput. Sci. 412(25): 2701-2713 (2011) - Bernhard Reus, Thomas Streicher:
Relative Completeness for Logics of Functional Programs. CSL 2011: 470-480 - 2010
- Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher:
Preface for the special issue on domains. Math. Struct. Comput. Sci. 20(2): 105-106 (2010) - 2009
- Klaus Keimel, Artus Ph. Rosenbusch, Thomas Streicher:
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. Ann. Pure Appl. Log. 159(3): 307-317 (2009) - 2008
- Paulo Oliva, Thomas Streicher:
On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic. Fundam. Informaticae 84(2): 207-220 (2008) - 2007
- Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher:
Relating First-order Set Theories and Elementary Toposes. Bull. Symb. Log. 13(3): 340-358 (2007) - Thomas Streicher, Ulrich Kohlenbach:
Shoenfield is Gödel after Krivine. Math. Log. Q. 53(2): 176-179 (2007) - Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. Math. Struct. Comput. Sci. 17(5): 839-839 (2007) - 2006
- Thomas Streicher:
Domain-theoretic foundations of functional programming. World Scientific 2006, ISBN 978-981-270-142-8, pp. I-X, 1-120
skipping 43 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-19 12:30 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint