◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Osman Hasan

3 papers hereh-index 29 citations9 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author1
  • last author2

Across the 3 of 3 papers where every author was matched, so the position is known.

fields
  • cs.LO3
same name
  • Osman Hasan — 7 papers, h 7
  • Osman Hasan — 2 papers, h 3
  • Osman Hasan — 1 paper, h 4

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20182026
collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018

Formalization of Lerch's Theorem using HOL Light

Adnan Rashid, Osman Hasan

The Laplace transform is an algebraic method that is widely used for analyzing physical systems by either solving the differential equations modeling their dynamics or by evaluatin…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.