The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Isabelle with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1987 (15) 1988-1989 (28) 1990 (16) 1991-1992 (32) 1993 (23) 1994 (36) 1995 (47) 1996 (57) 1997 (59) 1998 (68) 1999 (80) 2000 (85) 2001 (106) 2002 (112) 2003 (118) 2004 (119) 2005 (133) 2006 (169) 2007 (164) 2008 (182) 2009 (198) 2010 (169) 2011 (174) 2012 (193) 2013 (187) 2014 (191) 2015 (222) 2016 (229) 2017 (217) 2018 (223) 2019 (256) 2020 (262) 2021 (302) 2022 (294) 2023 (310) 2024 (58)
Publication types (Num. hits)
article(1988) book(19) data(6) incollection(32) inproceedings(2963) phdthesis(45) proceedings(81)
Venues (Conferences, Journals, ...)
CoRR(492) TPHOLs(77) NeuroImage(60) IGARSS(43) ISBI(43) Arch. Formal Proofs(42) J. Autom. Reason.(40) ITP(39) Pattern Recognit.(31) Medical Image Anal.(29) DGCI(28) CADE(26) EMBC(26) ICIP(26) Sensors(26) Bioinform.(25) More (+10 of total 1740)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 788 occurrences of 554 keywords

Results
Found 5857 publication records. Showing 5134 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
100David C. J. Matthews, Makarius Wenzel Efficient parallel programming in Poly/ML and Isabelle/ML. Search on Bibsonomy DAMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallel standard ml, poly/ml, theorem proving applications, data parallelism, isabelle
90Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow The Isabelle Framework. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
79Graeme Smith 0001, Florian Kammüller, Thomas Santen Encoding Object-Z in Isabelle/HOL. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF reference semantics, Object-Z, higher-order logic, Isabelle
69Steven Obua, Sebastian Skalberg Importing HOL into Isabelle/HOL. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62Florian Haftmann From higher-order logic to Haskell: there and back again. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code generation, theorem proving, haskell, higher-order logic, isabelle
59Makarius Wenzel, Burkhart Wolff Building Formal Method Tools in the Isabelle/Isar Framework. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Sean McLaughlin An Interpretation of Isabelle/HOL in HOL Light. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
59Tobias Nipkow, Lawrence C. Paulson Isabelle-91. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
57Lawrence C. Paulson Mechanizing UNITY in Isabelle. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concurrency, UNITY, Isabelle, compositional reasoning
48Alexander Schimpf, Stephan Merz, Jan-Georg Smaus Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Robert Lamar, Fairouz Kamareddine, J. B. Wells MathLang Translation to Isabelle Syntax. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Markus Wenzel 0001, Lawrence C. Paulson Isabelle/Isar. Search on Bibsonomy The Seventeen Provers of the World The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Florian Haftmann, Makarius Wenzel Constructive Type Classes in Isabelle. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Clemens Ballarin Interpretation of Locales in Isabelle: Theories and Proof Contexts. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Sergey Tverdyshev Combination of Isabelle/HOL with Automatic Tools. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Florian Kammüller, Jeff W. Sanders Idempotent Relations in Isabelle/HOL. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Yue Tang, Jin Song Dong, Jing Sun 0002, Brendan P. Mahony Reasoning about Semantic Web in Isabelle/HOL. Search on Bibsonomy APSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Mark Staples Representing WP Semantics in Isabelle/ZF. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Olaf Müller I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
48Oscar Slotosch Higher Order Quotients and their Implementation in Isabelle HOL. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
48Haykal Tej, Burkhart Wolff A Corrected Failure Divergence Model for CSP in Isabelle/HOL. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
48Sara Kalvala A Formulation of TLA in Isabelle. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
47Markus Kaiser 0002, Ralf Lämmel An Isabelle/HOL-based model of stratego-like traversal strategies. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego
47Peter Chapman, James McKinna, Christian Urban Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nominal Isabelle, logic, automated reasoning, Formal mathematics
47William Billingsley, Peter Robinson 0001 Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Intelligent book, MathsTiles, Isabelle
47Achim D. Brucker, Burkhart Wolff A Proposal for a Formal OCL Semantics in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF shallow embedding, UML, testing, OCL, Isabelle
47Sidi O. Ehmety, Lawrence C. Paulson Program Composition in Isabelle/UNITY. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program composition, universal and existential properties, UNITY, Isabelle
42Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Combination of deductive tools, Verification, Theorem proving, Clock synchronization
41Sabine Glesner, Jan Olaf Blech Coalgebraic Semantics for Component Systems. Search on Bibsonomy Architecting Systems with Trustworthy Components The full citation details ... 2004 DBLP  DOI  BibTeX  RDF verification, semantics, Components, Isabelle/HOL, coinduction, component interaction
41David von Oheimb, Tobias Nipkow Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables
41David von Oheimb Hoare Logic for Mutual Recursion and Local Variables. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
41David von Oheimb, Thomas F. Gritzner RALL: Machine-Supported Proofs for Relation Algebra. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF interactive and automatic theorem proving, atom structure, Relation algebra, Isabelle
37Andreas Lochbihler Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Florian Haftmann, Makarius Wenzel Local Theory Specifications in Isabelle/Isar. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Stefan Berghofer, Makarius Wenzel Logic-Free Reasoning in Isabelle/Isar. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Steven Obua Partizan Games in Isabelle/HOLZF. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Steven Obua Proving Bounds for Real Linear Programs in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner Formal Verification of Dead Code Elimination in Isabelle/HOL. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder Iterative Circular Coinduction for CoCasl in Isabelle/HOL. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Stefan Berghofer Extracting a Normalization Algorithm in Isabelle/HOL. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Laura I. Meikle, Jacques D. Fleuriot Formalizing Hilbert's Grundlagen in Isabelle/Isar. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Helko Lehmann, Michael Leuschel Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Simon J. Gay A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics, Types, pi calculus, automatic theorem proving
37Gertrud Bauer, Markus Wenzel 0001 Calculational Reasoning Revisited (An Isabelle/Isar Experience). Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Christine Röckl, Daniel Hirschkoff, Stefan Berghofer Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Leonor Prensa Nieto, Javier Esparza Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Florian Kammüller Modular Reasoning in Isabelle. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Gertrud Bauer, Markus Wenzel 0001 Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). Search on Bibsonomy TYPES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Cornelia Pusch Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37W. O. David Griffioen, Marieke Huisman A Comparison of PVS and Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Florian Kammüller Modular Structures as Dependent Types in Isabelle. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Pierre Chartier Formalisation of B in Isabelle/HOL. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Thomas Santen A Theory of Structured Model-Based Specifications in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Tobias Nipkow More Church-Rosser Proofs (in Isabelle/HOL). Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Ole Rasmussen An Embedding of Ruby in Isabelle. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Sten Agerholm, Michael J. C. Gordon Experiments with ZF Set Theory in HOL and Isabelle. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Lawrence C. Paulson A formulation of the simple theory of types (for Isabelle). Search on Bibsonomy Conference on Computer Logic The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
33Hao Xu, Yongwang Zhao Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving. Search on Bibsonomy Internetware The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Achim D. Brucker Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2022 DBLP  BibTeX  RDF
33Diego Marmsoler, Achim D. Brucker Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2022 DBLP  BibTeX  RDF
33Joshua Chen Isabelle/Spartan - A Dependent Type Theory Framework for Isabelle. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
33Albert Rizaldi Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL) (PDF / PS) Search on Bibsonomy 2020   RDF
33Makarius Wenzel Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. Search on Bibsonomy UITP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Stefan Berghofer, Lukas Bulwahn, Florian Haftmann Turning Inductive into Equational Specifications. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32René Thiemann, Christian Sternagel Certification of Termination Proofs Using CeTA. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Lawrence C. Paulson, Kong Woei Susanto Source-Level Proof Reconstruction for Interactive Theorem Proving. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Steffen Helke, Florian Kammüller Structure Preserving Data Abstractions for Statecharts. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Stefan Berghofer Program Extraction in Simply-Typed Higher Order Logic. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Jeremy E. Dawson, Rajeev Goré A Mechanised Proof System for Relation Algebra using Display Logic. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Matthias Daum 0001, Jan Dörrenbächer, Burkhart Wolff Proving Fairness and Implementation Correctness of a Microkernel Scheduler. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL
31Gerwin Klein, Philip Derrin, Kevin Elphinstone Experience report: seL4: formally verifying a high-performance microkernel. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF seL4, haskell, microkernel, Isabelle/HOL
31Jesús Aransay, Clemens Ballarin, Julio Rubio 0001 A Mechanized Proof of the Basic Perturbation Lemma. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Homological algebra, Basic perturbation lemma, Isabelle
31Nik Sultana, Simon J. Thompson Mechanical verification of refactorings. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF refactoring, Isabelle/HOL
31Achim D. Brucker, Burkhart Wolff Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
31Giampaolo Bella, Lawrence C. Paulson Accountability protocols: Formalized and verified. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inductive method, proof tools, Isabelle, Nonrepudiation, certified email
31Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson Verifying the SET Purchase Protocols. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF deductive verification, electronic commerce, security protocols, Isabelle, inductive definitions
31Sabine Glesner Finite Integer Computations: An Algebraic Foundation for Their Correctness. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL
31David von Oheimb, Volkmar Lotz, Georg Walter Analyzing SLE 88 memory management security using Interacting State Machines. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Security, Smart cards, Memory management, Formal analysis, Isabelle/HOL
31Sidi O. Ehmety, Lawrence C. Paulson Mechanizing compositional reasoning for concurrent systems: some lessons. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
31Lawrence C. Paulson Organizing Numerical Theories Using Axiomatic Type Classes. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
31Gerwin Klein, Martin Wildmoser Verified Bytecode Subroutines. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification
31S. J. Ambler, Roy L. Crole, Alberto Momigliano A definitional approach to primitivexs recursion over higher order abstract syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras
31Giampaolo Bella, Lawrence C. Paulson, Fabio Massacci The verification of an industrial payment protocol: the SET purchase phase. Search on Bibsonomy CCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF inductive specifications, isabelle proof assistant, formal verification, electronic commerce, security protocols
31Lawrence C. Paulson Mechanizing a theory of program composition for UNITY. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF concurrency, UNITY, Isabelle, compositional reasoning
31Lawrence C. Paulson Inductive Analysis of the Internet Protocol TLS. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF inductive method, proof tools, authentication, TLS, Isabelle
31Lawrence C. Paulson Mechanized proofs for a recursive authentication protocol. Search on Bibsonomy CSFW The full citation details ... 1997 DBLP  DOI  BibTeX  RDF mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
30Ziqi Zhang 0001, Anna Lisa Gentile, Isabelle Augenstein "Linked data as background knowledge for information extraction on the web" by Ziqi Zhang, Anna Lisa Gentile and Isabelle Augenstein with Martin Vesely as coordinator. Search on Bibsonomy SIGWEB Newsl. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Antoine Boutier, Isabelle Martinez, Isabelle Daniel, Simone Tumiati, Guillaume Siron, Alberto Vitale Brovarone Thermotopes-COH - A software for carbon isotope modeling and speciation of COH fluids. Search on Bibsonomy Comput. Geosci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
28Emmanuel Chemla, Isabelle Charnavel, Isabelle Dautriche, David Embick, Fred Lerdahl, Pritty Patel-Grosz, David Poeppel, Philippe Schlenker Formal Models at the Core. Search on Bibsonomy Cogn. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Théotime Balaguer, Olivier Simonin 0001, Isabelle Guérin Lassous, Isabelle Fantoni Etat de l'art sur la co-simulation robotique et réseau des systèmes multi-robots. Search on Bibsonomy JFSMA The full citation details ... 2023 DBLP  BibTeX  RDF
28David Amarantini, Isabelle Rieu, Giovanni Castelnovo, Frédérique Fluchère, Chloé Laurencin, Bertrand Degos, Aurélia Poujois, Alexandre Kreisler, Sophie Sangla, Mélissa Tir, Isabelle Benatru, Geneviève Blanchet-Fourcade, Dominique Guehl, Dominique Gayraud, Laurent Tatu, Christine Tranchant, Franck Durif, Marion Simonetta-Moreau Quantification of Head Tremors in Medical Conditions: A Comparison of Analyses Using a 2D Video Camera and a 3D Wireless Inertial Motion Unit. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Mauro Florez, Jenny Melo, Isabelle Bourdon, Isabelle Piot-Lepetit, Karine Gauche Digital Divide between Colombian and French Agriculture. Search on Bibsonomy AMCIS The full citation details ... 2021 DBLP  BibTeX  RDF
28Margherita Volpe, Omar Veledar, Isabelle Chartier, Isabelle Dor, Fredy Ríos Silva, Jure Trilar, Csaba Király 0002, Gabriele Gaffuri, Sabine Hafner-Zimmermann Experimentation of Cross-Border Digital Innovation Hubs (DIHs) Cooperation and Impact on SME Services. Search on Bibsonomy PRO-VE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Richard Philip Kipling, Cairistiona F. E. Topp, André Bannink, David J. Bartley, Isabel Blanco-Penedo, Raffaele Cortignani, Agustin del Prado, Gabriele Dono, Philippe Faverdin, Anne-Isabelle Graux, Nicholas J. Hutchings, Ludwig Lauwers, Seyda Özkan Gülzari, Pytrik Reidsma, Susanne Rolinski, Margarita Ruiz-Ramos, Daniel L. Sandars, Renata Sándor, Martin Schönhart, Giovanna Seddaiu, Jantine van Middelkoop, Shailesh Shrestha, Isabelle Weindl, Vera Eory To what extent is climate change adaptation a novel challenge for agricultural modellers? Search on Bibsonomy Environ. Model. Softw. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Gilgueng Hwang, Rémy Braive, Laurent Couraud, Antonella Cavanna, Ouerghi Abdelkarim, Isabelle Robert-Philip, Alexios Beveratos, Isabelle Sagnes, D. Sinan Haliyo, Stephane Régnier Electro-osmotic propulsion of helical nanobelt swimmers. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
28Xavier Moles Lopez, Olivier Debeir, Calliope Maris, Isabelle Roland, Isabelle Salmon, Christine Decaestecker KI-67 hot-spots detection on glioblastoma tissue sections. Search on Bibsonomy ISBI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Sébastien Treserras, Kader Boulanouar, Fabrice Conchou, Marion Simonetta-Moreau, Isabelle Berry, Pierre Celsis, François Chollet, Isabelle Loubinoux Transition from rest to movement: Brain correlates revealed by functional connectivity. Search on Bibsonomy NeuroImage The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Isabelle Merlet, Philippe Ryvlin, Nicolas Costes 0001, Damien Dufournel, Jean Isnard, Isabelle Faillenot, Karine Ostrowsky, Franck Lavenne, Didier Le Bars, François Mauguière Statistical parametric mapping of 5-HT1A receptor binding in temporal lobe epilepsy with hippocampal ictal onset on intracranial EEG. Search on Bibsonomy NeuroImage The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 5134 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license