Skip to Main content Skip to Navigation

hal-02888384v1  Book sections
Louis NéelR. PauthenetB. Dreyfus. Chapter VII The Rare Earth Garnets
Progress in Low Temperature Physics, 4, Elsevier, pp.344--383, 1964
hal-03504338v1  Conference papers
Gerard Le Lann. Distributed Systems--Towards a Formal Approach
7th IFIP Congress 1977, Aug 1977, Toronto, Canada. pp.155-160
halshs-01450587v1  Journal articles
Jean-Paul HatonPhilippe Martin. L'analyse des indices et la détection automatique des traits
Revue d'acoustique, Paris : Information propagande françaises / Groupement des acousticiens de langue française, 1978, pp.209-211
hal-00974503v1  Journal articles
Adrien JamiMarc Lenoir. A variational formulation for exterior problems in linear hydrodynamics
Computer Methods in Applied Mechanics and Engineering, Elsevier, 1978, 16 (3), pp.341-359. ⟨10.1016/0045-7825(78)90106-8⟩
inria-00076514v1  Reports
S. Kamin. Final data types and their specification
[Research Report] RR-0047, INRIA. 1980
hal-00697913v1  Journal articles
R. GranthamChristian Gautier. Genetic distances from mRNA sequences
The Science of Nature Naturwissenschaften, Springer Verlag, 1980, 67, pp.93-94
inria-00444517v1  Conference papers
Jean-Michel AyacheB. CarrichonMichel DevyMichel DiazB. Potin et al.  A distributed control system for industrial plants
Euromicro 80 Conference, 1980, London, United Kingdom
inria-00076515v1  Reports
Gérard Berry. On the definition of lambda-calculus models
[Research Report] RR-0046, INRIA. 1980
inria-00076517v1  Reports
M.W. Padberg. Perfect zero-one matrices
[Research Report] RR-0044, INRIA. 1980
inria-00076558v1  Reports
M. Nivat. On the synchronization of processes
[Research Report] RR-0003, INRIA. 1980
hal-00697923v1  Journal articles
R. GranthamChristian GautierManolo GouyR. MercierA. Pave. Codon catalog usage and the genome hypothesis
Nucleic Acids Research, Oxford University Press, 1980, 8 (1), pp.R49-R62. ⟨10.1093/nar/8.1.197-c⟩
inria-00076467v1  Reports
François BaccelliG. Hebuterne. On queues with impatient customers
[Research Report] RR-0094, INRIA. 1981
inria-00444502v1  Conference papers
Jean-Michel AyacheB. CarrichonJean-Pierre CourtiatMichel DiazMarc Shapiro et al.  Fault Tolerance in Rebus, a Distributed System for Industrial Real Time Control
Symposium on Fault-Tolerant Computing (FTCS-11), Jun 1981, Portland, Maine, USA", United States. pp.224-227
hal-01377815v1  Journal articles
Joël QuinquetonMarc Berthod. A Locally Adaptive Peano Scanning Algorithm
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 1981, 3 (4), pp.403-412
inria-00076445v1  Reports
Gérard BoudolLaurent Kott. Recursion induction principle revisited
[Research Report] RR-0115, INRIA. 1982
inria-00444654v1  Conference papers
Marc Shapiro. An Experiment in Distributed Program Design, Using Control Enrichment
icdcs, 1982, Miami-Ft. Lauderdale FL, USA, United States
inria-00076404v1  Reports
Laurent Kott. Unfold/fold program transformations
[Research Report] RR-0155, INRIA. 1982