The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Umair Siddique" ( http://dblp.L3S.de/Authors/Umair_Siddique )

  Author page on DBLP  Author page in RDF  Community of Umair Siddique in ASPL-2

Publication years (Num. hits)
2011-2015 (21) 2016-2019 (10)
Publication types (Num. hits)
article(9) incollection(1) inproceedings(20) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 32 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács (eds.) Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. Search on Bibsonomy CICM Workshops The full citation details ... 2019 DBLP  BibTeX  RDF
1Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar Formal Analysis of Discrete-Time Systems using z-Transform. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Adnan Rashid, Umair Siddique, Osman Hasan Formal Verification of Platoon Control Strategies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Adnan Rashid, Umair Siddique, Osman Hasan Formal Verification of Platoon Control Strategies. Search on Bibsonomy SEFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Sofiène Tahar Formal verification of stability and chaos in periodic optical systems. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson Formal specification and dependability analysis of optical communication networks. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Noel Brett, Umair Siddique, Borzoo Bonakdarpour Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Usman Sanwal, Umair Siddique Combining Refinement and Signal-Temporal Logic for Biological Systems. Search on Bibsonomy CICM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Sofiène Tahar On the formal analysis of Gaussian optical systems in HOL. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. Search on Bibsonomy NSV@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Osman Hasan, Sofiène Tahar Towards the Formalization of Fractional Calculus in Higher-Order Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Sohaib Ahmad, Osman Hasan, Umair Siddique On the Formalization of Zsyntax with Applications in Molecular Biology. Search on Bibsonomy Scalable Computing: Practice and Experience The full citation details ... 2015 DBLP  BibTeX  RDF
1Umair Siddique, Sofiène Tahar On the Formalization of Cardinal Points of Optical Systems. Search on Bibsonomy Formalisms for Reuse and Systems Integration The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar Formal Analysis of Power Electronic Systems. Search on Bibsonomy ICFEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Osman Hasan, Sofiène Tahar Formal modeling and verification of integrated photonic systems. Search on Bibsonomy SysCon The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar On the Formal Analysis of Photonic Signal Processing Systems. Search on Bibsonomy FMICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar Formalizing Physics: Automation, Presentation and Foundation Issues. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Osman Hasan, Sofiène Tahar Towards the Formalization of Fractional Calculus in Higher-Order Logic. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar Formal Analysis of Optical Systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar Formal Analysis of Optical Systems. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Osman Hasan On the Formalization of Gamma Function in HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Sofiène Tahar Towards the formal analysis of microresonators based photonic systems. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. Search on Bibsonomy SBMF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar On the Formalization of Z-Transform in HOL. Search on Bibsonomy ITP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Sofiène Tahar Towards ray optics formalization of optical imaging systems. Search on Bibsonomy IRI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sohaib Ahmad, Osman Hasan, Umair Siddique Towards Formal Reasoning about Molecular Pathways in HOL. Search on Bibsonomy WETICE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Sofiène Tahar A Framework for Formal Reasoning about Geometrical Optics. Search on Bibsonomy CICM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Vincent Aravantinos, Sofiène Tahar Formal Stability Analysis of Optical Resonators. Search on Bibsonomy NASA Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Vincent Aravantinos, Sofiène Tahar On the Formal Analysis of Geometrical Optics in HOL. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Usman Rauf, Umair Siddique, Jamil Ahmad, Umar Khan Niazi Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN. Search on Bibsonomy BIBM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Umair Siddique, Osman Hasan Formal analysis of fractional order systems in HOL. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license