Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Mohammad Amri Zainal, Shafishuhaza Sahlan, Mohamed Sultan Mohamed Ali	Micromachined Shape-Memory-Alloy Microactuators and Their Application in Biomedical Devices.	Micromachines	2015	DBLP DOI BibTeX RDF
14	Nora Jaburek, Marion Merklein	Influence of a retrogression and reaging (RRA)-treatment on the mechanical and microstructural characteristics of the aluminium alloy AlZn4, 5Mg1.	Prod. Eng.	2015	DBLP DOI BibTeX RDF
14	Bircan Bugdayci, Ismail Lazoglu	Temperature and wear analysis in milling of aerospace grade aluminum alloy Al-7050.	Prod. Eng.	2015	DBLP DOI BibTeX RDF
14	Aboubakr Achraf El Ghazi, Mana Taghdiri	Analyzing Alloy Formulas using an SMT Solver: A Case Study.	CoRR	2015	DBLP BibTeX RDF
14	S. Sunjai Nakshatharan, K. Dhanalakshmi, D. Josephine Selvarani Ruth	Fuzzy based sliding surface for shape memory alloy wire actuated classical super-articulated control system.	Appl. Soft Comput.	2015	DBLP DOI BibTeX RDF
14	Jyoti Ranjan Mohanty, T. K. Mahanta, A. Mohanty, D. N. Thatoi	Prediction of constant amplitude fatigue crack growth life of 2024 T3 Al alloy with R-ratio effect by GP.	Appl. Soft Comput.	2015	DBLP DOI BibTeX RDF
14	Shyam Kumar Karna, Ran Vijay Singh, Rajeshwar Sahai	Analysis of Hardness by Parametric Optimization of Gravity Die Casting for A-356 Aluminium Alloy Using Taguchi Technique.	Int. J. Manuf. Mater. Mech. Eng.	2015	DBLP DOI BibTeX RDF
14	Naveed Akhtar, SuJun Wu	Tensile Fracture in Laser Welding Joints of Al-Cu-Li-Mg-X Alloy Bearing Gaseous Porosity.	Int. J. Manuf. Mater. Mech. Eng.	2015	DBLP DOI BibTeX RDF
14	Umacharan Singh Yadav, Vinod Yadava	Experimental modelling and optimisation of process parameters of hole drilling by electrical discharge machining of aerospace titanium alloy.	Int. J. Manuf. Technol. Manag.	2015	DBLP DOI BibTeX RDF
14	Kivanç Akça, Atilim Eser, Yeliz Çavusoglu, Elçin Sagirkaya, Murat Cavit Çehreli	Numerical assessment of bone remodeling around conventionally and early loaded titanium and titanium-zirconium alloy dental implants.	Medical Biol. Eng. Comput.	2015	DBLP DOI BibTeX RDF
14	Li Yang, Yaocheng Zhang, Chengchao Du, Jun Dai, Ning Zhang	Effect of aluminum concentration on the microstructure and mechanical properties of Sn-Cu-Al solder alloy.	Microelectron. Reliab.	2015	DBLP DOI BibTeX RDF
14	Yi-Wei Tseng, Fei-Yi Hung, Truan-Sheng Lui, Mei-Yu Chen, Hao-Wen Hsueh	Effect of annealing on the microstructure and bonding interface properties of Ag-2Pd alloy wire.	Microelectron. Reliab.	2015	DBLP DOI BibTeX RDF
14	Mohammad Hossein Mahdavifard, Mohd Faizul Mohd Sabri, Dhafer Abdulameer Shnawah, Suhana Mohd Said, Irfan Anjum Badruddin, S. Rozali	The effect of iron and bismuth addition on the microstructural, mechanical, and thermal properties of Sn-1Ag-0.5Cu solder alloy.	Microelectron. Reliab.	2015	DBLP DOI BibTeX RDF
14	Jun Chen 0009, Mahdi Mahfouf, Sidahmed Gaffour	A new holistic systems approach to the design of heat treated alloy steels using a biologically inspired multi-objective optimisation algorithm.	Eng. Appl. Artif. Intell.	2015	DBLP DOI BibTeX RDF
14	Tarek Bachaga, Rakia Daly, Mohamed Khitouni, Lluisa Escoda, Joan Saurina, Joan Josep Suñol	Thermal and Structural Analysis of Mn49.3Ni43.7Sn7.0 Heusler Alloy Ribbons.	Entropy	2015	DBLP DOI BibTeX RDF
14	Kenyu Ling, Hyung Ki Kim, Minyeong Yoo, Sungjoon Lim	Frequency-Switchable Metamaterial Absorber Injecting Eutectic Gallium-Indium (EGaIn) Liquid Metal Alloy.	Sensors	2015	DBLP DOI BibTeX RDF
14	Victor Hugo C. de Albuquerque, Cleisson V. Barbosa, Cleiton C. Silva, Elineudo P. de Moura, Pedro Pedrosa Rebouças Filho, João P. Papa, João Manuel R. S. Tavares	Ultrasonic Sensor Signals and Optimum Path Forest Classifier for the Microstructural Characterization of Thermally-Aged Inconel 625 Alloy.	Sensors	2015	DBLP DOI BibTeX RDF
14	Dawei Li, Pengfei Lv, Jiadeng Zhu, Yao Lu, Chen Chen, Xiangwu Zhang, Qufu Wei	NiCu Alloy Nanoparticle-Loaded Carbon Nanofibers for Phenolic Biosensor Applications.	Sensors	2015	DBLP DOI BibTeX RDF
14	Yong Yang, Wei Zhu	FEM and experiment-based initial residual stress field construction for titanium alloy monolithic component blank.	Int. J. Comput. Aided Eng. Technol.	2015	DBLP DOI BibTeX RDF
14	A. Thanapaul, S. Ganesh, S. Milan	Free vibration analysis of shear-deformable Al alloy plates using FEM with first order shear deformation theory.	Int. J. Comput. Aided Eng. Technol.	2015	DBLP DOI BibTeX RDF
14	K. Dhanalakshmi, Mangalanathan Umapathy, Deenadayalan Ezhilarasi	Sliding mode control of shape memory alloy actuated structure for vibration control.	Int. J. Model. Identif. Control.	2015	DBLP DOI BibTeX RDF
14	Pamela Zave	A practical comparison of Alloy and Spin.	Formal Aspects Comput.	2015	DBLP DOI BibTeX RDF
14	Jun Lu, Litian Wu	Study on dynamic model of magnetically controlled shape memory alloy sensor.	J. Comput. Methods Sci. Eng.	2015	DBLP DOI BibTeX RDF
14	A. Villoslada, Antonio Flores Caballero, Dorin Sabin Copaci, Dolores Blanco Rojas, Luis Moreno Lorente	High-displacement flexible Shape Memory Alloy actuator for soft wearable robots.	Robotics Auton. Syst.	2015	DBLP DOI BibTeX RDF
14	Jennifer Hannen Wiest, Gregory D. Buckner	Path optimization and control of a shape memory alloy actuated catheter for endocardial radiofrequency ablation.	Robotics Auton. Syst.	2015	DBLP DOI BibTeX RDF
14	Manabu Yasui, Satoru Kaneko, Masaharu Takahashi, Takashi Sano, Yasuo Hirabayashi, Takeshi Ozawa, Ryutaro Maeda	Micro Imprinting for Al Alloy Using Ni-W Electroformed Mold.	Int. J. Autom. Technol.	2015	DBLP DOI BibTeX RDF
14	Bartosz Minorowicz, Cezary Jedryczka, Frederik Stefanski, Amadeusz Nowak	Analysis and Modelling of Magnetic Circuits in Magnetic Shape Memory Alloy Actuators.	Progress in Automation, Robotics and Measuring Techniques	2015	DBLP DOI BibTeX RDF
14	Amadeusz Nowak, Bartosz Minorowicz, Frederik Stefanski, Zoran Pandilov	Characteristics of the Improved Magnetic Shape Memory Alloy Actuator Test Stand.	Progress in Automation, Robotics and Measuring Techniques	2015	DBLP DOI BibTeX RDF
14	Rodrigo M. L. M. Moreira, Ana C. R. Paiva	A Novel Approach using Alloy in Domain-specific Language Engineering.	MODELSWARD	2015	DBLP DOI BibTeX RDF
14	Jingjing Ji, Kok-Meng Lee, Chun-Yeon Lin, Yang Huang	An investigation on temperature measurements for machining of titanium alloy using ir imager with physics-based reconstruction.	AIM	2015	DBLP DOI BibTeX RDF
14	Savas Dilibal, Erik D. Engeberg	Finger-like manipulator driven by antagonistic nickel-titanium shape memory alloy actuators.	ICAR	2015	DBLP DOI BibTeX RDF
14	Daniela Maffiodo, Terenziano Raparelli	Resistance Feedback of a Shape Memory Alloy Wire.	RAAD	2015	DBLP DOI BibTeX RDF
14	Jun Shintake, Bryan Schubert, Samuel Rosset, Herbert Shea, Dario Floreano	Variable stiffness actuator for soft robotics using dielectric elastomer and low-melting-point alloy.	IROS	2015	DBLP DOI BibTeX RDF
14	Hao Wang 0011, Chang-Jae Park, Gyungsu Byun, Jung Ho Ahn, Nam Sung Kim	Alloy: Parallel-serial memory channel architecture for single-chip heterogeneous processor systems.	HPCA	2015	DBLP DOI BibTeX RDF
14	Julien Brunel, David Chemouil	Safety and Security Assessment of Behavioral Properties Using Alloy.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
14	Yasuyuki Shiraishi, Akihiro Yamada, Tomoyuki Yambe, Dai Homma, Shintaro Katahira, Naoki Masaki, Yukihiro Hayatsu, Masatoshi Akiyama, Yoshikatsu Saiki	Contraction support for the right ventricle by a shape memory alloy fibered artificial myocardium.	ASCC	2015	DBLP DOI BibTeX RDF
14	Alaa AbuZaiter, Ee Leen Ng, Mohamed Sultan Mohamed Ali, Suhail Kazi	Miniature parallel manipulator using TiNiCu shape-memory-alloy microactuators.	ASCC	2015	DBLP DOI BibTeX RDF
14	Sarah Trabia, Viljar Palmre, Kwang J. Kim	Development of self-sensing Ionic Polymer-Metal Composite soft robotic actuator integrated with gallium-indium alloy.	URAI	2015	DBLP DOI BibTeX RDF
14	Matthias Auf der Maur, Alessandro Pecchia, Aldo Di Carlo	Influence of random alloy fluctuations in InGaN/GaN quantum wells on LED efficiency.	RTSI	2015	DBLP DOI BibTeX RDF
14	Akio Yamano, Atsuhiko Shintani, Tomohiro Ito, Chihiro Nakagawa	Basic study of power reduction for shape memory alloy actuator drive.	IECON	2015	DBLP DOI BibTeX RDF
14	Hyung-Il Kim, Min-Woo Han, Wei Wang, Sung-Hyuk Song, Hugo Rodrigue, Sung-Hoon Ahn	Design and development of bio-mimetic soft robotic hand with shape memory alloy.	ROBIO	2015	DBLP DOI BibTeX RDF
14	Chi Hsiang Pan, Ying-Bin Wang, Hsin-Ying Pan	Development of dynamically artificial flowers driven by shape memory alloy and pulse width modulation.	ARSO	2015	DBLP DOI BibTeX RDF
14	Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota 0001	Verifying Transformations of Java Programs Using Alloy.	SBMF	2015	DBLP DOI BibTeX RDF
14	Edyta Hetmaniok, Damian Slota, Adam Zielonka	Parallel Procedure Based on the Swarm Intelligence for Solving the Two-Dimensional Inverse Problem of Binary Alloy Solidification.	PPAM (2)	2015	DBLP DOI BibTeX RDF
14	Xiaoliang Wang, Adrian Rutle, Yngve Lamo	Towards User-Friendly and Efficient Analysis with Alloy.	MoDeVVa@MoDELS	2015	DBLP BibTeX RDF
14	Krisada Asawarungsaengkul, Supreecha Yathiphat	Quality Improvement in a Low Pressure Die Casting Process of Alloy Wheels by Applying Box-Behnken Design.	DaEng	2015	DBLP DOI BibTeX RDF
14	William Coral Cuellar, Claudio Rossi 0001, Irene Perrino Martin	Bio-inspired Morphing Caudal Fin using Shape Memory Alloy Composites for a Fish-like Robot - Design, Fabrication and Analysis.	ICINCO (2)	2015	DBLP BibTeX RDF
14	Saber Mirzaei, Flavio Esposito	An Alloy Verification Model for Consensus-Based Auction Protocols.	ICDCS Workshops	2015	DBLP DOI BibTeX RDF
14	Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson 0001	Alloy*: A General-Purpose Higher-Order Relational Constraint Solver.	ICSE (1)	2015	DBLP DOI BibTeX RDF
14	Yongguang Liu, Nannan Cheng, Wenlei Liu	Feeding devices of eddy current testing on Titanium Alloy tube.	ICIA	2015	DBLP DOI BibTeX RDF
14	Jesper Kristensen, Nicholas Zabaras	Bayesian uncertainty quantification in the evaluation of alloy properties with the cluster expansion method.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
14	Mohammad Reza Rahimipour, Ali Asghar Tofigh, Ali Mazahery, Mohsen Ostad Shabani	Strategic developments to improve the optimization performance with efficient optimum solution and produce high wear resistance aluminum-copper alloy matrix composites.	Neural Comput. Appl.	2014	DBLP DOI BibTeX RDF
14	Ishita Ghosh, Suchandan Kumar Das, Nil Ratan Chakraborty	An artificial neural network model to characterize porosity defects during solidification of A356 aluminum alloy.	Neural Comput. Appl.	2014	DBLP DOI BibTeX RDF
14	Tao Fan, Qi Li, Xuhui Wen	Development of a High Power Density Motor Made of Amorphous Alloy Cores.	IEEE Trans. Ind. Electron.	2014	DBLP DOI BibTeX RDF
14	Nazila Nikdel, Parisa Nikdel, Mohammad Ali Badamchizadeh, Iraj Hassanzadeh	Using Neural Network Model Predictive Control for Controlling Shape Memory Alloy-Based Manipulator.	IEEE Trans. Ind. Electron.	2014	DBLP DOI BibTeX RDF
14	N. D. Ghetiya, K. M. Patel, S. J. Makvana	Determination of an optimum parametric combination using a tensile strength prediction model for friction stir welded AA8011 aluminium alloy.	Int. J. Manuf. Res.	2014	DBLP DOI BibTeX RDF
14	David W. Rosen	Multiscale, Heterogeneous Computer Aided Design Representation for Metal Alloy Microstructures.	J. Comput. Inf. Sci. Eng.	2014	DBLP DOI BibTeX RDF
14	Richard Hood, C. M. Johnson, S. L. Soo, D. K. Aspinwall, C. Sage	High-speed ball nose end milling of burn-resistant titanium (BuRTi) alloy.	Int. J. Comput. Integr. Manuf.	2014	DBLP DOI BibTeX RDF
14	Han Wang, Gangbing Song	Innovative NARX recurrent neural network model for ultra-thin shape memory alloy wire.	Neurocomputing	2014	DBLP DOI BibTeX RDF
14	Jennifer Hannen Wiest, Gregory D. Buckner	Indirect Intelligent Sliding Mode Control of Antagonistic Shape Memory Alloy Actuators Using Hysteretic Recurrent Neural Networks.	IEEE Trans. Control. Syst. Technol.	2014	DBLP DOI BibTeX RDF
14	Xiaoliang Wang, Fabian Büttner, Yngve Lamo	Verification of Graph-based Model Transformations Using Alloy.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
14	Saber Mirzaei, Flavio Esposito	An Alloy Verification Model for Consensus-Based Auction Protocols.	CoRR	2014	DBLP BibTeX RDF
14	Md. Abdullah Al Mamun 0001, Christian Berger 0001, Jörgen Hansson	Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy.	CoRR	2014	DBLP BibTeX RDF
14	Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe	CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.	CoRR	2014	DBLP BibTeX RDF
14	Gurvan Le Guernic	In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.	ESSS	2014	DBLP DOI BibTeX RDF
14	Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée	Formal Safety and Security Assessment of an Avionic Architecture with Alloy.	ESSS	2014	DBLP DOI BibTeX RDF
14	Alireza Fathi, Ahmad Mozaffari	Modeling a shape memory alloy actuator using an evolvable recursive black-box and hybrid heuristic algorithms inspired based on the annual migration of salmons in nature.	Appl. Soft Comput.	2014	DBLP DOI BibTeX RDF
14	Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias	Dynamite: A tool for the verification of alloy models based on PVS.	ACM Trans. Softw. Eng. Methodol.	2014	DBLP DOI BibTeX RDF
14	Hao-Wen Hsueh, Fei-Yi Hung, Truan-Sheng Lui, Li-Hui Chen 0004, Jun-Kai Chang	Microstructure, electric flame-off (EFO) characteristics and tensile properties of silver-lanthanum alloy wire.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Emmanuelle S. Freitas, Wislei R. Osório, José E. Spinelli, Amauri Garcia	Mechanical and corrosion resistances of a Sn-0.7 wt.%Cu lead-free solder alloy.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Byung-seung Yim, Jeong-Il Lee, Byung-Hun Lee, Young-Eui Shin, Jong-Min Kim	An investigation of the reliability of solderable ICA with low-melting-point alloy (LMPA) filler.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Nor Ilyana Muhd Nordin, Suhana Mohd Said, Roziana Ramli, Mohd Faizul Mohd Sabri, N. M. Sharif, N. A. F. N. M. Arifin, N. N. S. Ibrahim	Microstructure of Sn-1Ag-0.5Cu solder alloy bearing Fe under salt spray test.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Rui Guo 0003, Liming Gao, Dali Mao, Ming Li, Xu Wang, Zhong Lv, Hope Chiu	Study of free air ball formation in Ag-8Au-3Pd alloy wire bonding.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Yee-Wen Yen, Ruo-Syun Syu, Chih-Ming Chen 0002, Chien-Chung Jao, Guan-Da Chen	Interfacial reactions of Sn-58Bi and Sn-0.7Cu lead-free solders with Alloy 42 substrate.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Z. Pruszowski, M. Ciez	The influence of electroless metallization process parameters on basic electric properties of Ni-P alloy.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Karen M. C. Wong, Yee Kai Tian	Effect of trace platinum additions on the interfacial morphology of Sn-3.8Ag-0.7Cu alloy aged for long hours.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Bismarck Luiz Silva, Amauri Garcia, José E. Spinelli	The roles of dendritic spacings and Ag3Sn intermetallics on hardness of the SAC307 solder alloy.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
14	Vicente Sánchez-Alarcos, Vicente Recarte, José Ignacio Pérez-Landazábal, Eduard Cesari, José Alberto Rodríguez-Velamazán	Long-Range Atomic Order and Entropy Change at the Martensitic Transformation in a Ni-Mn-In-Co Metamagnetic Shape Memory Alloy.	Entropy	2014	DBLP DOI BibTeX RDF
14	Pedro José Arrazola, Aitor Kortabarria, Aitor Madariaga, J. A. Esnaola, E. Fernandez, C. Cappellini, Durul Ulutan, Tugrul Özel	On the machining induced residual stresses in IN718 nickel-based alloy: Experiments and predictions with finite element simulation.	Simul. Model. Pract. Theory	2014	DBLP DOI BibTeX RDF
14	C. Ezilarasan, V. S. Senthil Kumar, A. Velayudham	Theoretical predictions and experimental validations on machining the Nimonic C-263 super alloy.	Simul. Model. Pract. Theory	2014	DBLP DOI BibTeX RDF
14	Seung Hee Jeong, Klas Hjort, Zhigang Wu	Tape Transfer Printing of a Liquid Metal Alloy for Stretchable RF Electronics.	Sensors	2014	DBLP DOI BibTeX RDF
14	Rajesh Kumar Porwal, Vinod Yadava	Experimentation and prediction of material removal rate of electrical discharge micromachining of nickel-based super alloy thin sheet.	Int. J. Comput. Aided Eng. Technol.	2014	DBLP DOI BibTeX RDF
14	Elvinia Riccobene, Steve Reeves	Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
14	Benoît Fraikin, Marc Frappier, Richard St-Denis	Supervisory control theory with Alloy.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
14	Aleksandar Milicevic, Daniel Jackson 0001	Preventing arithmetic overflows in Alloy.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
14	Dae Min Kang, Kyoung Do Park, Dai Yeal Lee	Optimizing Friction Stir Welding of Al 6061 Alloy Using Statistical Analysis.	J. Adv. Comput. Intell. Intell. Informatics	2014	DBLP DOI BibTeX RDF
14	Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen	Matching and Merging Scenarios Automatically with Alloy.	MODELSWARD (Revised Selected Papers)	2014	DBLP DOI BibTeX RDF
14	Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles	Automated Composition of Sequence Diagrams via Alloy.	MODELSWARD	2014	DBLP DOI BibTeX RDF
14	John P. Swensen, Aaron M. Dollar	Optimization of parallel spring antagonists for Nitinol shape memory alloy actuators.	ICRA	2014	DBLP DOI BibTeX RDF
14	Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima 0001, Alexandre L. Correa	A Method for Verifying the Consistency of Business Rules Using Alloy.	SEKE	2014	DBLP BibTeX RDF
14	Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov	Towards a test automation framework for alloy.	SPIN	2014	DBLP DOI BibTeX RDF
14	Felix Orlando Maria Joseph, Karly Franz, Yaxin Luan, Yan-Jiang Zhao, Naresh V. Datla, Parsaoran Hutapea, Adam Dicker, Yan Yu, Tarun Kanti Podder	Development of a coordinated controller for robot-assisted shape memory alloy actuated needle for prostate brachytherapy.	EMBC	2014	DBLP DOI BibTeX RDF
14	Shin Nakajima 0001	Using Alloy in Introductory Courses of Formal Methods.	SOFL+MSVL	2014	DBLP DOI BibTeX RDF
14	Thanhtam Ho, Sangyoon Lee	Analysis and Simulation of a Jumping Robot Actuated by Shape Memory Alloy.	IAS	2014	DBLP DOI BibTeX RDF
14	Efthymios Kolyvas, Yannis Koveos, Anthony Tzes	On the interaction of temperature-sensing, Shape Memory Alloy dynamics, and control design for a bending actuator.	MED	2014	DBLP DOI BibTeX RDF
14	Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.)	ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Yamine Aït Ameur, Klaus-Dieter Schewe (eds.)	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings	ABZ	2014	DBLP DOI BibTeX RDF
14	Riccardo Antonello, Sebastiano Pagani, Roberto Oboe, Marco Branciforte, Maria Celvisia Virzì	Use of antagonistic shape memory alloy wires in load positioning applications.	ISIE	2014	DBLP DOI BibTeX RDF
14	A. Villoslada, Antonio Flores Caballero, Dorin Sabin Copaci, Dolores Blanco Rojas, Luis Moreno Lorente	High-displacement fast-cooling flexible Shape Memory Alloy actuator: Application to an anthropomorphic robotic hand.	Humanoids	2014	DBLP DOI BibTeX RDF
14	Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz	Generating JML Specifications from Alloy Expressions.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF