Search Results - Al Ameen, Mahmudul Faisal

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Asynchronous unfold/fold transformation for fixpoint logic

    Asynchronous unfold/fold transformation for fixpoint logic by Faisal Al Ameen, Mahmudul, Kobayashi, Naoki, Sato, Ryosuke

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Completeness for recursive procedures in separation logic

    Completeness for recursive procedures in separation logic by Faisal Al Ameen, Mahmudul, Tatsuta, Makoto

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Completeness and expressiveness of pointer program verification by separation logic

    Completeness and expressiveness of pointer program verification by separation logic by Tatsuta, Makoto, Chin, Wei-Ngan, Al Ameen, Mahmudul Faisal

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Partial Matching of Bangla Words

    Partial Matching of Bangla Words by Farhana Jahan, Mahmudul Faisal Al Ameen, Khondaker Abdullah-Al-Mamun

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Segment and Semi Circle Based Geometric Characters of Bangla and An Efficient Relevant Method of Character Recognition

    Segment and Semi Circle Based Geometric Characters of Bangla and An Efficient Relevant Method of Character Recognition by Khondaker Abdullah-Al-Mamun, Nafisa Khanam Siddika, Mahmudul Faisal Al Ameen, Farhana Sarker, Mostofa Akbar, Md

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Completeness of Pointer Program Verification by Separation Logic

    Completeness of Pointer Program Verification by Separation Logic by Tatsuta, M., Wei-Ngan Chin, Ameen, M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Algorithms for synthesis and average distribution of variable sized MOS components for efficient Analog VLSI devices

    Algorithms for synthesis and average distribution of variable sized MOS components for efficient Analog VLSI devices by Al Ameen, M.F., Islam, D., Hossain, S.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Introducing Vector Segmented Bangla Font (FZVSBF) for Small Hand Held Devices

    Introducing Vector Segmented Bangla Font (FZVSBF) for Small Hand Held Devices by Al Ameen, M.F., Islam, A., Mamun, F., Hassan, M.Z.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: