Result 1 to 20 of 46 total
Incremental preprocessing methods for use in BMC. (English)
Form. Methods Syst. Des. 39, No. 2, 185-204 (2011).
1
Parallel QBF solving with advanced knowledge sharing. (English)
Fundam. Inform. 107, No. 2-3, 139-166 (2011).
2
Parallel SAT solving in bounded model checking. (English)
J. Log. Comput. 21, No. 1, 5-21 (2011).
3
Puddles, parties, and professors: linking word categorization to neural patterns of visuospatial coding (English)
J. Cognitive Neuroscience 23, No. 10, 2636-2649 (2011).
4
Assessing the value of patent portfolios: an international country comparison (English)
Scientometrics 88, No. 3, 787-804 (2011).
5
Exploring three-phase systems and synchronous motors: A low-voltage and low-cost experiment at the sophomore level (English)
IEEE Trans. Education 54, No. 1, 67-76 (2011).
6
Out of reach? - A novel AR interface approach for motor rehabilitation (English)
ISMAR, 219-228 (2011).
7
Prior information biases stimulus representations during vibrotactile decision making (English)
J. Cognitive Neuroscience 22, No. 5, 875-887 (2010).
8
Can the centre-periphery model explain patterns of international scientific collaboration among threshold and industrialised countries? the case of south africa and Germany (English)
Scientometrics 83, No. 1, 181-203 (2010).
9
PaMiraXT: parallel SAT solving with threads and message passing. (English)
J. Satisf. Boolean Model. Comput. 6, No. 4, 203-222 (2009).
10
PaQuBE: distributed QBF solving with advanced knowledge sharing. (English)
Kullmann, Oliver (ed.), Theory and applications of satisfiability testing ‒ SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30‒July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 509-523 (2009).
11
Pamiraxt: parallel SAT solving with threads and message passing (English)
JSAT 6, No. 4, 203-222 (2009).
12
Sustainability of incentives for excellent research - the German case (English)
Scientometrics 81, No. 1, 195-218 (2009).
13
A short study on the validity of miller’s theorem applied to transistor amplifier high-frequency performance (English)
IEEE Trans. Education 52, No. 1, 92-98 (2009).
14
Exploring the basic principles of electric motors and generators with a low-cost sophomore-level experiment (English)
IEEE Trans. Education 52, No. 1, 57-65 (2009).
15
From digital archives to virtual exhibitions (English)
Handbook of Research on Digital Libraries, 88-100 (2009).
16
Paqube: distributed QBF solving with advanced knowledge sharing (English)
SAT, 509-523 (2009).
17
Picoso - A parallel interval constraint solver (English)
PDPTA, 473-479 (2009).
18
Dissociable neural effects of task order control and task set maintenance during dual-task processing (English)
J. Cognitive Neuroscience 20, No. 4, 613-628 (2008).
19
Are international co-publications an indicator for quality of scientific research? (English)
Scientometrics 74, No. 3, 361-377 (2008).
20
Result 1 to 20 of 46 total
Start
Contact
Print
General Help
