Result 1 to 20 of 65 total
Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 58-74 (2012).
1
Distributed computing in sensor networks using multi-agent systems and code morphing. (English)
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 11th international conference, ICAISC 2012, Zakopane, Poland, April 29‒May 3, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-29349-8/pbk). Lecture Notes in Computer Science 7268. Lecture Notes in Artificial Intelligence, 415-423 (2012).
2
Secure the clones. (English)
Log. Methods Comput. Sci. 8, No. 2, Paper No. 5, 30 p., electronic only (2012).
3
Intelligent mobility - autonomous outdoor robotics at the DFKI. (English)
KI, Künstl. Intell. 25, No. 2, 133-139 (2011).
4
Secure the clones. Static enforcement of policies for secure object copying. (English)
Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 317-337 (2011).
5
Predictive compliance for interaction control of robot manipulators (English)
IROS, 4134-4140 (2011).
6
Heterogeneous modules with a homogeneous electromechanical interface in multi-module systems for space exploration (English)
ICRA, 1964-1969 (2011).
7
AILA - design of an autonomous mobile dual-arm robot (English)
ICRA, 5147-5153 (2011).
8
io-port 70683408 Folgheraiter, Michele;
Kirchner, Elsa Andrea;
Seeland, Anett;
Kim, Su Kyoung;
Jordan, Mathias;
Wöhrle, Hendrik;
Bongardt, Bertold;
Schmidt, Steffen;
Albiez, Jan Christian;
Kirchner, Frank
A multimodal brain-arm interface for operation of complex robotic systems and upper limb motor recovery (English)
BIODEVICES, 150-162 (2011).
9
Secure the clones - static enforcement of policies for secure object copying (English)
ESOP, 317-337 (2011).
10
Managing plans: integrating deliberation and reactive execution schemes. (English)
Robot. Auton. Syst. 58, No. 9, 1057-1066 (2010).
11
Dynamic motion modelling for legged robots. (English)
Comput. Res. Repos. 2010, Article No. 1005.5035 (2010).
12
The proof monad. (English)
J. Log. Algebr. Program. 79, No. 3-5, 264-277 (2010).
13
Constraint based strategies. (English)
Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 13-26 (2010).
14
Managing plans: integrating deliberation and reactive execution schemes (English)
Robotics and Autonomous Systems 58, No. 9, 1057-1066 (2010).
15
Automatic robot supervision within a lunar crater environment (English)
ISR/ROBOTIK, 1-8 (2010).
16
Spaceclimber: development of a six-legged climbing robot for space exploration (English)
ISR/ROBOTIK, 1-8 (2010).
17
Dynamic collision avoidance for an anthropomorphic manipulator using a 3D TOF camera (English)
ISR/ROBOTIK, 1-7 (2010).
18
Towards an intelligent foot for walking and climbing robots (English)
ISR/ROBOTIK, 1-8 (2010).
19
A co-simulation framework for design, test and parameter optimization of robotic systems (English)
ISR/ROBOTIK, 1-6 (2010).
20
Result 1 to 20 of 65 total
Start
Contact
Print
General Help
