3 research outputs found
Second-order non linear optical properties of nitrocalixarenes grafted to a sol-gel matrix
- Publication venue
- 'Royal Society of Chemistry (RSC)'
- Publication date
- 01/01/2002
- Field of study
International audiencexx
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2007
- Field of study
COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS
- Author
- Alberti M.
- Alberti M.
- Alberti M.
- Alberti M.
- Alechina N.
- Alechina N.
- Alferes J. J.
- Alferes J. J.
- Alur R.
- Alur R.
- Aqvist L.
- Arisha K. A.
- Baader F.
- Baker A. B.
- Baral C.
- Barringer H.
- Barringer H.
- Bechhofer S.
- Benerecetti M.
- Benerecetti M.
- Bennett B.
- Bordini R. H.
- Bordini R. H.
- Bordini R. H.
- Bordini R. H.
- Bordini R. H.
- Bordini R. H.
- Bordini R. H.
- Bordini R. H.
- Bordini R. H.
- Bracciali A.
- Bratman M. E.
- Broersen J.
- Broersen J.
- Chesani F.
- Ciampolini A.
- Ciampolini A.
- Cimatti A.
- Clark K. L.
- Clark K. L.
- Clarke E. M.
- Cliffe O.
- Costantini S.
- d'Inverno M.
- d'Inverno M.
- Dastani M.
- De Giacomo G.
- Degtyarev A.
- Dell'Acqua P.
- Dignum F.
- Dimopoulos Y.
- Dixon C.
- Dixon C.
- Eiter T.
- Eiter T.
- Eiter T.
- Eiter T.
- Eiter T.
- Emerson E. A.
- Endriss U.
- Esteva M.
- Fagin R.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fisher M.
- Fung T. H.
- Gammie P.
- Gelfond M.
- Georgeff M. P.
- Ghidini C.
- Giunchiglia F.
- Goldblatt R.
- Goranko V.
- Harel D.
- Harel D.
- Hartshorne C.
- Hindriks K.
- Hindriks K.
- Hirsch B.
- Holzmann G. J.
- Horrocks I.
- Hustadt U.
- Hustadt U.
- Hustadt U.
- Hustadt U.
- Hustadt U.
- Jonker C. M.
- Kakas A. C.
- Kakas A. C.
- Kakas A. C.
- Kakas A. C.
- Kakas A. C.
- Konev B.
- Kowalski R. A.
- Kowalski R. A.
- Kozen D.
- Kripke S.
- Labrou Y.
- Lakemeyer G.
- Leite J. A.
- Levesque H.
- Levesque H.
- Levesque H.
- Lin F.
- Lloyd J. W.
- Lomuscio A.
- Lomuscio A.
- Lomuscio A.
- Lomuscio A.
- Mahony B.
- McCabe F. G.
- McCabe F. G.
- McCarthy J.
- McCarthy J.
- McGuinness D. L.
- McIlraith S. A.
- McIlraith S. A.
- Merz S.
- Meyer J.-J. Ch.
- Meyer J.-J. Ch.
- Milner R.
- Morgenstern L.
- Myers K. L.
- Owre S.
- Parikh R.
- Pauly M.
- Pauly M.
- Penczek W.
- Pinto J.
- Pirri F.
- Raimondi F.
- Rao A. S.
- Rao A. S.
- Rao A. S.
- Rao A. S.
- Regayeg A.
- Ryan M.
- Sadri F.
- Sadri F.
- Sadri F.
- Sadri F.
- Sadri F.
- Satoh K.
- Satoh K.
- Satoh K.
- Schild K.
- Shapiro S.
- Singh M. P.
- Singh M. P.
- Smith G.
- Spivey J. M.
- Thomas S. R.
- Thomason R.
- Toni F.
- van der Hoek W.
- van der Hoek W.
- van der Meyden R.
- van der Meyden R.
- van Harmelen F.
- van Linder B.
- van Linder B.
- van Otterloo S.
- van Riemsdijk B.
- van Riemsdijk B.
- Visser W.
- Walther D.
- Walton C.
- Walton C.
- Wan F.
- Wooldridge M.
- Wooldridge M.
- Wooldridge M.
- Wooldridge M.
- Wooldridge M.
- Wozna B.
- Yolum P.
- Yolum P.
- Publication venue
- 'Wiley'
- Publication date
- Field of study