Skip to main navigation Skip to Content

IPM

  • Director's Message
  • About IPM
  • The Constitution of IPM
  • Contact US
  • فارسي
  • Home
  • People
    • Administrative Board
    • Senior Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers and Units
    • Grid Computing Group
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Publications
    • Akhbar
    • Papers
    • Books
  • Bulletin Board
    • New Bulletins
    • Archive 2012
    • Archive 2011
  • Calendar
  • E - Catalog















Home
  • “ Schools ”

    IPM
    • Astronomy
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano-Science
    • Particles and Accelerators
    • Philosophy
    • Physics

    “ Centers and Units ”

    IPM
    • GCG Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center

    “ Research Groups ”

    IPM
    • Bioinformatics
    • Combinatorics and Computing
    • Commutative Algebra
    • Logic
    • IPM HPC Laboratory

    “ Useful Links ”

    IPM
    • Gallery of Visitors
    • Contact Us
    • Gallery of Photos

    “ E-Services ”

    IPM
    • Webmail
    • Official Automation System
    • Library
    • Telephone Book
  • “Papers of School of Mathematics”

     

    Pages: 1 2 3

      1. S. Salehipourmehr ,
    Computation in Logic and Logic in Computation,
    in: Proceedings of the Third International Conference on Contemporary Issues in Computer and Information Sciences, , 2012, pp. 580-583  [abstract]

      
     2. S. Salehipourmehr ,
    Godel's incompleteness phenomenon from computational viewpoint,
    in: The 14th Congress of Logic, Methodology and Philosophy of Science, , 2011, pp. 1-5  [abstract]

      
     3. Sh. Heidarkhani,
    Three solutions for systems of n fourth order partial differential equations,
    in: Proceeding of International Conference on Differential & Difference Equations and Applications, , 2011, pp.   [abstract]

      
     4. M. S. Fallah (Joint with B. Sattarzadeh),
    Is cryptic able to detect insider attacks?,
    in: LNCS, , 2011, pp. 230-244  [abstract]

      
     5. M. S. Fallah (Joint with A. Afshar),
    Reconstructing security types for automated policy enforcement in FABLE,
    in: International Conference on Network and System Security, , 2011, pp. 358-363  [abstract]

      
     6. S. Azam (Joint with H. Yamane and M. Yousofzadeh),
    Exposition on affine and elliptic root systems and elliptic Lie algebras,
    in: The Proceedings of New developments in group representation theory and noncommutative harmonic analysis, , 2011, pp.   [abstract]

      
     7. M. S. Fallah (Joint with A. Noorollahi),
    A logical view of nonmonotonicity in access control,
    in: Poceedings of the International Wrokshop on Model-Based and Policy-Based Engineering in Information Security, , 2011, pp.   [abstract]

      
     8. A. Abdollahi,
    Cohomologically trivial modules over finite p-groups,
    in: Abstracts of International Congress of Mathematicians, , 2010, pp. 10-11  [abstract]

      
     9. G. B.. Khosrovshahi and B. Tayfeh-Rezaie,
    Trades and t-designs,
    London Math. Soc. Lecture Note Ser. in: Surveys in combinatorics 2009, 365, 2009, pp. 91-112  [abstract]

      
     10. K. Nourouzi,
    Baire theorem in probabilistic modular spaces,
    in: Proceedings of WCE 2008, , 2008, pp.   [abstract]

      
     

    back to top  

    Pages: 1 2 3

footer
  • -IPM
  • -20 Years
  • -INO
  • -ILSF
  • -GCG
  • -Iranet
  • -LIBRARY
  • -NIC
  • -BIO
  • -CCG
  • -Logic
prev next

Exploring IPM

  • People
    • Administrative Board
    • Senior Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers
    • Deputy for Research
    • Grid Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Groups
    • Bioinformatics
    • Combinatorics and Computing
    • Logic
    • Commutative Algebra
    • IPM HPC Laboratory
  • E-Services
    • Library Catalog
    • Official Automation System
    • Official Automation System (dabir)
    • Telephone Book
    • Webmail
  • Publications
    • Akhbar
    • Papers
    • Books

 COPYRIGHT 2012 © ALL RIGHTS RESERVED

Please submit your comments or questions here, or contact Webmaster  |  ipmic@ipm.ir