Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Lingfeng Fan, Hailin Huang, Bing Li 0015, Yinghao Ning	Design of a Locking-Release Device Using Shape Memory Alloy.	CBS	2018	DBLP DOI BibTeX RDF
14	Jean-Raymond Abrial	The ABZ-2018 Case Study with Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
14	Jure Kukovec, Thanh-Hai Tran 0002, Igor Konnov 0001	Extracting Symbolic Transitions from TLA+ Specifications.	ABZ	2018	DBLP DOI BibTeX RDF
14	Wen Su, Jinxin Chen, Shehroz Khan 0002	Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
14	Dana Dghaym, Michael Poppleton, Colin F. Snook	Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.	ABZ	2018	DBLP DOI BibTeX RDF
14	Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa	Proposition of an Action Layer for Electrum.	ABZ	2018	DBLP DOI BibTeX RDF
14	Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh 0001, Laurent Voisin	On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
14	Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002	Capturing Membrane Computing by ASMs.	ABZ	2018	DBLP DOI BibTeX RDF
14	Christoph Beierle, Klaus-Dieter Schewe	Abstract State Machines with Exact Real Arithmetic.	ABZ	2018	DBLP DOI BibTeX RDF
14	Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres	Systematic Refinement of Abstract State Machines with Higher-Order Logic.	ABZ	2018	DBLP DOI BibTeX RDF
14	Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier	Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.	ABZ	2018	DBLP DOI BibTeX RDF
14	Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid	Systematic Generation of Non-equivalent Expressions for Relational Algebra.	ABZ	2018	DBLP DOI BibTeX RDF
14	John W. Baugh Jr., Tristan Dyer	State-Based Formal Methods in Scientific Computation.	ABZ	2018	DBLP DOI BibTeX RDF
14	Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun	CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation.	ABZ	2018	DBLP DOI BibTeX RDF
14	Markus Leitz, Alexander Raschke	Formal Specification of the Semantics of Control State Diagrams.	ABZ	2018	DBLP DOI BibTeX RDF
14	Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi	Verifiable Code Generation from Scheduled Event-B Models.	ABZ	2018	DBLP DOI BibTeX RDF
14	Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson	ABZ Languages and Tools in Industrial-Scale Application.	ABZ	2018	DBLP DOI BibTeX RDF
14	Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon	Clarification of Ambiguity for the Simple Authentication and Security Layer.	ABZ	2018	DBLP DOI BibTeX RDF
14	Paolo Arcaini, Pavel Jezek, Jan Kofron	Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.	ABZ	2018	DBLP DOI BibTeX RDF
14	Dominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron	Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.	ABZ	2018	DBLP DOI BibTeX RDF
14	Inna Vistbakka, Mikhail Barash, Elena Troubitsyna	Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
14	Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer	Modelling Dynamic Data Structures with the B Method.	ABZ	2018	DBLP DOI BibTeX RDF
14	Alcino Cunha, Nuno Macedo	Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum.	ABZ	2018	DBLP DOI BibTeX RDF
14	Thai Son Hoang, Michael J. Butler, Klaus Reichl	The Hybrid ERTMS/ETCS Level 3 Case Study.	ABZ	2018	DBLP DOI BibTeX RDF
14	Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor	AsmetaA: Animator for Abstract State Machines.	ABZ	2018	DBLP DOI BibTeX RDF
14	Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang 0002	Distributed Adaptive Systems - Theory, Specification, Reasoning.	ABZ	2018	DBLP DOI BibTeX RDF
14	Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001	Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
14	Richard Banach	Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem.	ABZ	2018	DBLP DOI BibTeX RDF
14	Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea	Refinement of Timing Constraints for Concurrent Tasks with Scheduling.	ABZ	2018	DBLP DOI BibTeX RDF
14	Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau	An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.	ABZ	2018	DBLP DOI BibTeX RDF
14	Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard	An Automation-Friendly Set Theory for the B Method.	ABZ	2018	DBLP DOI BibTeX RDF
14	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar	Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach.	ABZ	2018	DBLP DOI BibTeX RDF
14	Lilian Burdy, David Déharbe	Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B.	ABZ	2018	DBLP DOI BibTeX RDF
14	Jean-Raymond Abrial	On B and Event-B: Principles, Success and Challenges.	ABZ	2018	DBLP DOI BibTeX RDF
14	Guocai Lv, Yanjing Su	Molecular dynamics simulation and first principles calculations of radiation-induced Cu clusters in Fe-3 at.% Cu alloy.	Comput. Phys. Commun.	2017	DBLP DOI BibTeX RDF
14	Ermanno Cardelli, Antonio Faba, Antonino Laudani, Simone Quondam Antonio, Francesco Riganti Fulginei, Alessandro Salvini	Computer Modeling of Nickel-Iron Alloy in Power Electronics Applications.	IEEE Trans. Ind. Electron.	2017	DBLP DOI BibTeX RDF
14	Pushparenu Bhattacharjee, Abhiman Debnath, Sujoy Chakraborty, Uttam Kumar Mandal	Selection of optimal aluminum alloy using TOPSIS method under fuzzy environment.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
14	Ruoxu Ren, Terence Hung, Kay Chen Tan	Automatic Microstructure Defect Detection of Ti-6Al-4V Titanium Alloy by Regions-Based Graph.	IEEE Trans. Emerg. Top. Comput. Intell.	2017	DBLP DOI BibTeX RDF
14	James Hope, Andrew McDaid	Development of Wearable Wrist and Forearm Exoskeleton with Shape Memory Alloy Actuators.	J. Intell. Robotic Syst.	2017	DBLP DOI BibTeX RDF
14	Hosein Tavakoli Hoseini, Mohammadreza Farahani, Majid Sohrabian	Process analysis of resistance spot welding on the Inconel alloy 625 using artificial neural networks.	Int. J. Manuf. Res.	2017	DBLP DOI BibTeX RDF
14	Chun Jiang, Fubiao Zhang, Zhenmin Wang	Image Processing of Aluminum Alloy Weld Pool for Robotic VPPAW Based on Visual Sensing.	IEEE Access	2017	DBLP DOI BibTeX RDF
14	Bo Jin 0004, Weifang Zhang, Feifei Ren, Meng Zhang 0008, Wei Dai 0005, Yanrong Wang	Mechanism of Subordinate Peak Skewing of FBG Sensor during Cracks Propagation Monitoring on Aluminum Alloy Structure.	J. Sensors	2017	DBLP DOI BibTeX RDF
14	Svetlana Yarosh, Kenya Mejia, Baris Unver, Xizi Wang, Yuan Yao, Akin Campbell, Brad T. Holschuh	SqueezeBands: Mediated Social Touch Using Shape Memory Alloy Actuation.	Proc. ACM Hum. Comput. Interact.	2017	DBLP DOI BibTeX RDF
14	Shigeru Sawada, Song-Zhu Kure-Chu, Rie Nakagawa, Toru Ogasawara, Hitoshi Yashiro, Yasushi Saitoh	Effect of Hardness on Wear and Abrasion Resistance of Silver Plating on Copper Alloy.	IEICE Trans. Electron.	2017	DBLP DOI BibTeX RDF
14	Robert Montgomery, Carlos Tomé, Wenfeng Liu, Alankar Alankar, Gopinath Subramanian, Christopher Stanek	Use of multiscale zirconium alloy deformation models in nuclear fuel behavior analysis.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
14	Abdalla Salama, Amin Malekmohammadi, Shahram Mohanna, Rajprasad Rajkumar	A Multitasking Electrical Impedance Tomography System Using Titanium Alloy Electrode.	Int. J. Biomed. Imaging	2017	DBLP DOI BibTeX RDF
14	Christian Bölling, Milla Kuhne, Eberhard Abele	Modeling of process forces with consideration of tool wear for machining of sintered steel alloy for application to valve seat in a combustion engine.	Prod. Eng.	2017	DBLP DOI BibTeX RDF
14	Tugrul Özel, Alaa Olleak, Thanongsak Thepsonthi	Micro milling of titanium alloy Ti-6Al-4V: 3-D finite element modeling for prediction of chip flow and burr formation.	Prod. Eng.	2017	DBLP DOI BibTeX RDF
14	Naveed Akhtar, Razzaq Ahmed, Muhammad Arfan, Muhammad Noshad Ali	Mechanical Performance and Fracture Behavior of Recycled AA6061-T6 Alloy Melted from Aluminium Chips.	Int. J. Manuf. Mater. Mech. Eng.	2017	DBLP DOI BibTeX RDF
14	Arvind Gautam, Anuradha Balouria, Divya Andem, Kare Mounika, A. Bhargavi Rani, Amit Acharyya, Swati Ghosh Acharyya	Thermo-Magnetic Control System for Nano-Ferromagnetic Particle Doped Shape Memory Alloy for Orthopedic Devices and Rehabilitation Techniques.	J. Low Power Electron.	2017	DBLP DOI BibTeX RDF
14	A. E. Hammad, A. A. Ibrahiem	Enhancing the microstructure and tensile creep resistance of Sn-3.0Ag-0.5Cu solder alloy by reinforcing nano-sized ZnO particles.	Microelectron. Reliab.	2017	DBLP DOI BibTeX RDF
14	Kalathi Madhivanan, M. Senthil Kumar, Rajagopal Ramesh	Vibration signal responses classification in AA 6063 aluminium alloy friction stir welded joint using optimal neural network.	Int. J. Bus. Intell. Data Min.	2017	DBLP DOI BibTeX RDF
14	Yaliang Liu, Li Zou, Yibo Sun, Xinhua Yang	Evaluation Model of Aluminum Alloy Welded Joint Low-Cycle Fatigue Data Based on Information Entropy.	Entropy	2017	DBLP DOI BibTeX RDF
14	Tiziana Segreto, Alessandra Caggiano, Sara Karam, Roberto Teti	Vibration Sensor Monitoring of Nickel-Titanium Alloy Turning for Machinability Evaluation.	Sensors	2017	DBLP DOI BibTeX RDF
14	Seunghyun Eom, Muhammad Usman Memon, Sungjoon Lim	Frequency-Switchable Microfluidic CSRR-Loaded QMSIW Band-Pass Filter Using a Liquid Metal Alloy.	Sensors	2017	DBLP DOI BibTeX RDF
14	Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro 0001	An idiom to represent data types in Alloy.	Inf. Softw. Technol.	2017	DBLP DOI BibTeX RDF
14	Zhongtang Wang, Ling-Yi Wang, Shengdong Gao	Simulation of microstructure evolution of AZ31 magnesium alloy during indenten-flatten compound deformation technology based on cellular automata.	Int. J. Simul. Process. Model.	2017	DBLP DOI BibTeX RDF
14	Daniela Maffiodo, Terenziano Raparelli	Three-Fingered Gripper with Flexure Hinges Actuated by Shape Memory Alloy Wires.	Int. J. Autom. Technol.	2017	DBLP DOI BibTeX RDF
14	Shoichi Kikuchi, Yuki Nakamura, Koichiro Nambu, Toshikazu Akahori	Formation of Hydroxyapatite Layer on Ti-6Al-4V ELI Alloy by Fine Particle Peening.	Int. J. Autom. Technol.	2017	DBLP DOI BibTeX RDF
14	Togo Shinonaga, Yuta Iida, Ryota Toshimitsu, Akira Okada	Fundamental Study on Addition of Osteoconductivity to Titanium Alloy Surface by EDM.	Int. J. Autom. Technol.	2017	DBLP DOI BibTeX RDF
14	Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau	Verification of SGAC Access Control Policies Using Alloy and ProB.	HASE	2017	DBLP DOI BibTeX RDF
14	Junfeng Li, Guoliang Zhong, Haibin Yin, Mingchang He, Yuegang Tan, Zhang Li	Position control of a robot finger with variable stiffness actuated by shape memory alloy.	ICRA	2017	DBLP DOI BibTeX RDF
14	Amit Srivastava, Christopher Ward, Rajni V. Patel	Adaptive neural Preisach model and model predictive control of Shape Memory Alloy actuators.	AIM	2017	DBLP DOI BibTeX RDF
14	Philip C. Roth, Hongzhang Shan, David Riegner, Nikolas Antolin, Sarat Sreepathi, Leonid Oliker, Samuel Williams 0001, Shirley Moore, Wolfgang Windl	Performance analysis and optimization of the RAMPAGE metal alloy potential generation software.	SEPS@SPLASH	2017	DBLP DOI BibTeX RDF
14	Kengo Igawa, Tso-Fu Mark Chang, Chun-Yi Chen, Akira Umise, Takashi Nagoshi, Masaki Tahara, Tomonari Inamura, Hideki Hosoda, Volodymyr A. Chernenko, Masato Sone	Micro-compression study of Ni-Fe(Co)-Ga magnetic shape memory alloy for MEMS sensors.	IEEE SENSORS	2017	DBLP DOI BibTeX RDF
14	Jose Marques Basilio Sobrinho, Maxsuel Ferreira Cunha, Cicero da Rocha Souto, Simplicio Arnaud da Silva, Alexsandro Jose Virginio dos Santos, Sebastian Yuri Cavalcanti Catunda	Electronic instrumentation for the characterization of a rotary thermoelectric motor driven by shape memory alloy springs.	I2MTC	2017	DBLP DOI BibTeX RDF
14	Diego Scaccabarozzi, Arash Valiesfahani, Bortolino Saggin, Marianna Magni, Marco Tarabini, Carlo Alberto Biffi, Ausonio Tuissi	Characterization of the pseudoelastic damping capacity of shape memory alloy wire.	I2MTC	2017	DBLP DOI BibTeX RDF
14	Hideyuki Sawada	Micro-vibration actuators driven by shape-memory alloy wires and its application to tactile displays.	MHS	2017	DBLP DOI BibTeX RDF
14	Chong Tune Hau, Darwin Gouwanda, Alpha Agape Gopalai, Cheng Yee Low, Fazah Akhtar binti Hanapiah	Design and development of platform ankle rehabilitation robot with Shape Memory Alloy based actuator.	EMBC	2017	DBLP DOI BibTeX RDF
14	Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid	Automated Test Generation and Mutation Testing for Alloy.	ICST	2017	DBLP DOI BibTeX RDF
14	Jun Zhang 0025, Michael C. Yip	Three-Dimensional Hysteresis Modeling of Robotic Artificial Muscles with Application to Shape Memory Alloy Actuators.	Robotics: Science and Systems	2017	DBLP BibTeX RDF
14	Wenjun Xu, Jian Zhang, Yifeng Chen, Wei Xue, Yu Cao	Deicing of aluminum alloy rod by laser induced bubble explosion reaction.	ICSAI	2017	DBLP DOI BibTeX RDF
14	Bruno Oliveira 0001, Orlando Belo	Validating ETL Patterns Feasability using Alloy.	DATA	2017	DBLP DOI BibTeX RDF
14	Mariana Carvalho, Orlando Belo	Using Alloy for Verifying the Integration of OLAP Preferences in a Hybrid What-If Scenario Application.	KES-IDT (1)	2017	DBLP DOI BibTeX RDF
14	Yogesh Singh, Santhakumar Mohan	Development of a Planar 3PRP Parallel Manipulator using Shape Memory Alloy Spring based Actuators.	AIR	2017	DBLP DOI BibTeX RDF
14	Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias	DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.	ESEC/SIGSOFT FSE	2017	DBLP DOI BibTeX RDF
14	Shibing Ye, Peng Yang, Meiling Feng, Junqing Sun	Analyzing environmental factors of on-line monitoring of smelting alloy steel using rough set.	ICNC-FSKD	2017	DBLP DOI BibTeX RDF
14	Linfei Zhang, Min Xu, Hao Yang	Research on soft manipulator actuated by shape memory alloy (SMA) springs.	RCAR	2017	DBLP DOI BibTeX RDF
14	Nurulhuda A. Manaf, Andreas Antoniades, Sotiris Moschoyiannis	SBVR2Alloy: An SBVR to Alloy Compiler.	SOCA	2017	DBLP DOI BibTeX RDF
14	Yufei Hao, Tianmiao Wang, Li Wen	A Programmable Mechanical Freedom and Variable Stiffness Soft Actuator with Low Melting Point Alloy.	ICIRA (1)	2017	DBLP DOI BibTeX RDF
14	Yunhao Ge, Jihao Liu, Bin Li, Huihua Miao, Weixin Yan, Yanzheng Zhao	Dynamic Drive Performances of the Bionic Suction Cup Actuator Based on Shape Memory Alloy.	ICIRA (1)	2017	DBLP DOI BibTeX RDF
14	Doug Reitz, Estela Blaisten-Barojas	Monte Carlo Study of the Crystalline and Amorphous NaK Alloy.	ICCS	2017	DBLP DOI BibTeX RDF
14	Jarbas Joaci de Mesquita Sá Junior, André Ricardo Backes, Odemir Martinez Bruno	Randomized Neural Network Based Signature for Classification of Titanium Alloy Microstructures.	CIARP	2017	DBLP DOI BibTeX RDF
14	André Ricardo Backes, Jarbas Joaci de Mesquita Sá Junior	Texture Classification of Phases of Ti-6Al-4V Titanium Alloy Using Fractal Descriptors.	CIARP	2017	DBLP DOI BibTeX RDF
14	Long-Phuoc Tôn, Hoang-Anh Pham, Bo Dao	Software Abstraction for Casual Games Using Temporal Model: An Alloy-Based Approach.	ACOMP	2017	DBLP DOI BibTeX RDF
14	Bin He, Hu Shi, Haitao Wang, Xuesong Mei	Design and performance analysis of high response actuator using magnetic shape memory alloy.	M2VIP	2017	DBLP DOI BibTeX RDF
14	Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov	Evaluating State Modeling Techniques in Alloy.	SQAMIA	2017	DBLP BibTeX RDF
14	Siddhartha Banerjee, Subhas Bhunia, Pravash Chandra Chakraborti, Sanjoy Kumar Saha 0001	An Automated Approach for Volume Fraction Measurement of Titanium Alloy using Digital Image Processing.	ICCCT	2017	DBLP DOI BibTeX RDF
14	P. S. Vishweshwara, N. Gnanasekaran, M. Arun	Estimation of Interfacial Heat Transfer Coefficient for Horizontal Directional Solidification of Sn-5 wt%Pb Alloy Using Genetic Algorithm as Inverse Method.	SocProS (1)	2017	DBLP DOI BibTeX RDF
14	Shun Guo, Qi Zhou, Peng Xu, Qiong Gao, Tianyuan Luo, Yong Peng, Jian Kong, Kehong Wang, Jun Zhu	Study on Lightweight Design and Connection of Dissimilar Metals of Titanium Alloy TC4/T2 Copper/304 Stainless Steel.	LSMS/ICSEE (3)	2017	DBLP DOI BibTeX RDF
14	Loïc Gammaitoni	On the Use of Alloy in Engineering Domain Specific Modeling Languages.		2017	RDF
14	Linxian Zhi, Yuyang Zhu, Hai Wang 0004, Zhengming Xu, Zhihong Man	A recurrent neural network for modeling crack growth of aluminium alloy.	Neural Comput. Appl.	2016	DBLP DOI BibTeX RDF
14	Thibaut Heckmann, Thomas R. Souvignet, S. Lepeer, David Naccache	Low-temperature low-cost 58 Bismuth - 42 Tin alloy forensic chip re-balling and re-soldering.	Digit. Investig.	2016	DBLP DOI BibTeX RDF
14	Rossella Berni, Marcantonio Catelani, Caterina Fiesoli, Valeria L. Scarano	A Comparison of Alloy-Surface Finish Combinations Considering Different Component Package Types and Their Impact on Soldering Reliability.	IEEE Trans. Reliab.	2016	DBLP DOI BibTeX RDF
14	Dianwu Zhou, Ningning Li, Shaohua Xu, Jinshui Liu	Research on laser weld bonding of duel phase steel to aluminium alloy.	Int. J. Manuf. Res.	2016	DBLP DOI BibTeX RDF
14	M. Venkata Ramana, G. K. Mohan Rao, D. Hanumantha Rao	Experimental investigations on tool wear in turning of Ti-6Al-4V alloy under different machining environmental conditions.	Int. J. Manuf. Res.	2016	DBLP DOI BibTeX RDF
14	Manisha Priyadarshini, Kamal Pal	Multi-objective optimisation of EDM process using hybrid Taguchi-based methodologies for Ti-6Al-4V alloy.	Int. J. Manuf. Res.	2016	DBLP DOI BibTeX RDF
14	Fergus Taylor, Chikit Au	Forced Air Cooling of Shape-Memory Alloy Actuators for a Prosthetic Hand.	J. Comput. Inf. Sci. Eng.	2016	DBLP DOI BibTeX RDF
14	Sharad Ghodke, R. S. Jangid	Equivalent linear elastic-viscous model of shape memory alloy for isolated structures.	Adv. Eng. Softw.	2016	DBLP DOI BibTeX RDF
14	Wei Liang, Hidekazu Murakawa, Dean Deng	Estimating inherent deformation in thin-plate Al-alloy joint by means of inverse analysis with the help of cutting technique.	Adv. Eng. Softw.	2016	DBLP DOI BibTeX RDF