Travelled to:1 × Belgium
1 × Brazil
1 × Canada
1 × France
1 × Japan
1 × Republic of China
1 × Spain
2 × Germany
5 × USA
Collaborated with:J.Bern M.G.Noll A.Slobodová S.Repp T.Engel L.Wang C.Stangier ∅ S.Linckels S.Yakhyayeva C.Qu H.Sack F.Somenzi T.Theobald C.Damm R.Gumienny L.Gericke M.Wenzel O.Coudert I.L.Markov E.Sentovich E.G.Haffner U.Roth J.Gergov C.A.Yeung N.Gibbins N.Shadbolt
Talks about:base (4) web (4) document (3) electron (2) manipul (2) boolean (2) global (2) effici (2) model (2) annot (2)
Person: Christoph Meinel
DBLP: Meinel:Christoph
Contributed to:
2013
2009
2008
2008
2007
2005
2000
20002000
1999
199819971997
199519951994
1989Wrote 18 papers:
- CSCW-2013-GumiennyGWM #collaboration #distributed
- Supporting creative collaboration in globally distributed companies (RG, LG, MW, CM), pp. 995–1007.
- SIGIR-2009-NollYGMS #folksonomy #ranking
- Telling experts from spammers: expertise ranking in folksonomies (MGN, CmAY, NG, CM, NS), pp. 612–619.
- ITiCSE-2008-ReppLM #automation #semantics
- Question answering from lecture videos based on an automatic semantic annotation (SR, SL, CM), pp. 17–21.
- ITiCSE-2008-ReppMY #development #game studies #motivation #student
- Motivation of the students in game development projects (SR, CM, SY), p. 368.
- SAC-2008-NollM #classification #documentation #social #web
- Exploring social annotations for web document classification (MGN, CM), pp. 2315–2320.
- DocEng-2007-NollM #case study #comparative #documentation #metadata
- Authors vs. readers: a comparative study of document metadata and content in the www (MGN, CM), pp. 177–186.
- SEKE-2005-WangM #behaviour #web
- Recovering Individual Accessing Behaviour from Web Logs (LW, CM), pp. 590–595.
- DAC-2000-CoudertMMS #framework
- Web-based frameworks to enable CAD RD (OC, ILM, CM, ES), p. 711.
- EDOC-2000-QuEM #framework #implementation #protocol
- Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol (CQ, TE, CM), pp. 160–169.
- SAC-2000-HaffnerREM #documentation #modelling #predict
- Modeling of Time and Document Aging for Request Prediction — One Step Further (EGH, UR, TE, CM), pp. 984–990.
- DATE-1999-MeinelS #model checking #order #performance
- Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering (CM, CS), pp. 760–761.
- ECDL-1998-BernMS
- The STACS Electronic Submission Service (JB, CM, HS), pp. 639–640.
- DAC-1997-MeinelST #diagrams #linear
- Linear Sifting of Decision Diagrams (CM, FS, TT), pp. 202–207.
- ECDL-1997-BernDM #complexity #library
- The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use (JB, CD, CM), pp. 405–421.
- CAV-1995-BernMS #memory management
- Global rebuilding of OBDDs Avoiding Memory Requirement Maxima (JB, CM, AS), pp. 4–15.
- DAC-1995-BernMS #performance
- Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits (JB, CM, AS), pp. 408–413.
- EDAC-1994-BernGMS
- Boolean Manipulation with Free BDD’s. First Experimental Results (JB, JG, CM, AS), pp. 200–207.
- CSL-1989-Meinel #bound #source code
- Ω-Branching Programs of Bounded Width (CM), pp. 242–253.