INRIA - ©HAL

http://hal.inria.fr/oai/oai.php [ Identify, ListSets, ListMetadataFormats, ListIdentifiers, ListRecords ]


First checked: 10/4/2006
Checked 6 times
Check failed 0 times
Last checked: 3/5/2007

Record Counts

  Metadata Formats
Sets oai_dc Count oai_inria Count
- No setSpec - ListIdentifiers ListRecords 8116 ListIdentifiers ListRecords 11871
Sixth International Workshop on Automated Verification of Critical Systems (AVOCS06)
ListIdentifiers ListRecords 22 ListIdentifiers ListRecords 22
Colloque Francophone sur l'Ingénierie des Protocoles 2006 (CFIP2006)
ListIdentifiers ListRecords 35 ListIdentifiers ListRecords 35
Chemical Sciences (CHIM)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 4
Chemo-informatique (CHIM:CHEM)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Chimie théorique et/ou physique (CHIM:THEO)
ListIdentifiers ListRecords 3 ListIdentifiers ListRecords 3
Workshop on Formal and Computational Cryptography FCC 2006 (FCC2006)
ListIdentifiers ListRecords 9 ListIdentifiers ListRecords 9
IMS 2006 (IMS2006)
ListIdentifiers ListRecords 0 ListIdentifiers ListRecords 1
Computer Science (INFO)
ListIdentifiers ListRecords 7977 ListIdentifiers ListRecords 11543
Artificial Intelligence (INFO:INFO_AI)
ListIdentifiers ListRecords 244 ListIdentifiers ListRecords 309
Computer Arithmetic (INFO:INFO_AO)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 6
Architecture (INFO:INFO_AR)
ListIdentifiers ListRecords 30 ListIdentifiers ListRecords 50
Automatic Control Engineering (INFO:INFO_AU)
ListIdentifiers ListRecords 18 ListIdentifiers ListRecords 24
Bioinformatic (INFO:INFO_BI)
ListIdentifiers ListRecords 19 ListIdentifiers ListRecords 24
Biotechnology (INFO:INFO_BT)
ListIdentifiers ListRecords 6 ListIdentifiers ListRecords 8
Computational Complexity (INFO:INFO_CC)
ListIdentifiers ListRecords 14 ListIdentifiers ListRecords 26
Computational Engineering, Finance, and Science (INFO:INFO_CE)
ListIdentifiers ListRecords 13 ListIdentifiers ListRecords 15
Computational Geometry (INFO:INFO_CG)
ListIdentifiers ListRecords 55 ListIdentifiers ListRecords 83
Computation and Language (INFO:INFO_CL)
ListIdentifiers ListRecords 69 ListIdentifiers ListRecords 86
Cryptography and Security (INFO:INFO_CR)
ListIdentifiers ListRecords 54 ListIdentifiers ListRecords 103
Computer Vision and Pattern Recognition (INFO:INFO_CV)
ListIdentifiers ListRecords 139 ListIdentifiers ListRecords 165
Computers and Society (INFO:INFO_CY)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Databases (INFO:INFO_DB)
ListIdentifiers ListRecords 31 ListIdentifiers ListRecords 44
Distributed, Parallel, and Cluster Computing (INFO:INFO_DC)
ListIdentifiers ListRecords 138 ListIdentifiers ListRecords 160
Digital Libraries (INFO:INFO_DL)
ListIdentifiers ListRecords 5 ListIdentifiers ListRecords 56
Discrete Mathematics (INFO:INFO_DM)
ListIdentifiers ListRecords 12 ListIdentifiers ListRecords 18
Data Structures and Algorithms (INFO:INFO_DS)
ListIdentifiers ListRecords 136 ListIdentifiers ListRecords 176
Embedded Systems (INFO:INFO_ES)
ListIdentifiers ListRecords 25 ListIdentifiers ListRecords 40
General Literature (INFO:INFO_GL)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Computer Graphics and Virtual Reality (INFO:INFO_GR)
ListIdentifiers ListRecords 33 ListIdentifiers ListRecords 38
Computer Science and Game Theory (INFO:INFO_GT)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Human-Computer Interaction (INFO:INFO_HC)
ListIdentifiers ListRecords 66 ListIdentifiers ListRecords 82
Computer Aided Engineering (INFO:INFO_IA)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 10
Medical Imaging (INFO:INFO_IM)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 26
Information Retrieval (INFO:INFO_IR)
ListIdentifiers ListRecords 99 ListIdentifiers ListRecords 125
Information Theory and Coding (INFO:INFO_IT)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 4
Ubiquitous Computing (INFO:INFO_IU)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 5
Learning (INFO:INFO_LG)
ListIdentifiers ListRecords 67 ListIdentifiers ListRecords 80
Logic in Computer Science (INFO:INFO_LO)
ListIdentifiers ListRecords 138 ListIdentifiers ListRecords 180
Multiagent Systems (INFO:INFO_MA)
ListIdentifiers ListRecords 16 ListIdentifiers ListRecords 29
Mobile Computing (INFO:INFO_MC)
ListIdentifiers ListRecords 9 ListIdentifiers ListRecords 15
Multimedia (INFO:INFO_MM)
ListIdentifiers ListRecords 36 ListIdentifiers ListRecords 44
Modeling and Simulation (INFO:INFO_MO)
ListIdentifiers ListRecords 27 ListIdentifiers ListRecords 46
Mathematical Software (INFO:INFO_MS)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Numerical Analysis (INFO:INFO_NA)
ListIdentifiers ListRecords 18 ListIdentifiers ListRecords 25
Neural and Evolutionary Computing (INFO:INFO_NE)
ListIdentifiers ListRecords 35 ListIdentifiers ListRecords 84
Networking and Telecommunication (INFO:INFO_NI)
ListIdentifiers ListRecords 233 ListIdentifiers ListRecords 342
Other (INFO:INFO_OH)
ListIdentifiers ListRecords 6275 ListIdentifiers ListRecords 9209
Operating Systems (INFO:INFO_OS)
ListIdentifiers ListRecords 35 ListIdentifiers ListRecords 41
Performance and Reliability (INFO:INFO_PF)
ListIdentifiers ListRecords 32 ListIdentifiers ListRecords 51
Programming Languages (INFO:INFO_PL)
ListIdentifiers ListRecords 78 ListIdentifiers ListRecords 100
Robotics (INFO:INFO_RB)
ListIdentifiers ListRecords 20 ListIdentifiers ListRecords 21
Operations Research (INFO:INFO_RO)
ListIdentifiers ListRecords 41 ListIdentifiers ListRecords 71
Symbolic Computation (INFO:INFO_SC)
ListIdentifiers ListRecords 66 ListIdentifiers ListRecords 72
Sound (INFO:INFO_SD)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 5
Software Engineering (INFO:INFO_SE)
ListIdentifiers ListRecords 54 ListIdentifiers ListRecords 79
Image Processing (INFO:INFO_TI)
ListIdentifiers ListRecords 11 ListIdentifiers ListRecords 19
Signal and Image Processing (INFO:INFO_TS)
ListIdentifiers ListRecords 9 ListIdentifiers ListRecords 10
Document and Text Processing (INFO:INFO_TT)
ListIdentifiers ListRecords 124 ListIdentifiers ListRecords 127
Web (INFO:INFO_WB)
ListIdentifiers ListRecords 15 ListIdentifiers ListRecords 19
Inria (INRIA)
ListIdentifiers ListRecords 7777 ListIdentifiers ListRecords 11357
Inria Futurs (INRIA-FUTURS)
ListIdentifiers ListRecords 355 ListIdentifiers ListRecords 388
Inria Lorraine (INRIA-LORRAINE)
ListIdentifiers ListRecords 858 ListIdentifiers ListRecords 3918
Inria Rennes (INRIA-RENNES)
ListIdentifiers ListRecords 1417 ListIdentifiers ListRecords 1433
Inria Rhône-Alpes (INRIA-RHA)
ListIdentifiers ListRecords 802 ListIdentifiers ListRecords 867
Inria Rocquencourt (INRIA-ROCQ)
ListIdentifiers ListRecords 2403 ListIdentifiers ListRecords 2491
Rapports de recherche et Technique de l'Inria (INRIA-RRRT)
ListIdentifiers ListRecords 6338 ListIdentifiers ListRecords 6338
Inria Sophia-Antipolis (INRIA-SOPHIA)
ListIdentifiers ListRecords 1977 ListIdentifiers ListRecords 2039
Irisa (IRISA)
ListIdentifiers ListRecords 1102 ListIdentifiers ListRecords 1114
International Workshop on Frontiers in Handwriting Recognition (IWFHR10)
ListIdentifiers ListRecords 95 ListIdentifiers ListRecords 95
Premières Journées Francophones de Programmation par Contraintes - JFPC 2005 (JFPC05)
ListIdentifiers ListRecords 49 ListIdentifiers ListRecords 49
Deuxièmes Journées Francophones de Programmation par Contraintes - JFPC 2006 (JFPC06)
ListIdentifiers ListRecords 46 ListIdentifiers ListRecords 46
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées (LIAMA)
ListIdentifiers ListRecords 17 ListIdentifiers ListRecords 80
Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
ListIdentifiers ListRecords 724 ListIdentifiers ListRecords 4036
Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC (MAJESTIC05)
ListIdentifiers ListRecords 64 ListIdentifiers ListRecords 64
Mathematics (MATH)
ListIdentifiers ListRecords 267 ListIdentifiers ListRecords 323
Commutative Algebra (MATH:MATH_AC)
ListIdentifiers ListRecords 13 ListIdentifiers ListRecords 13
Algebraic Geometry (MATH:MATH_AG)
ListIdentifiers ListRecords 19 ListIdentifiers ListRecords 19
Analysis of PDEs (MATH:MATH_AP)
ListIdentifiers ListRecords 20 ListIdentifiers ListRecords 25
Classical Analysis and ODEs (MATH:MATH_CA)
ListIdentifiers ListRecords 3 ListIdentifiers ListRecords 4
Combinatorics (MATH:MATH_CO)
ListIdentifiers ListRecords 7 ListIdentifiers ListRecords 14
Category Theory (MATH:MATH_CT)
ListIdentifiers ListRecords 5 ListIdentifiers ListRecords 6
Complex Variables (MATH:MATH_CV)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Differential Geometry (MATH:MATH_DG)
ListIdentifiers ListRecords 6 ListIdentifiers ListRecords 7
Dynamical Systems (MATH:MATH_DS)
ListIdentifiers ListRecords 13 ListIdentifiers ListRecords 25
Functional Analysis (MATH:MATH_FA)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 15
General Mathematics (MATH:MATH_GM)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 2
History and Overview (MATH:MATH_HO)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Logic (MATH:MATH_LO)
ListIdentifiers ListRecords 5 ListIdentifiers ListRecords 12
Mathematical Physics (MATH:MATH_MP)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 4
Numerical Analysis (MATH:MATH_NA)
ListIdentifiers ListRecords 33 ListIdentifiers ListRecords 36
Number Theory (MATH:MATH_NT)
ListIdentifiers ListRecords 3 ListIdentifiers ListRecords 8
Operator Algebras (MATH:MATH_OA)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Optimization and Control (MATH:MATH_OC)
ListIdentifiers ListRecords 115 ListIdentifiers ListRecords 145
Probability (MATH:MATH_PR)
ListIdentifiers ListRecords 59 ListIdentifiers ListRecords 64
Rings and Algebras (MATH:MATH_RA)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 4
Spectral Theory (MATH:MATH_SP)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 3
Statistics (MATH:MATH_ST)
ListIdentifiers ListRecords 10 ListIdentifiers ListRecords 10
Nonlinear Sciences (NLIN)
ListIdentifiers ListRecords 9 ListIdentifiers ListRecords 13
Adaptation and Self-Organizing Systems (NLIN:NLIN_AO)
ListIdentifiers ListRecords 7 ListIdentifiers ListRecords 11
Chaotic Dynamics (NLIN:NLIN_CD)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Cellular Automata and Lattice Gases (NLIN:NLIN_CG)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Exactly Solvable and Integrable Systems (NLIN:NLIN_SI)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Physics (PHYS)
ListIdentifiers ListRecords 26 ListIdentifiers ListRecords 28
Condensed Matter (PHYS:COND)
ListIdentifiers ListRecords 3 ListIdentifiers ListRecords 3
Disordered Systems and Neural Networks (PHYS:COND:CM_DS_NN)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Statistical Mechanics (PHYS:COND:CM_SM)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Mechanics (PHYS:MECA)
ListIdentifiers ListRecords 6 ListIdentifiers ListRecords 6
Acoustics (PHYS:MECA:ACOU)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Biomechanics (PHYS:MECA:BIOM)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Mechanical engineering (PHYS:MECA:GEME)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Mechanics of the fluids (PHYS:MECA:MEFL)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Mechanics of materials (PHYS:MECA:MEMA)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Mechanics of the structures (PHYS:MECA:STRU)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Mathematical Physics (PHYS:MPHY)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 4
Physics (PHYS:PHYS)
ListIdentifiers ListRecords 13 ListIdentifiers ListRecords 14
Atmospheric and Oceanic Physics (PHYS:PHYS:PHYS_AO-PH)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Biological Physics (PHYS:PHYS:PHYS_BIO-PH)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 2
Computational Physics (PHYS:PHYS:PHYS_COMP-PH)
ListIdentifiers ListRecords 3 ListIdentifiers ListRecords 3
Fluid Dynamics (PHYS:PHYS:PHYS_FLU-DYN)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
General Physics (PHYS:PHYS:PHYS_GEN-PH)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Geophysics (PHYS:PHYS:PHYS_GEO-PH)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Instrumentation and Detectors (PHYS:PHYS:PHYS_INS-DET)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Optics (PHYS:PHYS:PHYS_OPTICS)
ListIdentifiers ListRecords 3 ListIdentifiers ListRecords 3
Quantum Physics (PHYS:QPHY)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 3
Life Sciences (SDV)
ListIdentifiers ListRecords 56 ListIdentifiers ListRecords 86
Biochimie, Biologie Moléculaire (SDV:BBM)
ListIdentifiers ListRecords 6 ListIdentifiers ListRecords 17
Biomolecules (SDV:BBM:BC)
ListIdentifiers ListRecords 0 ListIdentifiers ListRecords 2
Genomics (SDV:BBM:GTP)
ListIdentifiers ListRecords 5 ListIdentifiers ListRecords 14
Biologie cellulaire (SDV:BC)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 6
Subcellular Processes (SDV:BC:BC)
ListIdentifiers ListRecords 0 ListIdentifiers ListRecords 1
Cell Behavior (SDV:BC:IC)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 5
Quantitative Methods (SDV:BIBS)
ListIdentifiers ListRecords 19 ListIdentifiers ListRecords 24
Biodiversité (SDV:BID)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Populations and Evolution (SDV:BID:EVO)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Biotechnologies (SDV:BIO)
ListIdentifiers ListRecords 6 ListIdentifiers ListRecords 8
Ecologie, Environnement (SDV:EE)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 5
Ingénierie biomédicale (SDV:IB)
ListIdentifiers ListRecords 3 ListIdentifiers ListRecords 5
Imagerie (SDV:IB:IMA)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 2
Médecine humaine et pathologie (SDV:MHEP)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 3
Cardiologie et système cardiovasculaire (SDV:MHEP:CSC)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Tissues and Organs (SDV:MHEP:PHY)
ListIdentifiers ListRecords 0 ListIdentifiers ListRecords 2
Neurons and Cognition (SDV:NEU)
ListIdentifiers ListRecords 7 ListIdentifiers ListRecords 10
Sciences cognitives (SDV:NEU:SC)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Other (SDV:OT)
ListIdentifiers ListRecords 8 ListIdentifiers ListRecords 14
Sciences agricoles (SDV:SA)
ListIdentifiers ListRecords 4 ListIdentifiers ListRecords 4
Sciences et techniques de l'agriculture (SDV:SA:STA)
ListIdentifiers ListRecords 1 ListIdentifiers ListRecords 1
Santé publique et épidémiologie (SDV:SPEE)
ListIdentifiers ListRecords 2 ListIdentifiers ListRecords 3
WONS 2006 (WONS2006)
ListIdentifiers ListRecords 27 ListIdentifiers ListRecords 27