Ident. | Authors (with country if any) | Title |
---|
001415 (2013) |
Georgios M. Kontogeorgis [Danemark] ; Jean-Noel Jaubert [France] ; Jean-Charles De Hemptinne [France] | Éditorial |
001468 (2013) |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012) |
001631 (2013) |
Mikkel Birkegaard Andersen [Danemark] ; Thomas Bolander [Danemark] ; Hans Van Ditmarsch [France] ; Martin Holm Jensen [Danemark] | Bisimulation for Single-Agent Plausibility Models |
001659 (2013) |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | A Research Roadmap for Context-Awareness-Based Self-managed Systems |
001F71 (2011-12-04) |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; Maria Naya-Plasencia [Suisse] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002376 (2011-05-06) |
Liana Razmerita [Danemark] ; Armelle Brun [France] | Collaborative Learning in Heterogeneous Classes: Towards a Group Formation Methodology |
002621 (2011) |
Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie] | Towards Formal Validation of Trust and Security in the Internet of Services |
002647 (2011) |
Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne] | Proving Termination by Dependency Pairs and Inductive Theorem Proving |
002681 (2011) |
Catherine Eng [France] ; Annabelle Thibessard [France] ; Morten Danielsen [Danemark] ; Thomas Bovbjerg Rasmussen [Danemark] ; Jean-François Mari [France] ; Pierre Leblond [France] | In silico prediction of horizontal gene transfer in Streptococcus thermophilus |
002724 (2011) |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; María Naya-Plasencia [Suisse, France] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002925 (2010-12-06) |
Liana Razmerita [Danemark] ; Armelle Brun [France] | Assigning Students in Groups: Self-formed Groups versus Automatically-formed Groups |
002E80 (2010) |
Jinsan Cheng [République populaire de Chine] ; Sylvain Lazard [France] ; Luis Pe Aranda [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Elias P. Tsigaridas [Danemark] | On the topology of real algebraic plane curves |
003030 (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 |
003104 (2010) |
Armelle Brun [France] ; Anne Boyer [France] ; Liana Razmerita [Danemark] | Compass to Locate the User Model I Need: Building the Bridge between Researchers and Practitioners in User Modeling |
003108 (2010) |
John Fitzgerald [Royaume-Uni] ; Peter Gorm Larsen [Danemark] ; Ken Pierce [Royaume-Uni] ; Marcel Verhoef [Pays-Bas] ; Sune Wolff [Danemark] | Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems |
003887 (2009) |
Jakob Grue Simonsen [Danemark] | The $\Pi^0_2$-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) |
003944 (2009) |
Eric Jul [Danemark] ; Ian Rogers [Royaume-Uni] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
003975 (2009) |
Hanne Gottliebsen [Danemark] ; Kristoffer H. Rose | Converting between Combinatory Reduction Systems and Big Step Semantics |
004172 (2008) |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 |
004375 (2008) |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
004385 (2008) |
Dines Bj Rner [France, Danemark] | From Domain to Requirements |
006238 (2005) |
Ph. Lahire [France] ; G. Arévalo [Suisse] ; H. Astudillo [Chili] ; A. P. Black [États-Unis] ; E. Ernst [Danemark] ; M. Huchard [France] ; T. Opluštil [France] ; M. Sakkinen [Finlande] ; P. Valtchev [Canada] | MASPEGHI 2004 M ech a nisms for Spe ialization, G eneralization and In h er i tance |
006658 (2004-04) |
Susanne Salmon-Alt [France] ; Eckhard Bick [Danemark] ; Laurent Romary [France] ; Jean-Marie Pierrel [France] | La FReeBank : vers une base libre de corpus annotés |
007A62 (2003) |
Giovanni Semeraro [Italie] ; Hans H. K. Andersen [Danemark] ; Verner Andersen [Danemark] ; Pasquale Lops [Italie] ; Fabio Abbattista [Italie] | Evaluation and Validation of a Conversational Agent Embodied in a Bookstore |
007A63 (2003) |
Kasper Hornb K [Danemark] ; Erik Fr Kj R [Danemark] | Evaluating User Interfaces with Metaphors of Human Thinking |
007A94 (2003) |
Anders Sewerin Johansen [États-Unis, Danemark] ; John Paulin Hansen [États-Unis, Danemark] | Augmentative and Alternative Communication: The Future of Text on the Move |
008765 (2002) |
Peter D. Mosses [Danemark] | Pragmatics of Modular SOS |
008809 (2002) |
Luca Aceto [Danemark] ; Zoltán Ésik [Hongrie] ; Anna Ing Lfsd Ttir [Danemark] | Equational Axioms for Probabilistic Bisimilarity |
008923 (2002) |
Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
009371 (2001) |
J Rgen Villadsen [Danemark] | Combinators for Paraconsistent Attitudes |
00B352 (1998) |
Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy Lynch | Liveness in Timed and Untimed Systems |
00B397 (1998) |
Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
00BB40 (1997) |
Peter Sestoft [Danemark] | Deriving a lazy abstract machine |
00BD16 (1997) |
R. J. Jarvella [Danemark] ; L. Lundquist [Danemark] | The language of genesis : A psycholinguistic approach to evolving referents |
00BF28 (1996) |
Gregory Kucherov [France] ; Pierre Lescanne [France] ; Peter Mosses [Danemark] | Valentin Antimirov (1961–1995) |
00C033 (1996) |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | R n - and G n -logics |
00C054 (1996) |
Zine-El-Abidine Benaissa [France] ; Pierre Lescanne [France] ; Kristoffer H. Rose [Danemark] | Modeling sharing and recursion for weak reduction strategies using explicit substitution |
00C081 (1996) |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
00C136 (1996) |
G. Kucherov [France] ; Pierre Lescanne [France] ; P. Mosses [Danemark] | Valentin Antimirov (1961-1995) |
00C614 (1995) |
Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark] | Rewriting extended regular expressions |
00C623 (1995) |
Henrik Hasle [Danemark] ; Bendt Brock Jacobsen [Danemark] | Origin of male mediastinal germ-cell tumours |
00CC81 (1994) |
Flemming M. Damm [Danemark] | Subtyping with union types, intersection types and recursive types |
00D164 (1993) |
Peter D. Mosses [Danemark] | The use of sorts in algebraic specifications |
00DE28 (1990) |
Jesper Lützen [Danemark] | Old Age (1862–1882) |
00E596 (1987) |
Knud Lb Christensen [Danemark] | Taxonomic revision of the Pinus mugo complex and P. rhaetica (P. mugo sylvestris) (Pinaceae) |
00ED83 (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 |
00F026 (1972) |
Lis Danielsen [Danemark] ; Takasi Kobayasi [Danemark] | INTERNAL ELASTIC LAMINA OF GASTRIC ARTERIES IN PSEUDOXANTHOMA ELASTICUM |