author-photo

Serge Autexier

10

Papers

31

Citations

Citation Trend

Filter By

Papers (8) Sort By

Journal Conference Others

CrowdHEALTH: Big Data Analytics and Holistic Health Records.

2019 Studies in health technology and informatics
Show All
- Source
- Cite
- Save
Citations (2)
BEESM, a block-based educational programming tool for end users

2018 NordiCHI | Nordic Conference on Human-Computer Interaction
Show All
- Source
- Cite
- Save
Citations (13)
Towards an Intelligent Tutor for Mathematical Proofs

2012
Show All
- Source
- Cite
- Save
Citations (0)
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

2010 AISC | Artificial Intelligence and Symbolic Computation
Show All
- Source
- Cite
- Save
Citations (7)
Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

2008 AISC | Artificial Intelligence and Symbolic Computation
Show All
- Source
- Cite
- Save
Citations (0)
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics

2008
Show All
- Source
- Cite
- Save
Citations (0)
HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 2: Schablonen zur Übersetzung eines E/R-Schemas in eine OBSCURE Spezifikation

1993
- Serge Autexier
Show All
- Source
- Cite
- Save
Citations (2)
FoxPro 2.0: Ein Schritt nach vorn?

1993
- Serge Autexier
Show All
- Source
- Cite
- Save
Citations (0)