The SCEAS System
Navigation Menu

Search the dblp DataBase


Ingo Dahn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ingo Dahn
    Interpretation of a Mizar-Like Logic in First-Order Logic. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:137-151 [Conf]
  2. Ingo Dahn
    Management of Informal Mathematical Knowledge ? Lessons Learned from the Trial-Solution Project. [Citation Graph (0, 0)][DBLP]
    Electronic Information and Communication in Mathematics, 2002, pp:29-43 [Conf]
  3. Giorgio Da Bormida, Marco Di Girolamo, Ingo Dahn, Elena Murelli
    An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services. [Citation Graph (0, 0)][DBLP]
    EDUTECH, 2004, pp:113-120 [Conf]
  4. Ingo Dahn
    Publikation mathematischer Texte im Internet. [Citation Graph (0, 0)][DBLP]
    Herausforderungen an die Wissensorganisation (ISKO Tagung), 1997, pp:181-192 [Conf]
  5. Ingo Dahn
    Developing a Service Based Architecture in the Mobilearn E-Learning Project. [Citation Graph (0, 0)][DBLP]
    LeGE-WG 3, 2003, pp:- [Conf]
  6. Ingo Dahn
    Software Interoperability Problems and E-Learning. [Citation Graph (0, 0)][DBLP]
    LeGE-WG 2, 2003, pp:- [Conf]
  7. Ingo Dahn
    eEDS - open specifications facilitate European academic exchange. [Citation Graph (0, 0)][DBLP]
    Elektrotechnik und Informationstechnik, 2005, v:122, n:12, pp:482-484 [Journal]
  8. Ingo Dahn, Laurent Vigneron
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  9. Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
    Automated Deduction: a Technological Point of View. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:7-14 [Journal]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002