Home
Browse
Document list
List by document type
List by year
List by subject
List by authors
by stamp
Search
Simple search
Advanced search
Id search
Services
Export a publication list
Haltools
Help
3543 articles – 5276 references
[version française]
.:.
Browse
>
List by document type
> Articles in peer-reviewed journal .:.
1446 documents ordered by :
Date
Title
first author name
document type
Submit date
...
3
-
4
-
5
-
6
-
7
-
8
-
9
...
Configurable Embedded CPG-based Control for Robot Locomotion
Barron-Zambrano J. H., Torres-Huitzil C., Girau B.
International Journal of Advanced Robotic Systems
(2012) [hal-00762298 - version 1]
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
Damm W., Dierks H., Disch S., Hagemann W., Pigorsch F., Scholl C., Waldmann U., Wirtz B.
Science of Computer Programming
77, 10-11 (2012) 1122-1150 [hal-00760387 - version 1]
Recent Trends and Applications in 3D Virtual Screening
Ghemtio L., Pérez-Nueno V. I., Leroux V., Asses Y., Souchet M., Mavridis L., Maigret B., Ritchie D.
Combinatorial Chemistry and High Throughput Screening
15, 9 (2012) 749-769 [hal-00756800 - version 1]
A Runtime Cache for Interactive Procedural Modeling
Reiner T., Lefebvre S., Diener L., García I., Jobard B., Dachsbacher C.
Computers and Graphics
36, 5 (2012) 366-375 [hal-00748542 - version 1]
A Neural Field Model of the Somatosensory Cortex: Formation, Maintenance and Reorganization of Ordered Topographic Maps
Detorakis G., Rougier N. P.
PLoS ONE
7, 7 (2012) e40257 [hal-00716355 - version 1]
Continuations intra- et interphrastiques du français : premiers résultats expérimentaux
Dargnat M., Colotte V., Bartkova K., Bonneau A.
SHS Web of Conferences
1 (2012) 1471-1485 [hal-00764639 - version 1]
Detecting Drug Promiscuity Using Gaussian Ensemble Screening
Pérez-Nueno V. I., Venkatraman V., Mavridis L., Ritchie D.
Journal of Chemical Information and Modeling
52, 8 (2012) 1948-1961 [hal-00756804 - version 1]
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management
Hoffmann J., Weber I., Kraft F.
Journal of Artificial Intelligence Research
44 (2012) 587-632 [hal-00765034 - version 1]
Gabor Noise by Example
Galerne B., Lagae A., Lefebvre S., Drettakis G.
ACM Transactions on Graphics (TOG) - SIGGRAPH 2012 Conference Proceedings
31, 4 (2012) Article No. 73 [hal-00695670 - version 1]
Decoding finger flexion from band-specific ECoG signals in humans
Liang N., Bougrain L.
Frontiers in Neuroprosthetics
6, 91 (2012) [hal-00762316 - version 1]