Existence possible d'un gros globule de polymère ayant un petit noyauGROSBERG, A. YU; PANCHENKO, A. N.Vysokomolekulârnye soedineniâ. Seriâ B. 1987, Vol 29, Num 5, pp 327-330, issn 0507-5483Article

Interaction dans les coupes Sb2Se3-Fe et FeSe-Fe3Sb2 du système Fe-Sb-SeALLAZOV, M. R; ALIEVA, I. F.Žurnal neorganičeskoj himii. 1987, Vol 32, Num 8, pp 2004-2007, issn 0044-457XArticle

Application-specific reuse of agent rolesHOLVOET, Tom; STEEGMANS, Elke.Software engineering for large-scale multi-agent systems (research issues and practical applications). Lecture notes in computer science. 2003, pp 148-164, issn 0302-9743, isbn 3-540-08772-9, 17 p.Book Chapter

Operational semantics for coordination in paradigmGROENEWEGEN, Luuk; DE VINK, Erik.Lecture notes in computer science. 2002, pp 191-206, issn 0302-9743, isbn 3-540-43410-0Conference Paper

Automatic synthesis of agent designs in UMLSCHUMANN, Johann; WHITTLE, Jon.Lecture notes in computer science. 2001, pp 148-162, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Modelisation pour la gestion des modes des systemes de production = Modelling of the mode management of production systemsDANGOUMAU, Nathalie; CRAYE, Etienne.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V2, 737-744Conference Paper

Decision problems for interacting finite state machinesDRUSINSKY-YORESH, D.IEEE transactions on computer-aided design of integrated circuits and systems. 1991, Vol 10, Num 12, pp 1576-1579, issn 0278-0070Article

Behaviors of single attractor cellular automata over galois field GF(2^p)CHO, Sung-Jin; CHOI, Un-Sook; HWANG, Yoon-Hee et al.Lecture notes in computer science. 2006, pp 232-237, issn 0302-9743, isbn 3-540-40929-7, 1Vol, 6 p.Conference Paper

An algebraic foundation for higraphsPOWER, John; TOURLAS, Konstantinos.Lecture notes in computer science. 2001, pp 145-159, issn 0302-9743, isbn 3-540-42554-3Conference Paper

Der Isentropenexponent von Methan = The isentropic exponent of methaneVOGEL, H. H.Brennstoff-Wärme-Kraft. 1994, Vol 46, Num 11-12, pp 509-511, issn 0006-9612Article

On the relationship between diagram synthesis and gramamtical inferenceMÄKINEN, E.International journal of computer mathematics. 1994, Vol 52, Num 3-4, pp 129-137, issn 0020-7160Article

On cyclic processesSCHEHRER, R. G.AEU. Archiv für Elektronik und Übertragungstechnik. 1991, Vol 45, Num 5, pp 293-298, issn 0001-1096Article

The «inner-horizon thermodynamics» of Kerr black holesOKAMOTO, I; KABURAKI, O.Monthly Notices of the Royal Astronomical Society. 1992, Vol 255, Num 3, pp 539-544, issn 0035-8711Article

Automatic proofs for scalechartsBOSWORTH, Richard.Lecture notes in computer science. 2004, pp 227-230, issn 0302-9743, isbn 3-540-21268-X, 4 p.Conference Paper

Linear cellular automata with boundary conditionsCHIN, William; CORTZEN, Barbara; GOLDMAN, Jerry et al.Linear algebra and its applications. 2001, Vol 322, pp 193-206, issn 0024-3795Article

Analysis of the results of mechanical testing of metals by constructing the diagrams of structural statesPECHKOVSKII, E. P.Strength of materials. 2001, Vol 33, Num 5, pp 423-430, issn 0039-2316Article

On an exact decomposition method and multi-cyclic processesSCHEHRER, R. G.AEU. Archiv für Elektronik und Übertragungstechnik. 1992, Vol 46, Num 6, pp 383-391, issn 0001-1096Article

Complexation du chlorure d'aluminium en milieu d'acétate d'éthyleLUBKOVA, V. N; KHOLDOYANIDI, K. A; SHELUDYAKOVA, L. A et al.Žurnal neorganičeskoj himii. 1987, Vol 32, Num 11, pp 2859-2862, issn 0044-457XArticle

Persistence-sensitive simplification of functions on 2-manifoldsEDELSBRUNNER, Herbert; MOROZOV, Dmitriy; PASCUCCI, Valerio et al.SCG : symposium on computational geometry. 2006, pp 127-134, isbn 1-59593-340-9, 1Vol, 8 p.Conference Paper

Verifying Statemate Statecharts Using CSP and FDRROSCOE, A. W; WU, Z.Lecture notes in computer science. 2006, pp 324-341, issn 0302-9743, isbn 3-540-47460-9, 1Vol, 18 p.Conference Paper

The RHAPSODY semantics of statecharts (or, on the executable core of the UML)HAREL, David; KUGLER, Hillel.Integration of software specification techniques for applications in engineering (Priority program SoftSpez of the German Research Foundation (DFG) : final report ). Lecture notes in computer science. 2004, pp 325-354, issn 0302-9743, isbn 3-540-23135-8, 30 p.Book Chapter

Mapping Statecharts to Verilog for hardware/software co-specificationSHENGCHAO QIN; CHIN, Wei-Ngan.Lecture notes in computer science. 2003, pp 282-300, issn 0302-9743, isbn 3-540-40828-2, 19 p.Conference Paper

Describing the syntax and semantics of UML statecharts in a heterogeneous modelling environmentYAN JIN; ESSER, Robert; JANNECK, Jörn W et al.Lecture notes in computer science. 2002, pp 320-334, issn 0302-9743, isbn 3-540-43561-1Conference Paper

Tight and loose semantics for transformation systemsOREJAS, Fernando; EHRIG, Hartmut; PINO, Elvira et al.Lecture notes in computer science. 2002, pp 238-255, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Tristability in the bromate-sulfite-hydrogencarbonate pH oscillatorCHIE, K; OKAZAKI, N; TANIMOTO, Y et al.Chemical physics letters. 2001, Vol 334, Num 1-3, pp 55-60, issn 0009-2614Article