| 2012 |
— |
conf |
GreenCom
Vaibhav Bajpai, Vitali Bashko, Catalin David, Siarhei Kuryla, Vladislav Perelman, Johannes Schauer, Nikolay Melnikov, Anuj Sehgal, Jürgen Schönwälder
|
| 2012 |
— |
conf |
AISC/MKM/Calculemus
Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
|
| 2011 |
— |
conf |
SePublica
Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea
|
| 2011 |
J |
jnl |
CoRR
Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
|
| 2011 |
— |
conf |
ESWC (2)
Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
|
| 2011 |
Misc |
conf |
ICCS
Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
|
| 2011 |
J |
jnl |
CoRR
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
|
| 2011 |
— |
conf |
Calculemus/MKM
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
|
| 2010 |
J |
jnl |
CoRR
Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev
|
| 2010 |
— |
conf |
ESWC (2)
Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev
|
| 2010 |
J |
jnl |
Math. Comput. Sci.
Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller
|
| 2009 |
— |
conf |
GI Jahrestagung
Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase
|