Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rajeev Goré
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
And-Or Tableaux for Fixpoint Logics With Converse: LTL, CTL, PDL and CPDL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Related publications
Ingenuity Across Field Boundaries
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Publisher Correction: Stimulation of 3D Osteogenesis by Mesenchymal Stem Cells Using a Nanovibrational Bioreactor
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Examination of the Foreign Body Response to Biomaterials by Nonlinear Intravital Microscopy
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Macrogenomic Engineering via Modulation of the Scaling of Chromatin Packing Density
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Paved Ways Through Delivery Barriers
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Reduction of Liver Fibrosis by Rationally Designed Macromolecular Telmisartan Prodrugs
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Humanity Tested
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
A Transistor-Like pH Nanoprobe for Tumour Detection and Image-Guided Surgery
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Publisher Correction: Glial Responses to Implanted Electrodes in the Brain
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology
Immunotherapies for Autoimmune Diseases
Nature Biomedical Engineering
Medicine
Bioengineering
Computer Science Applications
Biomedical Engineering
Biotechnology