Catalin David

12 papers Misc 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
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