The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ahmed Mahdi" ( http://dblp.L3S.de/Authors/Ahmed_Mahdi )

  Author page on DBLP  Author page in RDF  Community of Ahmed Mahdi in ASPL-2

Publication years (Num. hits)
2011-2017 (14)
Publication types (Num. hits)
article(2) inproceedings(11) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Ahmed Mahdi Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories: an approach to verify safety properties in embedded and hybrid system models. Search on Bibsonomy 2017   RDF
1Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker 0001 Advancing Software Model Checking Beyond Linear Arithmetic Theories. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 Accurate ICP-based floating-point reasoning. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Vassilis Paliouras On the Encoding Complexity of Quasi-Cyclic LDPC Codes. Search on Bibsonomy IEEE Trans. Signal Processing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Vassilis Paliouras A Low Complexity-High Throughput QC-LDPC Encoder. Search on Bibsonomy IEEE Trans. Signal Processing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Martin Fränzle Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems. Search on Bibsonomy RP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Bernd Westphal, Martin Fränzle Transformations for Compositional Verification of Assumption-Commitment Properties. Search on Bibsonomy RP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Panagiotis Sakellariou, I. Tsatsaragkos, Nikos Kanistras, Ahmed Mahdi, Vassilis Paliouras An FPGA-based prototyping method for verification, characterization and optimization of LDPC error correction systems. Search on Bibsonomy ICSAMOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Vassilis Paliouras Simplified Multi-Level Quasi-Cyclic LDPC Codes for Low-Complexity Encoders. Search on Bibsonomy SiPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Panagiotis Sakellariou, Nikos Kanistras, Ioannis Tsatsaragkos, Vassilis Paliouras Hardware design and verification techniques for Giga-bit Forward-Error Correction systems on FPGAs. Search on Bibsonomy ICECS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ahmed Mahdi, Nikos Kanistras, Vassilis Paliouras An encoding scheme and encoder architecture for rate-compatible QC-LDPC codes. Search on Bibsonomy SiPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikos Kanistras, I. Tsatsaragkos, Ahmed Mahdi, Konstantina Karagianni, Vassilis Paliouras, Fotios Gioulekas, E. Lalos, Kostas Adaos, Michael K. Birbas, Panos Karaivazoglou, M. V. Koziotis, M. Perakis Digital baseband challenges for a 60GHz gigabit link. Search on Bibsonomy ICECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (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