Ident. | Authors (with country if any) | Title |
---|
000019 (1999) |
Nissim Francez [Israël] | On Fibring Feature Logics with Concatenation Logics |
000134 (1995) |
Dov Dori ; Karl Tombre [Israël, France] | From engineering drawings to 3D cad models: are we ready now? |
000887 (1987) |
Stéphane Kaplan [Israël, France] ; Amir Pnueli [Israël] | Specification and implementation of concurrently accessed data structures: An abstract data type approach |
000E48 (2008) |
Marwan Odeh [Israël, Niger] ; Ella Ophir [Israël] ; Jacob Bornstein [Israël] | Hypospadias mimicking female genitalia on early second trimester sonographic examination |
001062 (2007) |
Nachum Dershowitz [Israël] ; Georg Moser [Autriche] | The Hydra Battle Revisited |
001368 (2000) |
David Gaatone [Israël] | Lagae, Véronique, Les constructions en ‘DE’ + Adjectif. Typologie et Analyse. Louvain: Presses Universitaires de Louvain, 1998, vii + 142 pp. 90 6186 858 0 |
001413 (2010) |
Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
001675 (1989) |
William D. Powlis [États-Unis] ; Martin D. Altschuler [États-Unis] ; Yair Censor [Israël] ; E. Loren Buhle Jr. [États-Unis] | Semi-automated radiotherapy treatment planning with a mathematical model to satisfy treatment goals |
001C44 (2009) |
Nachum Dershowitz [Israël] | On Lazy Commutation |
001C76 (1999) |
Nachum Dershowitz [Israël] ; Subrata Mitra [Inde] | Jeopardy |
001C83 (2000) |
Shay Kutten [Israël] ; Rafail Ostrovsky [Colombie] ; Boaz Patt-Shamir [Israël] | The Las-Vegas Processor Identity Problem (How and When to Be Unique) |
001D98 (1982) |
R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France] | International Symposium on bone vascularization |
002309 (1994) |
Arnon Avron [Israël, Burundi] ; Nada Sasson [Israël] | Stability, Sequentiality and Demand Driven Evaluation in Dataflow |
002408 (2006) |
Anna Zamansky [Israël] ; Nissim Francez [Israël] ; Yoad Winter [Israël] | A ‘Natural Logic’ inference system using the Lambek calculus |
002922 (1989) |
Stéphane Kaplan [Israël, France] ; Christine Choppy [France] | Abstract rewriting with concrete operators |
002A83 (2000) |
David Gaatone [Israël] | L'Huillier, Monique, Advanced French Grammar. Cambridge: Cambridge University Press, 1999, ix + 706 pp. 0 521 48228 3 |
003671 (2012) |
Ghayda M. Mirzaa [États-Unis] ; Robert L. Conway [États-Unis] ; Karen W. Gripp [États-Unis] ; Tally Lerman-Sagie [Israël] ; Dawn H. Siegel [États-Unis] ; Linda S. Devries [Pays-Bas] ; Dorit Lev [Israël] ; Nancy Kramer [États-Unis] ; Elizabeth Hopkins [États-Unis] ; John M. Graham Jr [États-Unis] ; William B. Dobyns [États-Unis] | Megalencephaly‐capillary malformation (MCAP) and megalencephaly‐polydactyly‐polymicrogyria‐hydrocephalus (MPPH) syndromes: Two closely related disorders of brain overgrowth and abnormal brain and body morphogenesis |
003746 (1987) |
Sammy Garber [Israël] ; Ephraim Nissan [Israël] ; Amnon Shur [Israël] | The ‘Wining and dining’ project — I. ‘The wine adviser’, a deductive database |
003863 (2013) |
Mariele Gatto [Italie] ; Luca Iaccarino [Italie] ; Anna Ghirardello [Italie] ; Nicola Bassi [Italie] ; Patrizia Pontisso [Italie] ; Leonardo Punzi [Italie] ; Yehuda Shoenfeld [Israël] ; Andrea Doria [Italie] | Serpins, Immunity and Autoimmunity: Old Molecules, New Functions |
003927 (2009) |
Yael Sygal [Israël] ; Shuly Wintner [Israël] | Associative Grammar Combination Operators for Tree-Based Grammars |
003A25 (2007) |
Peter Schneider-Kamp [Allemagne] ; René Thiemann [Allemagne] ; Elena Annov [Israël] ; Michael Codish [Israël] ; Jürgen Giesl [Allemagne] | Proving Termination Using Recursive Path Orders and SAT Solving |