In situ cell for combined XRD and on-line catalysis tests: Studies of Cu-based water gas shift and methanol catalysts BS Clausen, G Steffensen, B Fabius, J Villadsen, R Feidenhans, ...
Journal of Catalysis 132 (2), 524-535, 1991
357 1991 Effect of Sulfiding Temperature on Activity and Structures of CO‐MO/AL2 O3 Catalysts. ii R Candia, O Sørensen, JØR Villadsen, NY Topsøe, BS Clausen, ...
Bulletin des Sociétés Chimiques Belges 93 (8‐9), 763-774, 1984
309 1984 A new interpretation of Mössbauer spectra of microcrystalline goethite:“Super-ferromagnetism” or “super-spin-glass” behaviour? S Mørup, MB Madsen, J Franck, J Villadsen, CJW Koch
Journal of Magnetism and Magnetic Materials 40 (1-2), 163-174, 1983
298 1983 ESR characterization of trans-diacidatotetrakis (pyridine) vanadium and-manganese trans-VII (py) 4X2 and trans-MnII (py) 4X2 (X= NCS, Cl, Br, I; py= pyridine) CJH Jacobsen, E Pedersen, J Villadsen, H Weihe
Inorganic Chemistry 32 (7), 1216-1221, 1993
182 1993 Formation of a metallic glass by thermal decomposition of Fe(CO J van Wonterghem, S Mørup, SW Charles, S Wells, J Villadsen
Physical review letters 55 (4), 410, 1985
182 1985 Effect of heating on microcrystalline synthetic goethite CJW Koch, MB Madsen, S Mørup, G Christiansen, L Gerward, ...
Clays and Clay minerals 34 (1), 17-24, 1986
45 1986 Implementing a multi-agent system in python with an auction-based agreement approach MB Ettienne, S Vester, J Villadsen
Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 …, 2012
23 2012 The AORTA Architecture: Integrating Organizational Reasoning in Jason AS Jensen, V Dignum, J Villadsen
International Workshop on Engineering Multi-Agent Systems, 127-145, 2014
22 2014 Preparation and Crystal Structures of Formato Complexes of the [MIV 3 O4 ]4+ and [MIV 3 S4 ]4+ (M = Mo, W) Clusters. Convenient Precursors to the … M Brorson, A Hazell, CJH Jacobsen, I Schmidt, J Villadsen
Inorganic Chemistry 39 (7), 1346-1350, 2000
22 2000 Natural deduction assistant (nadea) J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1904.00618, 2019
21 2019 Programming and verifying a declarative first-order prover in Isabelle/HOL AB Jensen, JB Larsen, A Schlichtkrull, J Villadsen
Ai Communications 31 (3), 281-299, 2018
21 2018 NaDeA: A natural deduction assistant with a formalization in Isabelle J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
21 2015 Isabelle/HOL as a meta-language for teaching logic AH From, J Villadsen, P Blackburn
arXiv preprint arXiv:2010.16014, 2020
20 2020 Teaching a formalized logical calculus AH From, AB Jensen, A Schlichtkrull, J Villadsen
arXiv preprint arXiv:2002.12555, 2020
20 2020 A framework for organization-aware agents AS Jensen, V Dignum, J Villadsen
Autonomous Agents and Multi-Agent Systems 31 (3), 387-422, 2017
20 2017 Building multi-agent systems using Jason NS Boss, AS Jensen, J Villadsen
Annals of Mathematics and Artificial Intelligence 59, 373-388, 2010
20 2010 A paraconsistent higher order logic J Villadsen
International Conference on Artificial Intelligence and Symbolic Computation …, 2004
20 2004 Formation of New Compounds Ln4 Al2 O9 in the Ln2 O3 .Al2 O3 System (Ln = La, Pr, Tb) J Dohrup, A Høyvald, G Mogensen, CJH Jacobsen, J Villadsen
Journal of the American Ceramic Society 79 (11), 2959-2960, 1996
20 1996 Improving multi-agent systems using Jason S Vester, NS Boss, AS Jensen, J Villadsen
Annals of Mathematics and Artificial Intelligence 61, 297-307, 2011
19 2011 Preface P Blackburn, T Bolander, T Braüner, V de Paiva, J Villadsen
Electronic Notes in Theoretical Computer Science 174 (6), 1-2, 2007
19 2007 