BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Thomas Schneider
SearchCollections
Map detail
Thomas Schneider13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThomas SchneiderAThomas SchneiderResearcherA method to retrieve optical and geometrical characteristics of three layer waveguides from m-lines measurementsWA method to retrieve op...preprint / 2014Classification of Finite Highly Regular Vertex-Coloured GraphsWClassification of Finit...preprint / 2021The Complexity of Satisfiability for Sub-Boolean Fragments of ALCWThe Complexity of Satis...preprint / 2010The Complexity of Generalized Satisfiability for Linear Temporal LogicWThe Complexity of Gener...preprint / 2009Algebraic Properties of Qualitative Spatio-Temporal CalculiWAlgebraic Properties of...preprint / 2013Optical characterization of PZT thin films for waveguide applicationsWOptical characterizatio...preprint / 2014The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part IWThe Complexity of Satis...preprint / 2009Frequency-time coherence for all-optical sampling without optical pulse sourceWFrequency-time coherenc...preprint / 2016The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly FragmentsWThe Tractability of Mod...preprint / 2008CryptoSPN: Privacy-preserving Sum-Product Network InferenceWCryptoSPN: Privacy-pres...preprint / 2020Model Checking CTL is Almost Always Inherently SequentialWModel Checking CTL is A...preprint / 2011A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational PropertiesWA Survey of Qualitative...preprint / 2016
Person12 links

Thomas Schneider

Researcher

PaperA method to retrieve optical and geometrical characteristics of three layer waveguides from m-lines measurementsAuthorship / preprint / 2014PaperClassification of Finite Highly Regular Vertex-Coloured GraphsAuthorship / preprint / 2021PaperThe Complexity of Satisfiability for Sub-Boolean Fragments of ALCAuthorship / preprint / 2010PaperThe Complexity of Generalized Satisfiability for Linear Temporal LogicAuthorship / preprint / 2009PaperAlgebraic Properties of Qualitative Spatio-Temporal CalculiAuthorship / preprint / 2013PaperOptical characterization of PZT thin films for waveguide applicationsAuthorship / preprint / 2014PaperThe Complexity of Satisfiability for Fragments of Hybrid Logic -- Part IAuthorship / preprint / 2009PaperFrequency-time coherence for all-optical sampling without optical pulse sourceAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)