Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
68 | Lian Yan, Michael Fassino, Patrick Baldasare |
Enhancing the lift under budget constraints: an application in the mutual fund industry. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
lift curve, mutual fund redemption, pull rate, true positive rate, neural networks, ROC curve |
68 | M. V. Mielke |
Final Lift Actions Associated with Topological Functors. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
topological category, final lift actions |
67 | Wan J. Fokkink, Allard Kakebeen, Jun Pang 0001 |
Adapting the UPPAAL Model of a Distributed Lift System. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Feng Qin, Cheng Wang 0013, Zhenmin Li, Ho-Seop Kim, Yuanyuan Zhou, Youfeng Wu |
LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks. |
MICRO |
2006 |
DBLP DOI BibTeX RDF |
|
67 | Keck Voon Ling, Y. C. Soh |
Development of an intelligent lift monitoring system for preemptive maintenance. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Zheng Hu, Raymond McCauley, Steve Schaeffer, Xinyan Deng |
Aerodynamics of dragonfly flight and robotic design. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Steven Floyd, Metin Sitti |
Design and Development of the Lifting and Propulsion Mechanism for a Biologically Inspired Water Runner Robot. |
IEEE Trans. Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Giovanni Simone, Francesco Carlo Morabito |
ICA-NN Based Data Fusion Approach in ECT Signal Restoration. |
IJCNN (5) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Bernard A. Galler, R. Wagman, J. Bravatto, G. Lift, G. Kern, V. Berstis, E. Munn |
CRISP: An interactive student registration system. |
ACM Annual Conference |
1973 |
DBLP DOI BibTeX RDF |
|
47 | Boris G. Mirkin, Susana Nascimento, Luís Moniz Pereira |
Cluster-Lift Method for Mapping Research Activities over a Concept Tree. |
Advances in Machine Learning II |
2010 |
DBLP DOI BibTeX RDF |
Cluster-lift method, additive clustering, concept generalization, knowledge transmutation, concept tree |
47 | Wei Wang 0087, Yu Zhao, YinHua Lei, Zhihong Li |
Nanoparticle-based lift-off technique for ultra-thin nanoporous film preparation. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
nanoparticle, lift-off, nanoporous film |
47 | Pablo Rey, Claudia A. Sagastizábal |
Convex Normalizations in Lift-and-Project Methods for 0-1 Programming. |
Ann. Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
disjunctive cuts, 0-1 integer programming, Branch-and-Cut, cutting planes, Lift-and-Project |
47 | Erik Steltz, Srinath Avadhanula, Ronald S. Fearing |
High lift force with 275 Hz wing beat in MFI. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Eduardo Camponogara, Agustinho Plucenio |
Lift-gas allocation under precedence constraints: 1-configuration inequalities. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Paulo H. R. Nakashima, Eduardo Camponogara |
Optimization of Lift-Gas Allocation Using Dynamic Programming. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Ahmed Ghanmi, R. H. A. David Shaw |
Modeling and simulation of Canadian forces strategic lift strategies. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Denis Giguère, Nicolas Gagné, Steve Vezeau |
Use of eye-tracking in ergonomics: a field study of lift truck operators' work activity. |
ETRA |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Massimo Bergamasco, S. Perotti, Carlo Alberto Avizzano, Marcello Angerilli, Marcello Carrozzino, Emanuele Ruffaldi |
Fork-lift truck simulator for training in industrial environment. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Wen-Yang Lin, Ming-Cheng Tseng, Ja-Hwung Su |
A Confidence-Lift Support Specification for Interesting Associations Mining. |
PAKDD |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Roger Bostelman, James S. Albus |
Sensor experiments to facilitate robot use in assistive environments. |
PETRA |
2008 |
DBLP DOI BibTeX RDF |
localization sensors, patient lift/transfer, mobility, robot, rehabilitation |
41 | Egon Balas |
Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
sequential convexification, 0-1 programming, disjunctive programming, lift-and-project |
41 | Takahiro Fujita, Yoshinobu Maeda, Masazumi Katayama |
Independence of Perception and Action for Grasping Positions. |
ICONIP (1) |
2007 |
DBLP DOI BibTeX RDF |
visual perception, Grasping, action |
41 | Yonatan Bilu, Nathan Linial |
Lifts, Discrepancy and Nearly Optimal Spectral Gap*. |
Comb. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05C22, 05C35, 05C80, 05C50 |
41 | Steven Floyd, Terence Keegan, John Palmisano, Metin Sitti |
A Novel Water Running Robot Inspired by Basilisk Lizards. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Yonatan Bilu, Nathan Linial |
Constructing Expander Graphs by 2-Lifts and Discrepancy vs. Spectral Gap. |
FOCS |
2004 |
DBLP DOI BibTeX RDF |
Lifts of Graphs, Signed Graphs, Expander Graphs, Discrepancy, Lifts |
37 | David Pollak, Steve Vinoski |
A Chat Application in Lift. |
IEEE Internet Comput. |
2010 |
DBLP DOI BibTeX RDF |
functional programming, Web development, Lift, Scala |
37 | Victor S. Y. Lo |
The True Lift Model - A Novel Data Mining Approach to Response Modeling in Database Marketing. |
SIGKDD Explor. |
2002 |
DBLP DOI BibTeX RDF |
customer development, interaction effect, response modeling, treatment effect, true lift, upselling and cross-selling, data mining, knowledge discovery, predictive modeling, customer relationship management, database marketing |
37 | Gregory Piatetsky-Shapiro, Sam Steingold |
Measuring Lift Quality in Database Marketing. |
SIGKDD Explor. |
2000 |
DBLP DOI BibTeX RDF |
lift curves, measurement, ROC, database marketing |
37 | Gregory Piatetsky-Shapiro, Brij M. Masand |
Estimating Campaign Benefits and Modeling Lift. |
KDD |
1999 |
DBLP DOI BibTeX RDF |
estimation, lift, database marketing |
32 | Jianchao Zhao, Wei Li 0072, Xin'an Yuan, Xiaokang Yin 0001, Qinyu Chen, Jianming Zhao |
Lift-Off Point of Intersection for Eliminating Lift-Off Noise in Alternating Current Field Measurement. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
32 | José Luis Figueroa González, Alain Quilliot, Hélène Toussaint, Annegret Wagler |
Managing Time Expanded Networks through Project and Lift: the Lift Issue. |
LAGOS |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Dexuan Zhu, Peng Wang 0017, Xiaoqing Han, Wenping Qin |
Distributed lift operating control in building lift system. |
ICIA |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Zhili Tang, Jacques Périaux, Gabriel Bugeda, Eugenio Oñate |
Lift maximization with uncertainties for the optimization of high lift devices using Multi-Criterion Evolutionary Algorithms. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Fang Lin Luo |
Six self-lift DC-DC converters, voltage lift technique. |
IEEE Trans. Ind. Electron. |
2001 |
DBLP DOI BibTeX RDF |
|
31 | MohammadHossein Bateni, Moses Charikar, Venkatesan Guruswami |
MaxMin allocation via degree lower-bounded arborescences. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
approximation algorithms, linear programming, graphs, lift-and-project |
31 | Moses Charikar, Konstantin Makarychev, Yury Makarychev |
Integrality gaps for Sherali-Adams relaxations. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
Sherali-Adams hierarchy, lift-and-project methods, local-global metric spaces |
31 | Claire Mathieu, Alistair Sinclair |
Sherali-adams relaxations of the matching polytope. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
0-1 programming, matching polytope, maximum matching, linear programming relaxation, integrality gap, lift-and-project |
31 | Lewis Ntaimo, Matthew W. Tanner |
Computations with disjunctive cuts for two-stage stochastic mixed 0-1 integer programs. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Lift-and-project cuts, Integer programming, Stochastic programming, Disjunctive programming |
31 | Stefan S. Dantchev |
Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. |
STOC |
2007 |
DBLP DOI BibTeX RDF |
Lovász-Schrijver proof system, complexity gap theorems, lift and project methods, lower bounds, propositional proof complexity |
31 | Carlos Ordonez 0001, Norberto F. Ezquerra, Cesar A. Santana |
Constraining and summarizing association rules in medical data. |
Knowl. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Search constraint, Association rules, Cover, Lift |
31 | Liang Zhao, Qingfeng Huang, Xinyan Deng, Sanjay Sane |
The effect of chord-wise flexibility on the aerodynamic force generation of flapping wings: Experimental studies. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Steven Floyd, Serhat Adilak, Steven Ramirez, Raphael Rogman, Metin Sitti |
Performance of different foot designs for a water running robot. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Fuxing Zhang, Rong Zhu, Peng Liu, Wei Xiong, Xudong Liu, Zhao-Ying Zhou |
A Novel Micro Air Vehicle with Flexible Wing Integrated with On-board Electronic Devices. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Christine A. Kelley, Deepak Sridhara |
Pseudocodewords of Tanner Graphs. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Yoshiyuki Higashi, Kazuo Tanaka, Hiroshi Ohtake, Hua O. Wang |
Construction of simulation model of a flying robot with variable attack angle mechanism. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Chao Gao, Ira Hoffman, Thomas Panzarella, John R. Spletzer |
ATRS - A Technology-Based Solution to Automobility for Wheelchair Users. |
FSR |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Derek H. Sleeman, Trevor Runcie, Peter M. D. Gray |
Reuse: Revisiting Sisyphus-VT. |
EKAW |
2006 |
DBLP DOI BibTeX RDF |
|
31 | José Aguilar 0001 |
An Artificial Immune System for Fault Detection. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
31 | C. Germain, Ying Y. Tsui |
Femtosecond Laser Induced Forward Transfer of Materials. |
ICMENS |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Eva-Lotta Sallnäs |
Improved Precision in Mediated Collaborative Manipulation of Objects by Haptic Force Feedback. |
Haptic Human-Computer Interaction |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Frank E. Pollick, Chris Chizk, Charlotte Hager-Ross, Mary M. Hayhoe |
Implicit Accuracy Constraints in Two-Fingered Grasps of Virtual Objects with Haptic Feedback. |
Haptic Human-Computer Interaction |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Egon Balas, Pierre Bonami |
New Variants of Lift-and-Project Cut Generation from the LP Tableau: Open Source Implementation and Testing. |
IPCO |
2007 |
DBLP DOI BibTeX RDF |
branch and cut algorithms, integer programming |
26 | Yoshiyuki Ohmura, Yasuo Kuniyoshi |
Humanoid robot which can lift a 30kg box by whole body contact and tactile feedback. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Qiuli Yu, Vincent G. Duffy, John McGinley, Zachary Rowland |
Productivity simulation with promodel for an automotive assembly workstation involving a lift assist device. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Ray Jarvis |
A Four Wheel Drive Boom Lift Robot for Bush Fire Fighting. |
ISER |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jun Pang 0001, Bart Karstens, Wan J. Fokkink |
Analyzing the Redesign of a Distributed Lift System in UPPAAL. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Sebastián Ceria, Gábor Pataki |
Solving Integer and Disjunctive Programs by Lift and Project. |
IPCO |
1998 |
DBLP DOI BibTeX RDF |
|
26 | John H. Major |
I lift the lamp beside the golden door]. |
SIGUCCS |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Ronaldo C. Prati, Gustavo E. A. P. A. Batista, Maria Carolina Monard |
A Survey on Graphical Methods for Classification Predictive Performance Evaluation. |
IEEE Trans. Knowl. Data Eng. |
2011 |
DBLP DOI BibTeX RDF |
cost curves, lift graphs, data mining, performance evaluation, Machine learning, ROC curves |
21 | Hanif D. Sherali, Leo Liberti |
Reformulation-Linearization Technique for Global Optimization. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Tight relaxations, Model reformulation, Mixed-integer 0-1 program, Factorable programs, Reduced relaxations, Convex hull, Valid inequalities, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs, Convex envelopes |
21 | Yushan Zhu |
Mixed-Integer Nonlinear Optimization: A Disjunctive Cutting Plane Approach. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Disjunctive cutting plane, Branch-and-cut, Mixed-integer nonlinear programming, MINLP, Lift-and-project |
21 | Karla L. Hoffman, Manfred Padberg |
Set Covering, Packing and Partitioning Problems. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project |
21 | Egon Balas |
Integer Programming. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project |
21 | Hanif D. Sherali |
Disjunctive Programming. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral annexation, Facial disjunctive program, Nondominated cuts, Tight relaxations, Model reformulation, Mixed integer 0-1 programs, Convex hull, Cutting planes, Facet, Valid inequalities, Disjunctive programming, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs |
21 | Pradip Kumar Bala |
A technique for mining negative association rules. |
Bangalore Compute Conf. |
2009 |
DBLP DOI BibTeX RDF |
data mining software, data mining, association rule, lift, negative association rule |
21 | Samuel Burer, Dieter Vandenbussche |
A finite branch-and-bound algorithm for nonconvex quadratic programming via semidefinite relaxations. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Nonconcave quadratic maximization, Nonconvex quadratic programming, Lift-and-project relaxations, Branch-and-bound, Semidefinite programming |
21 | Maheshanand, Siri Krishan Wasan |
On Quasi-cyclic Codes over Integer Residue Rings. |
AAECC |
2007 |
DBLP DOI BibTeX RDF |
Hensel’s lift, Galois rings, Quasi-cyclic codes, circulant matrices |
21 | Mark Nicholas Charles Rhodes |
Rank Lower Bounds for the Sherali-Adams Operator. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Lift and Project Proof Systems, Rank Lower Bounds, Sherali-Adams Relaxation, Propositional Proof Complexity |
21 | Rich Caruana, Alexandru Niculescu-Mizil |
Data mining in metric space: an empirical analysis of supervised learning performance criteria. |
KDD |
2004 |
DBLP DOI BibTeX RDF |
performance evaluation, metrics, supervised learning, precision, lift, recall, cross entropy, ROC |
20 | Daisaku Azuma, Jameson Lee, Keisuke Narumi, Fumihito Arai |
Fabrication and feedback control of an articulated microarm. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Watman, Tomonari Furukawa |
A parametric study of flapping wing performance using a robotic flapping wing. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Pingguo Huang, Yutaka Ishibashi, Norishige Fukushima, Shinji Sugawara |
Collaborative haptic play with building blocks. |
Advances in Computer Entertainment Technology |
2009 |
DBLP DOI BibTeX RDF |
play with building blocks, collaborative work, packet loss, network latency, subjective assessment, haptic media |
20 | Veaceslav Arabagi, Metin Sitti |
Simulation and analysis of a passive pitch reversal flapping wing mechanism for an aerial robotic platform. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Oliver Ribock, Urban Richter, Hartmut Schmeck |
Using Organic Computing to Control Bunching Effects. |
ARCS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ron S. Kenett, Silvia Salini |
Relative Linkage Disequilibrium: A New Measure for Association Rules. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
simplex representation, text mining, contingency table |
20 | Yasutaka Kamei, Akito Monden, Shuji Morisaki, Ken-ichi Matsumoto |
A hybrid faulty module prediction using association rule mining and logistic regression analysis. |
ESEM |
2008 |
DBLP DOI BibTeX RDF |
fault-prone module prediction, logistic regression analysis, empirical study, association rule mining |
20 | Hitoshi Arisumi, Jean-Rémy Chardonnet, Abderrahmane Kheddar, Kazuhito Yokoi |
Dynamic Lifting Motion of Humanoid Robots. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Roger Bostelman, James S. Albus |
A multipurpose robotic wheelchair and rehabilitation device for the home. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Robert J. Wood |
Liftoff of a 60mg flapping-wing MAV. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Carlos Ordonez 0001 |
Association Rule Discovery With the Train and Test Approach for Heart Disease Prediction. |
IEEE Trans. Inf. Technol. Biomed. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ashish Deshpande, Jonathan E. Luntz |
Behaviors for Physical Cooperation Between Robots for Mobility Improvement: Hardware Results and Use of Dynamics. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Michael Jackson 0001 |
Testing the Machine in the World. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Nathan Linial, Eyal Rozenman |
Random Lifts Of Graphs: Perfekt Matchings. |
Comb. |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05C80, 05C70 |
20 | Xiaohua Hu 0001 |
A Data Mining Approach for Retailing Bank Customer Attrition Analysis. |
Appl. Intell. |
2005 |
DBLP DOI BibTeX RDF |
attrition analysis, data mining, classification method |
20 | Tonderai Maswera, Ray Dawson, Janet Edwards |
Analysis of Usability and Accessibility Errors of E-Commerce Websites of Tourist Organisations in Four African Countries. |
ENTER |
2005 |
DBLP DOI BibTeX RDF |
Internet, World Wide Web, usability, e-commerce, accessibility, websites |
20 | Harini Ramaprasad, Frank Mueller 0001 |
Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Iannis Tourlakis |
Towards Optimal Integrality Gaps for Hypergraph Vertex Cover in the Lovász-Schrijver Hierarchy. |
APPROX-RANDOM |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Michael Hahsler, Kurt Hornik, Thomas Reutterer |
Implications of Probabilistic Data Modeling for Mining Association Rules. |
GfKl |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta |
Safe compositional specification of networking systems. |
Comput. Commun. Rev. |
2004 |
DBLP DOI BibTeX RDF |
QoS theory, service composition, type systems, control theory |
20 | Hiroshi Igarashi, Masayoshi Kakikura |
Path and Posture Planning for Walking Robots by Artificial Potential Field Method. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Reynald Lercier, David Lubicz |
Counting Points on Elliptic Curves over Finite Fields of Small Characteristic in Quasi Quadratic Time. |
EUROCRYPT |
2003 |
DBLP DOI BibTeX RDF |
canonical lifts, AGM, Elliptic curves |
20 | Rodrigo Surmas, Luís Orlando Emerich dos Santos, Paulo Cesar Philippi |
Flow Interference in Bluff Body Wakes. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
20 | J. B. Wells, Detlef Plump, Fairouz Kamareddine |
Diagrams for Meaning Preservation. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jean Marc Couveignes, Thierry Henocq |
Action of Modular Correspondences around CM Points. |
ANTS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Xiaohua Hu 0001 |
Comparison of Classification Methods for Customer Attrition Analysis. |
Rough Sets and Current Trends in Computing |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Michael Perregaard, Egon Balas |
Generating Cuts from Multiple-Term Disjunctions. |
IPCO |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Miroslav Svéda |
An Approach to Safety Critical Systems Design. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Andy Evans |
Specifying & Verifying Concurrent Systems Using Z. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Friedhelm Hinz |
Questions of Decidability for Context-free Chain Code Picture Languages. |
IMYCS |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Wei Tian, Jie Huang 0020, William Singhose |
Control of Cooperative-Transportation Dynamics in Twin-Lift Cranes Suspending a Liquid Container. |
IEEE Trans. Ind. Electron. |
2024 |
DBLP DOI BibTeX RDF |
|