Michael Ortiz
#84,569
Most Influential Person Now
Researcher
Michael Ortiz's AcademicInfluence.com Rankings
Michael Ortizcomputer-science Degrees
Computer Science
#2827
World Rank
#2959
Historical Rank
Computational Linguistics
#60
World Rank
#62
Historical Rank
Machine Learning
#213
World Rank
#216
Historical Rank
Artificial Intelligence
#366
World Rank
#373
Historical Rank
Download Badge
Computer Science
Michael Ortiz's Degrees
- PhD Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Michael Ortiz Influential?
(Suggest an Edit or Addition)Michael Ortiz's Published Works
Published Works
- Computational modelling of impact damage in brittle materials (1996) (2042)
- Quasicontinuum analysis of defects in solids (1996) (1460)
- FINITE-DEFORMATION IRREVERSIBLE COHESIVE ELEMENTS FOR THREE-DIMENSIONAL CRACK-PROPAGATION ANALYSIS (1999) (1405)
- An analysis of a new class of integration algorithms for elastoplastic constitutive relations (1986) (812)
- A unified approach to finite deformation elastoplastic analysis based on the use of hyperelastic constitutive equations (1985) (664)
- Accuracy and stability of integration algorithms for elastoplastic constitutive relations (1985) (661)
- An adaptive finite element approach to atomic-scale mechanics—the quasicontinuum method (1997) (657)
- Subdivision surfaces: a new paradigm for thin‐shell finite‐element analysis (2000) (640)
- A finite element method for localized failure analysis (1987) (636)
- A constitutive theory for the inelastic behavior of concrete (1985) (606)
- Modelling and simulation of high-speed machining (1995) (533)
- The variational formulation of viscoplastic constitutive updates (1999) (523)
- Nonconvex energy minimization and dislocation structures in ductile single crystals (1999) (509)
- Variational Integrators and the Newmark Algorithm for Conservative and Dissipative Mechanical Systems (2000) (437)
- Data-driven computational mechanics (2015) (416)
- A cohesive model of fatigue crack growth (2001) (402)
- An analysis of the quasicontinuum method (2001) (398)
- Local maximum‐entropy approximation schemes: a seamless bridge between finite elements and meshfree methods (2006) (385)
- Adaptive Lagrangian modelling of ballistic penetration of metallic targets (1997) (342)
- Quasicontinuum models of interfacial structure and deformation (1997) (310)
- Mixed Atomistic and Continuum Models of Deformation in Solids (1996) (309)
- Formulation of implicit finite element methods for multiplicative finite deformation plasticity (1990) (307)
- Computational modelling of single crystals (1993) (290)
- Asynchronous Variational Integrators (2003) (289)
- Scaling properties of a low-actuation pressure microfluidic valve (2004) (279)
- A material‐independent method for extending stress update algorithms from small-strain plasticity to finite plasticity with multiplicative kinematics (1992) (278)
- Variational time integrators (2004) (276)
- Fully C1-conforming subdivision elements for finite deformation thin-shell analysis (2001) (257)
- Nanoindentation and incipient plasticity (1999) (252)
- Delamination of Compressed Thin Films (1997) (246)
- Symplectic-energy-momentum preserving variational integrators (1999) (244)
- Adaptive mesh refinement in strain localization problems (1991) (244)
- Quasicontinuum simulation of fracture at the atomic scale (1998) (236)
- Three‐dimensional cohesive modeling of dynamic mixed‐mode fracture (2001) (229)
- Elastoplastic finite element analysis of three-dimensional fatigue crack growth in aluminum shafts subjected to axial loading (1999) (222)
- Error estimation and adaptive meshing in strongly nonlinear dynamic problems (1999) (220)
- A quantum-mechanically informed continuum model of hydrogen embrittlement (2004) (207)
- Finite element simulation of ring expansion and fragmentation: The capturing of length and time scales through cohesive models of fracture (1999) (201)
- An Efficient Adaptive Procedure for Three-Dimensional Fragmentation Simulations (2001) (200)
- A theory of subgrain dislocation structures (2000) (193)
- a Phase-Field Theory of Dislocation Dynamics, Strain Hardening (2002) (189)
- Microcrack coalescence and macroscopic crack growth initiation in brittle solids (1988) (187)
- Integrated modeling, finite-element analysis, and engineering design for thin-shell structures using subdivision (2002) (186)
- Fracture analysis of cellular materials: A strain gradient model (1998) (178)
- Query Rewriting for Horn-SHIQ Plus Rules (2012) (174)
- Biomechanics of traumatic brain injury (2008) (173)
- Variational integrators for constrained dynamical systems (2008) (173)
- Finite element analysis of nonsmooth contact (1999) (172)
- Three‐dimensional finite‐element simulation of the dynamic Brazilian tests on concrete cylinders (2000) (171)
- Nonsmooth Lagrangian Mechanics and Variational Collision Integrators (2003) (170)
- Quasicontinuum models of fracture and plasticity (1998) (165)
- A three-dimensional analysis of crack trapping and bridging by tough particles (1991) (165)
- Effect of indenter-radius size on Au(001) nanoindentation. (2003) (160)
- Data Driven Computing with Noisy Material Data Sets (2017) (156)
- A variational formulation of the coupled thermo-mechanical boundary-value problem for general dissipative solids (2006) (153)
- Optimal transportation meshfree approximation schemes for fluid and plastic flows (2010) (152)
- Discrete mechanics and optimal control for constrained systems (2010) (151)
- Nanomechanics of Defects in Solids (1998) (143)
- Model-Free Data-Driven Inelasticity (2018) (141)
- An eigenerosion approach to brittle fracture (2012) (140)
- Lagrangian finite element analysis of Newtonian fluid flows (1998) (140)
- The morphology and folding patterns of buckling-driven thin-film blisters (1994) (139)
- Statistical Properties of Residual Stresses and Intergranular Fracture in Ceramic Materials (1993) (137)
- Nucleation of dislocations from crack tips under mixed modes of loading: Implications for brittle against ductile behaviour of crystals (1995) (137)
- Data‐driven computing in dynamics (2017) (136)
- Eigenfracture: An Eigendeformation Approach to Variational Fracture (2009) (133)
- Effect of Strain Hardening and Rate Sensitivity on the Dynamic Growth of a Void in a Plastic Material (1992) (132)
- Dislocation Microstructures and the Effective Behavior of Single Crystals (2005) (131)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (2015) (131)
- Data Complexity of Query Answering in Expressive Description Logics via Tableaux (2008) (128)
- Three Dimensional Cohesive-Element Analysis and Experiments of Dynamic Fracture in C300 Steel (2000) (127)
- Ductile fracture by vacancy condensation in f.c.c. single crystals (1996) (126)
- Critical configurations for dislocation nucleation from crack tips (1997) (122)
- Optimal Uncertainty Quantification (2010) (122)
- A Continuum Theory of Crack Shielding in Ceramics (1987) (121)
- Finite element analysis of strain localization in frictional materials (1989) (120)
- A cohesive approach to thin-shell fracture and fragmentation (2005) (117)
- On Spatial and Material Covariant Balance Laws in Elasticity (2006) (113)
- Importance of shear in the bcc-to-hcp transformation in iron. (2004) (109)
- Quasi-continuum orbital-free density-functional theory : A route to multi-million atom non-periodic DFT calculation (2007) (108)
- Time‐discretized variational formulation of non‐smooth frictional contact (2002) (107)
- Symmetry-preserving return mapping algorithms and incrementally extremal paths: A unification of concepts (1989) (107)
- Nanovoid cavitation by dislocation emission in aluminum. (2004) (102)
- Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ (2011) (102)
- Metaconcrete: designed aggregates to enhance dynamic performance (2014) (102)
- A micromechanical model of cyclic deformation and fatigue-crack nucleation in f.c.c. single crystals (1997) (102)
- Non-periodic finite-element formulation of Kohn–Sham density functional theory (2010) (101)
- A variational boundary integral method for the analysis of 3‐D cracks of arbitrary geometry modelled as continuous distributions of dislocation loops (1993) (101)
- A variational approach to coarse-graining of equilibrium and non-equilibrium atomistic description at finite temperature (2007) (99)
- An Exactly Solvable Phase-Field Theory of Dislocation Dynamics, Strain Hardening and Hysteresis in Ductile Single Crystals (2001) (98)
- An Overview of Variational Integrators (2004) (96)
- A variational constitutive model for soft biological tissues. (2008) (94)
- Regular Path Queries in Expressive Description Logics with Nominals (2009) (94)
- Optimal BV estimates for a discontinuous Galerkin method for linear elasticity (2004) (94)
- Study and validation of a variational theory of thermo-mechanical coupling in finite visco-plasticity (2010) (92)
- Finite‐element modeling of dry sliding wear in metals (2001) (91)
- Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics (2006) (91)
- Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (2010) (87)
- A continuum model of kinetic roughening and coarsening in thin films (1999) (87)
- A variational r‐adaption and shape‐optimization method for finite‐deformation elasticity (2004) (87)
- A Finite-Deformation Constitutive Model of Bulk Metallic Glass Plasticity (2006) (86)
- A micromechanical model of hardening, rate sensitivity and thermal softening in BCC single crystals (2001) (84)
- Nanovoid deformation in aluminum under simple shear (2005) (84)
- A class of minimum principles for characterizing the trajectories and the relaxation of dissipative systems (2008) (83)
- Smooth, second order, non‐negative meshfree approximants selected by maximum entropy (2009) (82)
- Effective Cohesive Behavior of Layers of Interatomic Planes (2006) (81)
- A constrained sequential-lamination algorithm for the simulation of sub-grid microstructure in martensitic materials (2003) (81)
- A variational constitutive model for porous metal plasticity (2006) (80)
- Effect of interfacial compliance on bifurcation of a layer bonded to a substrate (1997) (79)
- Data-Driven Problems in Elasticity (2017) (79)
- Density-functional-theory-based local quasicontinuum method: Prediction of dislocation nucleation (2004) (77)
- Finite element simulation of dynamic fracture and fragmentation of glass rods (2000) (76)
- Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach (2007) (72)
- Computational assessment of ballistic impact on a high strength structural steel/polyurea composite plate (2009) (72)
- Hierarchical modeling in the mechanics of materials (2000) (72)
- A discrete mechanics approach to the Cosserat rod theory—Part 1: static equilibria (2011) (72)
- A study of solid-particle erosion of metallic targets (2002) (72)
- Reasoning about Explanations for Negative Query Answers in DL-Lite (2013) (71)
- Solution of three-dimensional crack problems by a finite perturbation method (1990) (70)
- Non-periodic finite-element formulation of orbital-free density functional theory (2006) (70)
- Query Answering in Description Logics with Transitive Roles (2009) (69)
- Discrete dislocations in graphene (2010) (68)
- Model-free data-driven methods in mechanics: material data identification and solvers (2019) (68)
- Three-dimensional modeling of intersonic shear-crack growth in asymmetrically loaded unidirectional composite plates (2002) (67)
- An analytical study of the localized failure modes of concrete (1987) (67)
- Tetrahedral mesh generation based on node insertion in crystal lattice arrangements and advancing-front-Delaunay triangulation (2000) (64)
- Universal binding-energy relation for crystals that accounts for surface relaxation (2004) (62)
- Mixed Atomistic–Continuum Models of Material Behavior: The Art of Transcending Atomistics and Informing Continua (2001) (62)
- Solid modeling aspects of three-dimensional fragmentation (1998) (62)
- Data-Driven multiscale modeling in mechanics (2020) (60)
- Effect of boundaries and interfaces on shear-band localization (1991) (60)
- Query Answering in the Description Logic Horn-SHIQ ⋆ (2008) (59)
- Rigorous verification, validation, uncertainty quantification and certification through concentration-of-measure inequalities (2008) (58)
- An analysis of non-planar crack growth under mixed mode loading (1994) (58)
- On the numerical implementation of variational arbitrary Lagrangian–Eulerian (VALE) formulations (2006) (57)
- Unconditionally stable concurrent procedures for transient finite element analysis (1986) (57)
- A variational Cam-clay theory of plasticity (2004) (56)
- The Line-Tension Approximation as the Dilute Limit of Linear-Elastic Dislocations (2015) (56)
- A phenomenological cohesive model of ferroelectric fatigue (2006) (55)
- Data-driven fracture mechanics (2020) (55)
- Verification and validation of the Optimal Transportation Meshfree (OTM) simulation of terminal ballistics (2012) (54)
- Stability of solids with interfaces (1992) (54)
- The mechanics of deformation–induced subgrain–dislocation structures in metallic crystals at large strains (2003) (54)
- A non-local formulation of the peierls dislocation model (1996) (53)
- Finite-element simulation of firearm injury to the human cranium (2003) (52)
- Variational h‐adaption in finite deformation elasticity and plasticity (2007) (51)
- Hierarchical models of plasticity: dislocation nucleation and interaction (1999) (51)
- Tetrahedral composite finite elements (2002) (51)
- An Eulerian hybrid WENO centered-difference solver for elastic-plastic solids (2010) (50)
- On the Γ-Convergence of Discrete Dynamics and Variational Integrators (2004) (50)
- Coarse-graining Kohn-Sham Density Functional Theory (2012) (50)
- Query Answering in the Description Logic Horn- (2008) (49)
- Effect of atomic scale plasticity on hydrogen diffusion in iron: Quantum mechanically informed and on-the-fly kinetic Monte Carlo simulations (2008) (49)
- Three-dimensional crack-tip fields in four-point-bending copper single-crystal specimens (1996) (49)
- Diamond elements: a finite element/discrete‐mechanics approximation scheme with guaranteed optimal convergence in incompressible elasticity (2007) (49)
- The two-dimensional structure of dynamic boundary layers and shear bands in thermoviscoplastic solids (1996) (48)
- Reasoning and Query Answering in Description Logics (2012) (48)
- Tractable Queries for Lightweight Description Logics (2013) (48)
- A hysteretic cohesive-law model of fatigue-crack nucleation (2005) (47)
- Finite-temperature extension of the quasicontinuum method using Langevin dynamics: entropy losses and analysis of errors (2009) (47)
- Triangular composite finite elements (2000) (47)
- Nanovoid nucleation by vacancy aggregation and vacancy-cluster coarsening in high-purity metallic single crystals (2011) (47)
- A class of variational strain‐localization finite elements (2005) (46)
- Vacancy clustering and prismatic dislocation loop formation in aluminum (2007) (45)
- Energy-based model of compressive splitting in heterogeneous brittle solids (1998) (45)
- Finite element analysis of transient strain localization phenomena in frictional solids (1990) (45)
- A multi-phase field model of planar dislocation networks (2004) (45)
- Fully C1‐conforming subdivision elements for finite deformation thin‐shell analysis (45)
- Constitutive modeling of L12 intermetallic crystals (1993) (44)
- Three‐dimensional adaptive meshing by subdivision and edge‐collapse in finite‐deformation dynamic–plasticity problems with application to adiabatic shear banding (2002) (44)
- Microstructural thermal stresses in ceramic materials (1988) (44)
- Surface effects and the size-dependent hardening and strengthening of nickel micropillars (2012) (44)
- The influence of crack trapping on the toughness of fiber reinforced composites (1998) (44)
- A finite element method for analyzing localization in rate dependent solids at finite strains (1989) (44)
- A note on energy conservation and stability of nonlinear time-stepping algorithms (1986) (43)
- Closed Predicates in Description Logics: Results on Combined Complexity (2016) (43)
- Maximal Crack Tip Shielding by Microcracking (1989) (43)
- Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots (2003) (41)
- Fracture Paths from Front Kinetics: Relaxation and Rate Independence (2009) (41)
- A three-dimensional multiscale model of intergranular hydrogen-assisted cracking (2010) (41)
- Oscillatory Thermomechanical Instability of an Ultrathin Catalyst (2003) (41)
- Nested Regular Path Queries in Description Logics (2014) (41)
- Answering regular path queries in expressive Description Logics via alternating tree-automata (2014) (41)
- Effect of prestress on the stability of electrode–electrolyte interfaces during charging in lithium batteries (2016) (41)
- Experimental observations and numerical modeling of inelasticity in dynamically loaded ceramics (1992) (40)
- Accuracy of a class of concurrent algorithms for transient finite element analysis (1988) (40)
- A multiscale approach for modeling crystalline solids (2001) (40)
- Fracture and fragmentation of simplicial finite element meshes using graphs (2006) (39)
- A director-field model of DNA packaging in viral capsids (2003) (39)
- An analysis of cracks in ductile single crystals—II. Mode I loading (1992) (38)
- A Finite Element Study of Electromagnetic Riveting (1999) (38)
- Modeling fracture by material-point erosion (2013) (38)
- Prediction of Dislocation Nucleation During Nanoindentation by the Orbital-Free Density Functional Theory Local Quasi-continuum Method (2005) (38)
- Selective Ablation of Cancer Cells with Low Intensity Pulsed Ultrasound (2019) (38)
- Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates (2016) (38)
- A computational study of the influence of thermal softening on ballistic penetration in metals (2001) (38)
- Investigation of elastic wave transmission in a metaconcrete slab (2015) (37)
- Atomistic long-term simulation of heat and mass transport (2014) (37)
- Conjunctive query answering in the description logic SH using knots (2012) (36)
- Plastic yielding as a phase transition (1999) (36)
- Effect of Brittle Fracture in a Metaconcrete Slab under Shock Loading (2016) (36)
- Material-point erosion simulation of dynamic fragmentation of metals (2015) (36)
- Dislocation subgrain structures and modeling the plastic hardening of metallic single crystals (2010) (36)
- Managing Change in Graph-Structured Data Using Description Logics (2014) (35)
- Rigorous model-based uncertainty quantification with application to terminal ballistics—Part II. Systems with uncontrollable inputs and large scatter (2012) (35)
- Folding energetics in thin-film diaphragms (2000) (35)
- A soft-recovery plate impact experiment for studying microcracking in ceramics (1990) (35)
- Data Complexity of Answering Unions of Conjunctive Queries in SHIQ (2006) (34)
- Computational micromechanics (1996) (34)
- Numerical modelling and experimental validation of dynamic fracture events along weak planes (2007) (34)
- Relaxed incremental variational formulation for damage at large strains with application to fiber‐reinforced materials and materials with truss‐like microstructures (2012) (34)
- Model-free Data-Driven Computational Mechanics Enhanced by Tensor Voting (2020) (34)
- Prediction of dislocation nucleation during nanoindentation of Al3Mg by the orbital-free density functional theory local quasicontinuum method (2006) (32)
- Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms (2015) (32)
- Finite-temperature non-equilibrium quasi-continuum analysis of nanovoid growth in copper at low and high strain rates (2015) (32)
- The Influence of Grain Size on the Toughness of Monolithic Ceramics (1993) (31)
- Local Maximum-Entropy Approximation Schemes (2007) (31)
- Shock-induced subgrain microstructures as possible homogenous sources of hot spots and initiation sites in energetic polycrystals (2010) (30)
- Data-Driven Finite Elasticity (2019) (29)
- Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) (2017) (29)
- Experimental Validation of Metaconcrete Blast Mitigation Properties (2017) (29)
- Finite element analysis of geometrically necessary dislocations in crystal plasticity (2013) (28)
- Conjunctive Regular Path Queries in Lightweight Description Logics (2013) (28)
- A mesh-free convex approximation scheme for Kohn-Sham density functional theory (2011) (28)
- Crack propagation in monolithic ceramics under mixed mode loading (1990) (27)
- Concurrent Multiscale Computing of Deformation Microstructure by Relaxation and Local Enrichment with Application to Single-Crystal Plasticity (2007) (27)
- Convergent meshfree approximation schemes of arbitrary order and smoothness (2012) (26)
- Efficient Data Structures for Model-free Data-Driven Computational Mechanics (2020) (26)
- An artificial-viscosity method for the lagrangian analysis of shocks in solids with strength on unstructured, arbitrary-order tetrahedral meshes (2001) (26)
- Variational Delaunay approach to the generation of tetrahedral finite element meshes (2001) (25)
- Dynamic behavior of nano-voids in magnesium under hydrostatic tensile stress (2016) (25)
- A Theory of Anharmonic Lattice Statics for Analysis of Defective Crystals (2006) (25)
- Proliferation of twinning in hexagonal close-packed metals: Application to magnesium (2017) (24)
- An analytical model of interfacial energy based on a lattice-matching interatomic energy (2016) (24)
- Discrete Mechanics and Optimal Control for Constrained Multibody Dynamics (2007) (24)
- An Analysis of Crack Trapping by Residual Stresses in Brittle Solids (1993) (24)
- Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses (2008) (23)
- A micromechanical model of distributed damage due to void growth in general materials and under general deformation histories (2013) (23)
- Variational r‐adaption in elastodynamics (2008) (23)
- Investigation of the influence of viscoelasticity on oncotripsy (2017) (23)
- A recursive-faulting model of distributed damage in confined brittle materials (2006) (22)
- Finite Element Simulation of Ring Expansion and Fragmentation (1999) (22)
- Oncotripsy: Targeting cancer cells selectively via resonant harmonic excitation (2015) (22)
- Performance of the star-shaped flyer in the study of brittle materials: Three dimensional computer simulations and experimental observations-. (1992) (22)
- A relaxation method for the energy and morphology of grain boundaries and interfaces (2016) (22)
- A linearized porous brittle damage material model with distributed frictional-cohesive faults (2016) (22)
- Microstructure evolution in the equal channel angular extrusion process (2004) (22)
- A discrete mechanics approach to dislocation dynamics in BCC crystals (2007) (21)
- Stable Model Semantics for Recursive SHACL (2020) (21)
- A harmonic/anharmonic energy partition method for lattice statics computations (1993) (21)
- An analysis of cracks in ductile single crystals—I. Anti-plane shear (1992) (21)
- Elastic response of water-filled fiber composite tubes under shock wave loading (2013) (21)
- An error‐estimate‐free and remapping‐free variational mesh refinement and coarsening method for dissipative solids at finite strains (2009) (21)
- A sublinear-scaling approach to density-functional-theory analysis of crystal defects (2016) (21)
- Efficiency of group implicit concurrent algorithms for transient finite element analysis (1989) (21)
- A multiscale model of distributed fracture and permeability in solids in all-round compression (2016) (21)
- Improved design of low-pressure fluidic microvalves (2007) (21)
- A micromechanical damage and fracture model for polymers based on fractional strain-gradient elasticity (2015) (21)
- Long-term dynamic stability of discrete dislocations in graphene at finite temperature (2010) (21)
- Research Directions for Principles of Data Management (Abridged) (2017) (21)
- On the convergence of 3D free discontinuity models in variational fracture (2010) (20)
- Determination of thin-film debonding parameters from telephone-cord measurements (1998) (20)
- Intergranular thermal stresses in zirconium — effects on X-rays macrostress measurements (1996) (20)
- Diffusive molecular dynamics simulations of lithiation of silicon nanopillars (2018) (20)
- Variational integrators, the Newmark scheme, and dissipative systems (2000) (20)
- Quantum mechanics based multiscale modeling of stress-induced phase transformations in iron (2006) (20)
- Ontology Based Query Answering: The Story So Far (2013) (19)
- A virtual test facility for simulating the dynamic response of materials (2000) (19)
- Finite element solver for data-driven finite strain elasticity (2021) (19)
- Kidney damage in extracorporeal shock wave lithotripsy: a numerical approach for different shock profiles (2009) (19)
- A nonlocal model of fracture by crazing in polymers (2015) (19)
- Minimum principles for the trajectories of systems governed by rate problems (2008) (18)
- Extraction of boundary representation from surface triangulations (2001) (18)
- A finite element method for determining the angular variation of asymptotic crack tip fields (1990) (18)
- Containment of Regular Path Queries under Description Logic Constraints (2011) (18)
- Force‐stepping integrators in Lagrangian mechanics (2010) (18)
- A massively parallel implementation of the Optimal Transportation Meshfree method for explicit solid dynamics (2014) (17)
- Multiscale modeling of materials: Computing, data science, uncertainty and goal-oriented optimization (2021) (17)
- Rewriting Guarded Existential Rules into Small Datalog Programs (2018) (17)
- Shock wave induced damage in kidney tissue (2005) (16)
- A variational formulation for convection-diffusion problems (1985) (16)
- Optimal scaling laws for ductile fracture derived from strain-gradient microplasticity (2014) (16)
- Energy‐stepping integrators in Lagrangian mechanics (2009) (16)
- Optimal uncertainty quantification with model uncertainty and legacy data (2014) (16)
- Query Answering in Description Logics: The Knots Approach (2009) (16)
- Effect of decohesion and sliding on bimaterial crack-tip fields (1990) (16)
- Mesoscopic approach to granular crystal dynamics. (2011) (16)
- Molecular dynamics study of the shock response of polyurea (2020) (15)
- Optimal Scaling in Solids Undergoing Ductile Fracture by Void Sheet Formation (2014) (15)
- BV estimates for mortar methods in linear elasticity (2006) (15)
- Convergence Analysis of Meshfree Approximation Schemes (2011) (15)
- Optimal uncertainty quantification for legacy data observations of Lipschitz functions (2012) (15)
- On the behavior of dissipative systems in contact with a heat bath : application to Andrade creep (2009) (14)
- A Γ-Convergence Analysis of the Quasicontinuum Method (2013) (14)
- Experimental Validation of the Attenuation Properties in the Sonic Range of Metaconcrete Containing Two Types of Resonant Inclusions (2020) (14)
- Γ-convergence of Variational Integrators for Constrained Systems (2009) (14)
- Evolving Graph Databases under Description Logic Constraints (2013) (14)
- Hydrogen-induced transgranular to intergranular fracture transition in bi-crystalline nickel (2021) (13)
- CTH shock physics simulation of non-linear material effects within an aerospace CFRP fastener assembly due to direct lightning attachment (2018) (13)
- Three-dimensional fracture and fragmentation of artificial kidney stones (2006) (13)
- Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case (2019) (13)
- Verification of Evolving Graph-structured Data under Expressive Path Constraints (2016) (13)
- The Optimal Uncertainty Algorithm in the Mystic Framework (2012) (13)
- Data complexity of answering conjunctive queries over SHIQ knowledge bases (2005) (13)
- Kinematics of elasto-plasticity: Validity and limits of applicability of F=FeFp for general three-dimensional deformations (2018) (13)
- 3D Modelling of Impact Failure in Sandwich Structures (2003) (13)
- Experimental validation of large-scale simulations of dynamic fracture along weak planes (2009) (12)
- Towards Practical Query Answering for Horn-SHIQ (2012) (12)
- An Automata-based algorithm for description logics around SRIQ (2008) (12)
- Anharmonic lattice statics analysis of 180 ° and 90° ferroelectric domain walls in PbTiO3 (2007) (12)
- Computational multiobjective topology optimization of silicon anode structures for lithium-ion batteries (2016) (12)
- Transcranial Focused Ultrasound Generates Skull-Conducted Shear Waves: Computational Model and Implications for Neuromodulation (2020) (12)
- The Complexity of Explaining Negative Query Answers in DL-Lite (2012) (12)
- Fifth US National Congress on Computational Mechanics (1999) (11)
- Data-Driven Rate-Dependent Fracture Mechanics (2021) (11)
- A comparative accuracy and convergence study of eigenerosion and phase-field models of fracture (2021) (11)
- Long-term atomistic simulation of hydrogen absorption in palladium nanocubes using a diffusive molecular dynamics method (2018) (10)
- All-atom molecular dynamics simulations of multiphase segregated polyurea under quasistatic, adiabatic, uniaxial compression (2016) (10)
- Mixed mode crack-tip fields in monolithic ceramics (1990) (10)
- Spectrum-splitting approach for Fermi-operator expansion in all-electron Kohn-Sham DFT calculations (2016) (10)
- Large scale Optimal Transportation Meshfree (OTM) Simulations of Hypervelocity Impact (2013) (10)
- Hierarchical multiscale quantification of material uncertainty (2021) (10)
- Global viscoelastic behavior of heterogeneous thermoelastic materials (1987) (10)
- Symmetric Div-Quasiconvexity and the Relaxation of Static Problems (2019) (10)
- The Combined Complexity of Reasoning with Closed Predicates in Description Logics (2015) (10)
- Discontinuous variational time integrators for complex multibody collisions (2014) (10)
- Multiscale modelling of hardening in BCC crystal plasticity (2003) (10)
- A method of homogenization of elastic media (1987) (10)
- Atomistic modeling and analysis of hydride phase transformation in palladium nanoparticles (2019) (9)
- Answering Expressive Path Queries over Lightweight DL Knowledge Bases (2012) (9)
- Rigorous uncertainty quantification and design with uncertain material models (2020) (9)
- Fractional strain-gradient plasticity (2019) (9)
- Data-Driven nonlocal mechanics: Discovering the internal length scales of materials (2021) (9)
- Combining Rules and Ontologies into Clopen Knowledge Bases (2018) (9)
- Quasi-continuum orbital-free density-functional theory (QC-OFDFT) (2007) (9)
- Optimal Control Strategies for Robust Certification (2010) (8)
- Effect of polypropylene fibers on the fracture behavior of heated ultra-high performance concrete (2019) (8)
- Optimal Scaling in Solids Undergoing Ductile Fracture by Crazing (2016) (8)
- Conjunctive Query Answering in SH using Knots (2008) (8)
- Large scale ab-initio simulations of dislocations (2019) (8)
- Acceleration of diffusive molecular dynamics simulations through mean field approximation and subcycling time integration (2017) (8)
- Long-term atomistic simulation of hydrogen diffusion in metals (2015) (8)
- Geometrically exact time‐integration mesh‐free schemes for advection‐diffusion problems derived from optimal transportation theory and their connection with particle methods (2017) (8)
- Research Directions for Principles of Data Management (2018) (8)
- A duality‐based method for generating geometric representations of polycrystals (2011) (8)
- Query Answering in the Description Logic S (2010) (8)
- Rigorous uncertainty quantification without integral testing (2011) (8)
- C0 finite element discretization of Kirchhoff's equations of thin plate bending (1988) (7)
- Generation of Tetrahedral Finite Element Meshes: Variational Delaunay Approach (1998) (7)
- A linear programming-based algorithm for the signed separation of (non-smooth) convex bodies (2012) (7)
- Formalizing the learner model for CSCL environments (2003) (7)
- A Practical Automata-Based Technique for Reasoning in Expressive Description Logics (2011) (7)
- A NSWERING IS UNDECIDABLE IN DL S WITH REGULAR EXPRESSIONS , INVERSES , NOMINALS , AND COUNTING (2010) (7)
- Ontology Focusing: Knowledge-enriched Databases on Demand (2019) (7)
- Kinetics Of Dislocation Emission From Crack Tips And The Brittle To Ductile Transition Of Cleavage Fracture. (1995) (7)
- Revisiting the Hardness of Query Answering in Expressive Description Logics (2014) (7)
- On the Γ-convergence of discrete dynamics and variational integrators (2004) (7)
- Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results (2015) (7)
- Material modeling of cardiac valve tissue: Experiments, constitutive analysis and numerical investigation. (2015) (7)
- Strong Negation and Equivalence in the Safe Belief Semantics (2007) (7)
- Influence of Cracking Direction on Interfacial Fracture in Bicrystals With Symmetric Tilt Boundary (1992) (6)
- Mode mixity effects on crack tip deformation in ductile single crystals (1992) (6)
- A variational approach to Navier–Stokes (2018) (6)
- Model-free Data-Driven viscoelasticity in the frequency domain (2022) (6)
- Steric Interference in Bilayer Graphene with Point Dislocations (2019) (6)
- A dynamical model of oncotripsy by mechanical cell fatigue: selective cancer cell ablation by low-intensity pulsed ultrasound (2019) (6)
- A cohesive model of fatigue of ferroelectric materials under electro-mechanical cyclic loading (2004) (5)
- Extraction of Constitutive Data from Specimens Undergoing Strain Localization (1989) (5)
- Topology Optimization of Solid Rocket Fuel (2019) (5)
- Acceleration of material‐dominated calculations via phase‐space simplicial subdivision and interpolation (2015) (5)
- A numerical method for the time coarsening of transport processes at the atomistic scale (2016) (5)
- The atomistic structure and energy of nascent dislocation loops (1999) (5)
- Modeling dynamic fracture in transversely isotropic composites: a cohesive approach (2001) (5)
- Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog (2019) (5)
- A spatially varying mathematical representation of the biventricular cardiac fiber architecture (2016) (5)
- A spatially adaptive phase-field model of fracture (2021) (5)
- Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics (2005) (5)
- Reasoning about Explanations for Non-validation in SHACL (Extended Abstract) (2021) (5)
- Development of a Variational Boundary Integral Method for the Analysis of Fully Three Dimensional Crack Advance Problems (1995) (5)
- Embedded Implications and Minimality in ASP (2004) (5)
- A Variational Framework for Spectral Approximations of Kohn–Sham Density Functional Theory (2016) (5)
- Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming (2017) (4)
- Nonequilibrium thermomechanics of Gaussian phase packet crystals: Application to the quasistatic quasicontinuum method (2021) (4)
- A multiscattering series for impedance tomography in layered media (1999) (4)
- Method for the quantification of rupture probability in soft collagenous tissues (2017) (4)
- Extending CARIN to the Description Logics of the SH Family (2008) (4)
- Improving Data Management using Domain Knowledge (2018) (4)
- Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics (2016) (4)
- Modeling New Design of Fluidic Microvalves (2006) (4)
- The 1999 Center for Simulation of Dynamic Response in Materials Annual Technical Report (1998) (4)
- Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates (2016) (4)
- Strength of tantalum shocked at ultrahigh pressures (2018) (4)
- Resilient Logic Programs: Answer Set Programs Challenged by Ontologies (2020) (4)
- The special‐linear update: An application of differential manifold theory to the update of isochoric plasticity flow rules (2014) (4)
- The Complexity of Conjunctive Query Abduction in DL-Lite (2011) (4)
- A 3D Cohesive Investigation on Branching for Brittle Materials (2007) (4)
- A cohesive model for fatigue crack (2013) (3)
- Querying with Vague Quantifiers Using Probabilistic Semantics (2017) (3)
- Modeling failure of brittle materials with eigenerosion (2014) (3)
- Extending Carinto the Description Logics of the Family (2008) (3)
- Residual Stresses in Zr Thin Sheets (1989) (3)
- Thermal Expansion Behavior of AL and TA Using a Finite-Temperature Extension of the Quasicontinuum Method (2011) (3)
- ASCI Alliance Center for Simulation of Dynamic Response in Materials FY 2000 Annual Report (2000) (3)
- Reasoning Using Knots (2008) (3)
- Discrete Crystal Plasticity (2004) (3)
- Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates (2020) (3)
- Quasicontinuum Method at Finite Temperature Applied to the Study of Nanovoids Evolution in Fcc Crystals (2010) (3)
- A Family of Concurrent Algorithms for Transient Finite Element Solutions (1989) (3)
- An ExpTime Upper Bound for ALC with Integers (Extended Version) (2020) (3)
- Numerical Analysis of Elastomeric Fluidic Microvalves (2008) (3)
- A $\Gamma$-Convergence Analysis of the Quasicontinuum Method (2012) (3)
- Nested Regular Path Queries in Description Logics (Extended Abstract) (2014) (3)
- Supergiant elasticity and fracture of 3D spirally wound MoS2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {MoS (2020) (3)
- Mollified finite element approximants of arbitrary order and smoothness (2019) (3)
- Variational cohesive fracture models and three-dimensional crack tracking (2005) (2)
- Ice Penetration by a Bluff-Body Melting Probe (2020) (2)
- Linear Scaling DFT for Defects in Metals (2014) (2)
- Investigation of the internal substructure of microbands in a deformed copper single crystal: experiments and dislocation dynamics simulation (2017) (2)
- Query Rewriting for Ontology-Mediated Conditional Answers (2020) (2)
- Kinetics of the crack-tip-governed brittle to ductile transitions in intrinsically brittle solids (1997) (2)
- Scaling Laws in the Ductile Fracture of Metallic Crystals (2015) (2)
- C1-conforming subdivision elements for thin-shell analysis (2000) (2)
- Triangular composite nite elements † (1999) (2)
- Relaxing and Restraining Queries for OBDA (2018) (2)
- Finite Element Analysis of Nonsmooth Frictional Contact (2007) (2)
- A Tool for Building Topic-specific Ontologies Using a Knowledge Graph (2018) (2)
- Data-Driven Computing (2018) (2)
- Optimal Uncertainty Quantification: Distributional Robustness Versus Bayesian Brittleness (2013) (2)
- State Updates and State-Transfer Operators in Computational Plasticity (1992) (2)
- Quasi-atomistic models of fracture and plasticity (2012) (2)
- Relaxed Incremental Variational Formulation for Damage in Fiber‐Reinforced Materials (2012) (2)
- Compiling Model Representations for Querying Large ABoxes in Expressive DLs (2018) (2)
- Erratum: Prediction of Dislocation Nucleation during Nanoindentation by the Orbital-Free Density Functional Theory Local Quasi-Continuum Method (2008) (2)
- Query Answering in the Description Logic S Query Answering in the Description Logic S (2009) (2)
- Supergiant elasticity and fracture of 3D spirally wound $$\hbox {MoS}_{\mathbf{2}}$$ (2020) (2)
- Virtual Design and Testing of Materials: A Multiscale Approach (2006) (2)
- Finite-Temperature Non-equilibrium Quasicontinuum Method based on Langevin Dynamics (2009) (1)
- Magic Shapes for Validation in SHACL (2021) (1)
- Atomistic Simulation of Hydrogen Diffusion in Palladium Nanoparticles Using a Diffusive Molecular Dynamics Method (2017) (1)
- Taming Complex Role Inclusions for DL-Lite (2018) (1)
- Computational Modelling of Fragmentation and Penetration of Ceramic Plates (1995) (1)
- Explanations for Non-validation in SHACL (2021) (1)
- Magic Shapes for SHACL Validation (2022) (1)
- Determination of the strain field from an HREM image of a Si Lomer dislocation (1992) (1)
- A line-free method of monopoles for 3D dislocation dynamics (2018) (1)
- Size Scaling of Plastic Deformation in Simple Shear: Fractional Strain-Gradient Plasticity and Boundary Effects in Conventional Strain-Gradient Plasticity (2020) (1)
- Geometric effects in gas vesicle buckling under ultrasound (2022) (1)
- Tetrahedral composite-nite elements (2001) (1)
- Mechanics Of Ultrasonic Neuromodulation In A Mouse Subject (2021) (1)
- Bridging time-scales in solid dynamics: asynchronous variational integrators (2003) (1)
- Discrete Lagrangian mechanics and geometrically exact Cosserat rods (2009) (1)
- Concurrent goal-oriented materials-by-design (2021) (1)
- A Proof of Taylor Scaling for Curvature-Driven Dislocation Motion Through Random Arrays of Obstacles (2021) (1)
- Computation of effective elastic moduli of rocks using hierarchical homogenization (2022) (1)
- Automatically inf − sup compliant diamond‐mixed finite elements for Kirchhoff plates (2013) (1)
- Query Rewriting for Horn-shiq plus Rules Query Rewriting for Horn-shiq plus Rules (2012) (1)
- Agent modelling for CSCL environments using answer sets programming (2005) (1)
- Replica time integrators (2011) (1)
- Answer Set Programs Challenged by Ontologies (2019) (1)
- X-Ray elastic constants in textured Zr-base materials (1993) (1)
- Innovative numerical approaches for materials and structures in multi-field and multi-scale problems (2014) (1)
- Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (2021) (1)
- Validation of large scale simulations of dynamic fracture (2006) (1)
- A Compilation Technique for Interactive Ontology-mediated Data Exploration (2016) (1)
- Actions over Core-closed Knowledge Bases (2022) (1)
- EURO-C 1994 , Computational Modelling of Concrete Structures . 22-25 March 1994 , Insbruch ( Austria ) NUMERICAL ANALYSIS OF STRAIN LOCALIZATION IN CONCRETE SPECIMENS (1)
- A numerical model of light adjustable lens (2009) (1)
- Optimizing Horn- SHIQ Reasoning for OBDA (2019) (1)
- Inelastic Mechanisms in Dynamically Loaded Ceramics (1991) (1)
- Advanced Cardiac Mechanics Emulator (ACME): Simulating the beating heart (2012) (0)
- Coarse-Graining KS-DFT (2014) (0)
- 3D crack tip fields for FCC single crystals (1995) (0)
- caIization analysis under dynamic loading (2008) (0)
- Uncertainty Quantification for Modular and Hierarchical Models * (0)
- Variational Methods in Non-Convex Plasticity (2003) (0)
- Variational Methods for the Modelling of Inelastic Solids (2019) (0)
- On an Eigendeformation Approach to Brittle Fracture (2009) (0)
- MixedAtomistic-ContinuumModelsof MaterialBehavior : TheArt of TrascendingAtomisticsandInforming Continua (2001) (0)
- Modeling crystal plasticity microstructures using laminates with hardening (2009) (0)
- Dissipative systems in contact with a heat bath : application to Andrade Creep (2010) (0)
- Predicting the Birth of Dislocations in Metals using the Density Functional Theory Local Quasicontinuum Method (2004) (0)
- Finite-temperature nanovoid deformation in copper under tension (2011) (0)
- Finite Element Simulation of Ring Expansion andFragmentationA (1999) (0)
- International Conference on Fracture and Damage Mechanics 18-20 September , 2001 Milan , Italy 3 D Cohesive Investigation on Branching for Brittle Materials (2001) (0)
- 2 0 A pr 2 00 1 A Multiscale Approach for Modeling Crystalline Solids (2008) (0)
- A constitutive model of distributed faulting in brittle materials (2003) (0)
- Atomistic Modeling and Simulation of Long-Term Transport Phenomena in Nanomaterials (2015) (0)
- Finite-Element Simulation of Thin-Shell Fracture and Fragmentation (2004) (0)
- Mixed Atomistic/Continuum Studies of Defects in Electronic & Materials (1995) (0)
- Group implicit concurrent algorithms in nonlinear structural dynamics (1989) (0)
- Planned contacts and collision avoidance in optimal control problems (2012) (0)
- Optimal Scaling in Solids Undergoing Ductile Fracture by Void Sheet Formation (2013) (0)
- Discrete Dislocation Dynamics in Crystals (2008) (0)
- Modelling of Intersonic Crack Growth in Unidirectional Composite Plates (2001) (0)
- A new class of cohesive elements for thin-shells (2000) (0)
- Accurate approximations of density functional theory for large systems with applications to defects in crystalline solids (2021) (0)
- A general and predictive model of anisotropic grain boundary energy and morphology for polycrystal-level simulations (2016) (0)
- Concurrent algorithms for transient FE analysis (1989) (0)
- IUTAM symposium on micromechanics of defects in solids (2015) (0)
- Multiscale Modeling and Process Optimization for Engineered Microstructural Complexity (2007) (0)
- Calculation of Optimal Bounds on the Probability of Failure of Soft Biological Tissues (2014) (0)
- 4579 - VALIDATION OF MASSIVELY PARALLEL SIMULATIONS OF DYNAMIC FRACTURE AND FRAGMENTATION OF BRITTLE SOLIDS (2013) (0)
- Investigation of failure mode transition in ceramics under confinement (1995) (0)
- A Model for Kidney Tissue Damage under High Speed Loading (2004) (0)
- Discussion on “A consistency analysis of a class of concurrent transient implicit/explicit algorithms”, by C. Farhat and N. Sobh (1991) (0)
- The Fundamental Chemistry and Physics of Munitions under Extreme Conditions (2011) (0)
- Finite-element simulation of complex dynamic fracture processes in concrete (2001) (0)
- DOE Award Number : DE-FC 52-08 NA 28613 Title : Center for Predictive Modeling and Simulation of High-Energy Density Dynamic Response of Materials Reporting period : 3 / 1 / 081 / 30 / 09 Project (2009) (0)
- Study of topological defects in graphene (2013) (0)
- A variational approach to the Hamiltonian boundary value problem:Existence and approximation (2010) (0)
- 5224 - INTERACTION OF DYNAMIC CRACKS WITH INCLINED INTERFACES (2013) (0)
- 10016 African Institute for Mathematical Sciences: a Capacity Building Initiative in Which IUTAM Has an Active Involvement (2004) (0)
- Numerical simulation of monolithic elastomeric microvalves (2003) (0)
- Certification with optimal control strategies (2010) (0)
- Uncertainty Management for Complex Systems (2002) (0)
- INTERACTION OF DYNAMIC CRACKS WITH INCLINED INTERFACES (2004) (0)
- A Family of Concurrent Algorithms for the Solution of Transient Finite Element Equations-Abstract (1987) (0)
- Blast and Ballistic Impact on Polymer reinforced Plates and Shells (2007) (0)
- A ug 2 01 2 Coarse-graining Kohn-Sham Density Functional Theory (2012) (0)
- Dynamic fragmentation in ductile materials/new theoretical meshfree method/multiscale modeling (2013) (0)
- Material forces in Computational Mechanics: Variational ALE Method (2003) (0)
- Experimental Validation of Dynamic Fragmentation Simulations (2005) (0)
- Variational collision integrators in forward dynamics and optimal control (2012) (0)
- Three-dimensional multiscale simulation of the initiation and growth of mixed-mode cracks in concrete under dynamic loading (2000) (0)
- Variational Arbitrary Lagrangian-Eulerian (VALE) Finite Element Models in Fracture Mechanics (2007) (0)
- Response of fiber reinforced sandwich structures subjected to explosive loading (2011) (0)
- Hierarchical Theoretical Methods for Understanding and Predicting Anisotropic Thermal Transport Release in Rocket Propellant Formulations (2016) (0)
- Corrigendum to “Non-periodic finite-element formulation of orbital-free density functional theory” [Journal of the Mechanics and Physics of Solids 55 (2007) 669-696] (2010) (0)
- Frictional Collisions Off Sharp Objects (2000) (0)
- Mini-Workshop: Analysis and computation of microstructures in finite plasticity (2005) (0)
- Three-Dimensional Modelling and Simulation of Ballistic Impact (2001) (0)
- Cohesive Model of Electromechanical Fatigue for Ferroelectric Materials and Structures (2005) (0)
- Concurrent algorithms for transient nonlinear FE analysis (1987) (0)
- Quasicontinuum study of 180 degree domain walls and cracks in tetragonal phase BaTiO/sub 3/ (2004) (0)
- Influence of different interatomic potentials in void growth, dislocations emission and temperature evolution (2014) (0)
- Optimal Scaling in Solids Undergoing Ductile Fracture by Crazing (2015) (0)
- Thermomechanical study of nanovoid cavitation in aluminium (2013) (0)
- A Next Generation Scalable Finite Element Software to Describe Fracture and Fragmentation of Solids and Structures (2004) (0)
- Fourth International Conference on Computational Plasticity ( COMPLAS IV) (0)
- Coupled thermoelastic simulation of nanovoid cavitation by dislocation emission at finite temperature (2013) (0)
- Statistical Modeling of a Dislocation Phase-Field in Ductile Single Crystals (2001) (0)
- ADVANCES IN MODELING AND SIMULATIONS OF GRAPHENE (2015) (0)
- From atomistics to the continuum: a mesh‐free quasicontinuum formulation based on local max‐ent approximation schemes (2011) (0)
- Experimental and Numerical Investigation of Shear-dominated Intersonic Crack Growth and Friction in Unidirectional Composites (2002) (0)
- Pebble-Intervals Automata and FO2 with Two Orders (Extended Version) (2019) (0)
- Explaining Query Answers in Lightweight Ontologies: The DL−Lite Case (2011) (0)
- Web Reasoning and Rule Systems (2016) (0)
- Applications of the J-integral to dynamical problems in geotechnical engineering (2021) (0)
- Manifesto from Dagstuhl Perspectives Workshop 16151 Research Directions for Principles of Data Management (2018) (0)
- From Complete to Incomplete Data and Back in Ontology-Enriched Databases (2019) (0)
- ASP: from Application Development to Syntax Extensions (2004) (0)
- Finite strain r-adaption based on a fully variational framework (2006) (0)
- Goal-oriented Type-based Reasoning for Expressive DLs ? (2017) (0)
- A Fully Internalized Sequent Calculus for Hybrid Categorial Logics (2006) (0)
- D ec 2 01 9 Pebble-Intervals Automata and FO 2 with Two Orders ∗ ( Extended Version ) (2019) (0)
- A Framework for Exploratory Query Answering with Ontologies (2020) (0)
- Data Complexity of Query Answering in Expressive Description Logics with Nominals Data Complexity of Query Answering in Expressive Description Logics with Nominals (2006) (0)
- Mesh d-refinement: A data-based computational framework to account for complex material response (2022) (0)
- An ExpTime Upper Bound for $\mathcal{ALC}$ with Integers (Extended Version) (2020) (0)
- I ¨ I Infsys R R A R P Q E D L A T-a (2009) (0)
- A novel h‐adaptive finite element method for standard dissipative media at finite strains based on energy minimization (2006) (0)
- A Variational Framework for Spectral Approximations of Kohn–Sham Density Functional Theory (2016) (0)
- Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report) (2017) (0)
- Rewritability Results for OMQs with Closed Predicates (2020) (0)
- Relaxing and Restraining Queries for OBDA - Extended Abstract (2018) (0)
- Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract) (2021) (0)
- CLOPEN KNOWLEDGE BASES (2017) (0)
- A variational arbitrary Lagrangian‐Eulerian finite element formulation for standard dissipative solids at finite strains (2007) (0)
- Subsonic and Intersonic Failure of Composites: High-Speed Optical and Thermographic Measurements and Numerical Simulations (2000) (0)
- Pebble-Intervals Automata and FO with Two Orders (2020) (0)
- Planning and Change in Graph Structured Data under Description Logics Constraints (2014) (0)
- Application of ASP for Agent Modelling in CSCL Environments (2005) (0)
- Extension of the spatially adaptive phase-field model to various forms of fracture (2022) (0)
- Principles of Data Management (Abridged) (2017) (0)
- Planning Problems for Graph Structured Data in Description Logics (2014) (0)
- On the Relationship Between Ontology-mediated Queries and Non-monotonic Datalog (2016) (0)
- Pointwise Circumscription in Description Logics (2022) (0)
- Tractability Guarantees for DL-Lite Query Answering (2013) (0)
- A semi-discrete line-free method of monopoles for dislocation dynamics (2021) (0)
- Data-Driven Finite Elasticity (2020) (0)
- Symmetric Div-Quasiconvexity and the Relaxation of Static Problems (2019) (0)
- FSplines: A Software for Linear Stability Analysis of Thin-Walled Structures, Version 2.0 (2020) (0)
- Data-Driven Problems in Elasticity (2018) (0)
- A model-free Data-Driven paradigm for in situ patient-specific prediction of human brain response to ultrasound stimulation (2022) (0)
- ADVANCES IN COMPUTATIONAL CARDIOVASCULAR MODELING AND SIMULATION (2014) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Michael Ortiz?
Michael Ortiz is affiliated with the following schools: