KORAMIUS PATRICIUS HAUGUMENSIS, EINE NEUE UNTERART AUS KIRGISTAN = K. P. H. UNE NOUVELLE SOUS ESPECE DU KIRGHIZISTANEISNER C.1979; ZOOL. MEDED. RIJKSMUS. NAT. HIST. LEIDEN; NLD; DA. 1979; VOL. 54; NO 19; PP. 279-280; BIBL. 4 REF.Article

PARNASSIANA NOVA. XLIX. DIE ARTEN UND UNTERARTEN DER PARNASSIIDAE (LEPIDOPTERA) (ZWEITER TEIL). = PARNASSIANA NOVA. XLIX. LES ESPECES ET SOUS-ESPECES DE P. (L.) (2EME PARTIE)EISNER C.1976; ZOOL. VERH.; NEDERL.; DA. 1976; NO 146; PP. 99-266; H.T. 2Serial Issue

PARNASSIANA NOVA LV ALANCASTRIA CERISYI GODARDEISNER C.1979; ZOOL. MEDED. RIJKSMUS. NAT. HIST. LEIDEN; NLD; DA. 1979; VOL. 53; NO 26; 2 P.; BIBL. 4 REF.Article

PARNASSIANA NOVA LVII. BEITRAG ZUR OEKOLOGIE UND TAXONOMIE DER AFGHANISCHEN PARNASSIIDAE (LEPIDOPTERA) = P.N. LVIII. CONTRIBUTION A L'ECOLOGIE ET A LA TAXONOMIE DES P. (L.) D'AFGHANISTANEISNER C; NAUMANN CM.1980; ZOOL. VERH.; NLD; DA. 1980; NO 178; 35 P.; H.T. 9; ABS. ENG; BIBL. 3 P.Serial Issue

PARNASSIANA NOVA. L. NEUE UNTERARTEN DER PARNASSIIDAE. = PARNASSIANA NOVA. L. NOUVELLES SOUS-ESPECES DE PEISNER C; SAKAI S.1975; ZOOL. MEDED. RIJKSMUS. NAT. HIST. LEIDEN; NEDERL.; DA. 1975; VOL. 49; NO 8; PP. 81-83; H.T. 1Serial Issue

PARNASSIANA NOVA LV. ALLANCASTRIA LOURISTANA BOYRAHMADIENSIS SUBSP. NOV.BLOM W; EISNER C.1979; ZOOL. MEDED. RIJKSMUS. NAT. HIST. LEIDEN; NLD; DA. 1979; VOL. 54; NO 18; PP. 277-278; H.T. 2Article

BEMERKUNGEN UEBER PARNASSIUS IN DEN KARPATHEN UND DER TSCHECHOSLOWAKET. = OBSERVATION DE P. DANS LES CARPATHES ET EN TCHECOSLOVAQUIEEISNER C; ZELNY J.1977; ZOOL. MEDED. RIJKSMUS. NAT. HIST. LEIDEN; NEDERL.; DA. 1977; VOL. 51; NO 6; PP. 95-97; H.T. 1Serial Issue

PARNASSIANA NOVA. XLVIII. ZWEI NEUE UNTERARTEN VON ALLANCASTRIA CERISYI GODART AUS ANATOLIEN (LEPIDOPTERA, PARNASSIIDAE) = P. N. XLVIII. DEUX NOUVELLES SOUS-ESPECES D'A. C. GODART D'ANATOLIE (L. P.)EISNER C; SIGBERT WAGENER P.1974; ZOOL. MEDED. RIJKSMUS. NAT. HIST. LEIDEN; NEDERL.; DA. 1974; VOL. 48; NO 10; PP. 81-83; H.T. 1 H.T..Article

A GABAergic habenulo-raphe pathway mediates both serotoninergic and hypnogenic effects of vasotocin in catsPAVEL, S; EISNER, C.Brain research bulletin. 1984, Vol 13, Num 5, pp 623-627, issn 0361-9230Article

Using symbolic model checking to verify the railway stations of Hoorn-Kersenboogerd and HeerhugowaardEISNER, C.Lecture notes in computer science. 1999, pp 97-109, issn 0302-9743, isbn 3-540-66559-5Conference Paper

Efficient detection of vacuity in ACTL formulasBEER, I; BEN-DAVID, S; EISNER, C et al.Lecture notes in computer science. 1997, pp 279-290, issn 0302-9743, isbn 3-540-63166-6Conference Paper

RuleBase : Model checking at IBMBEER, I; BEN-DAVID, S; WOLFSTHAL, Y et al.Lecture notes in computer science. 1997, pp 480-483, issn 0302-9743, isbn 3-540-63166-6Conference Paper