The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1948-1979 (15) 1980-1987 (17) 1988-1990 (15) 1991-1993 (21) 1994-1996 (15) 1997-1998 (21) 1999 (25) 2000-2001 (39) 2002 (28) 2003 (48) 2004 (34) 2005 (28) 2006 (68) 2007 (62) 2008 (67) 2009 (46) 2010 (73) 2011 (75) 2012 (92) 2013 (97) 2014 (106) 2015 (113) 2016 (117) 2017 (154) 2018 (241) 2019 (549) 2020 (1057) 2021 (2352) 2022 (4501) 2023 (6366) 2024 (1715)
Publication types (Num. hits)
article(10493) book(1) data(14) incollection(3) inproceedings(7612) phdthesis(34)
Venues (Conferences, Journals, ...)
CoRR(5184) IEEE Access(521) Sensors(258) AAAI(251) CVPR(251) ICASSP(238) IEEE Trans. Ind. Electron.(236) IEEE Trans. Geosci. Remote. Se...(229) IEEE Trans. Instrum. Meas.(205) Remote. Sens.(195) ICCV(172) NeurIPS(167) IECON(161) ACM Multimedia(140) INTERSPEECH(115) IJCNN(107) More (+10 of total 2072)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 319 occurrences of 231 keywords

Results
Found 18157 publication records. Showing 18157 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
126Pavlos S. Georgilakis, John A. Katsigiannis, Kimon P. Valavanis, Athanasios T. Souflaris A Systematic Stochastic Petri Net Based Methodology for Transformer Fault Diagnosis and Repair Actions. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF power system reliability, transformer fault diagnosis, stochastic petri nets
93Eleftherios I. Amoiralis, Pavlos S. Georgilakis, Marina A. Tsili, Antonios G. Kladas Ant Colony System-Based Algorithm for Optimal Multi-stage Planning of Distribution Transformer Sizing. Search on Bibsonomy KES (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Optimal Transformer Sizing, Thermal Loading, Energy Loss Cost, Distribution Network Planning, Transformers, Ant Colony Optimization
84John A. Katsigiannis, Pavlos S. Georgilakis, Athanasios T. Souflaris, Kimon P. Valavanis Diagnosing Transformer Faults with Petri Nets. Search on Bibsonomy SETN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
64Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. Search on Bibsonomy DISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Local mutual exclusion, unfair daemon, transformer, self-stabilization
62Pablo H. Ibargüengoytia, Roberto Liñan, Enrique Betancourt Transformer Diagnosis Using Probabilistic Vibration Models. Search on Bibsonomy MICAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Learning, Uncertainty, Transformers, Diagnosis, Vibrations
59Yongqiang Wang, Fangcheng Lu, Heming Li Synthetic Fault Diagnosis Method of Power Transformer Based on Rough Set Theory and Bayesian Network. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fault diagnosis, Bayesian network, Transformer, Rough set theory
59Yingzhou Zhang, Baowen Xu A Slice Monad Transformer and Its Applications in Program Slicing. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF slice monad transformer, modular monadic semantics, Program slicing, monad transformers
55A. P. Sakis Meliopoulos, George J. Cokkinides, Thomas J. Overbye Component Monitoring and Dynamic Loading Visualization from Real Time Power Flow Model Data. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF real-time model, visualization, animation, state estimation, power flow
55Soo-Chang Pei, Peng-Hua Wang Maximally flat allpass fractional Hilbert transformers. Search on Bibsonomy ISCAS (5) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Joffroy Beauquier, Janna Burman, Shay Kutten Making Population Protocols Self-stabilizing. Search on Bibsonomy SSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transformer, self-stabilization, population protocols, cover time
53Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju Fault-containing self-stabilizing distributed protocols. Search on Bibsonomy Distributed Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Distributed algorithms, Transformer, Self-stabilization, Fault-containment
51Taizo Yoshikawa, Oussama Khatib Compliant humanoid robot control by the torque transformer. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
51Zhongyuan Zhang, Shuguo Gao, Fangcheng Lu, Yunpeng Liu 0003 The Calculation of the Voltage Distribution in Transformer Windings under VFTO Based on FDTD Method. Search on Bibsonomy APCCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Yong Ching Lim, Ya Jun Yu Synthesis of very sharp Hilbert transformer using the frequency-response masking technique. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Janusz Biernacki, Dariusz Czarkowski High frequency transformer modeling. Search on Bibsonomy ISCAS (3) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Shaun Kaplan, Daniel de Villiers, Leon Steenkamp, Gerhard de Jager, Jevon Davies, Richardt H. Wilkinson Towards power transformer condition monitoring. Search on Bibsonomy SenSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transformer condition monitoring, wireless sensor networks
48Almas Shintemirov, Wenhu Tang, Z. Lu, Q. H. Wu Simplified Transformer Winding Modelling and Parameter Identification Using Particle Swarm Optimiser with Passive Congregation. Search on Bibsonomy EvoWorkshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Transformer winding mathematical model, particle swarm optimiser with passive congregation
44Maria Gradinariu, Sébastien Tixeuil Conflict Managers for Self-stabilization without Fairness Assumption. Search on Bibsonomy ICDCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Eleftherios I. Amoiralis, Pavlos S. Georgilakis, Alkiviadis T. Gioulekas An Artificial Neural Network for the Selection of Winding Material in Power Transformers. Search on Bibsonomy SETN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Deepak Kumar An Integrated Model of Acting and Inference. Search on Bibsonomy SNePS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
42Alain Cournier, Stéphane Devismes, Vincent Villain Light enabling snap-stabilization of fundamental protocols. Search on Bibsonomy ACM Trans. Auton. Adapt. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Self- and snap-stabilization, wave protocols, transformer
42YingZhou Zhang A novel formal approach to program slicing. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF slice monad transformer, modularity, program slicing, formal semantics, monads
42Tsair-Fwu Lee, Ming-Yuan Cho, Chin-Shiuh Shieh, Hong-Jen Lee, Fu-Min Fang Diagnosis of Incipient Fault of Power Transformers Using SVM with Clonal Selection Algorithms Optimization. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF power transformer, optimization, Diagnosis, clonal selection algorithm
42Markus Müller-Olm, Andreas Wolf 0004 On the Translation of Procedures to Finite Machines. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
40Oussama Khatib, Peter Thaulad, Taizo Yoshikawa, Jaeheung Park Torque-position transformer for task control of position controlled robots. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Kuo-Ken Huang, Sen Wang, Ching-Kuang C. Tzuang Active bandpass filter using transformer feedback in 0.18-µm CMOS for 802.11a wireless LAN. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Soo-Chang Pei, Peng-Hua Wang, Chia-Huei Lin Design of discrete Fractional Hilbert transformer in time domain. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Wesley A. Gee, Phillip E. Allen CMOS Integrated LC RF Bandpass Filter with Transformer-Coupled Q-Enhancement and Optimized Linearity. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Wenqing Zhao, Yongli Zhu Power Transformer Fault Diagnosis Based on Rough Set Theory and Support Vector Machine. Search on Bibsonomy FSKD (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Hongsheng Su, Feng Zhao An Improved PSO-Based Fuzzy Ensemble Classifier for Transformer Fault Diagnosis. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Young-Jae Lee, Hyun-Kyu Yu A transformer-based low phase noise and widely tuned CMOS quadrature VCO. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Jong-Pil Lee, Dae Jong Lee, Pyeong-Shik Ji, Jae-Yoon Lim, Sung-Soo Kim Diagnosis of Power Transformer using Fuzzy Clustering and Radial Basis Function Neural Network. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Tadashi Suetsugu, Marian K. Kazimierczuk Voltage-clamped class E amplifier with transmission-line transformer. Search on Bibsonomy ISCAS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Kamon Jirasereeamornkul, Itsda Boonyaroonate, Kosin Chamnongthai High-efficiency electronic transformer for low-voltage halogen lamp. Search on Bibsonomy ISCAS (3) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40M. Mori, H. Nakanishi, Y. Yamaoka, Masamitsu Tokuda, Yoshifumi Shimoshio Common mode voltage to differential mode voltage conversion characteristics of shielded transformer in VHF band. Search on Bibsonomy APCCAS (1) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Soo-Chang Pei, Peng-Hua Wang Analytical design of digital nonrecursive maximally flat fractional Hilbert transformer. Search on Bibsonomy ISCAS (3) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Xueyu Li, Lizeng Wu, Jinsha Yuan, Yinghui Kong A Transformer Condition Assessment System Based on Data Warehouse and Data Mining. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Transformer condition assessment, data mining, multi-agent system
37Joffroy Beauquier, Sylvie Delaët, Sammy Haddad A 1-Strong Self-stabilizing Transformer. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF k-strong, Transformer, Self-stabilization, Fault Containment
37András Balogh, Gergely Varró, Dániel Varró, András Pataricza Compiling model transformations to EJB3-specific transformer plugins. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines
37Jorn Bettin, Ghica van Emde Boas Generative model transformer. Search on Bibsonomy OOPSLA Companion The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
37Jorn Bettin, Ghica van Emde Boas, Edward D. Willink Generative model transformer: an open source MDA tool initiative. Search on Bibsonomy OOPSLA Companion The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
33A. P. Sakis Meliopoulos, George J. Cokkinides, Floyd Galvan, Bruce Fardanesh Distributed State Estimator - Advances and Demonstration. Search on Bibsonomy HICSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Steve Dunne, Andy Galloway Lifting General Correctness into Partial Correctness is ok. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33M. Ali Akcayol 0001 Application of Fuzzy Logic Controlled Cathodic Protection on Iraq-Turkey Crude Oil Pipeline. Search on Bibsonomy Appl. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cathodic protection, fuzzy control, microcontroller
33Steve Dunne Introducing Backward Refinement into B. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Aleksandar Tasic, Wouter A. Serdijn, John R. Long Matching of low-noise amplifiers at high frequencies. Search on Bibsonomy ISCAS (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Pavlos S. Georgilakis, Nikos D. Hatziargyriou On the Application of Artificial Intelligence Techniques to the Quality Improvement of Industrial Processes. Search on Bibsonomy SETN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Morten Heine Sørensen Convergence of Program Transformers in the Metric Space of Trees. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Kung-Kiu Lau Using SPARK for a beginner's course on reasoning about imperative programs. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF predicate transformer semantics, imperative programming
31Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río A monadic program slicer. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modular monadic semantics, program slicer, monad, monad transformer
31Jyotishman Pathak, Yong Jiang, Vasant G. Honavar, James D. McCalley Condition Data Aggregation with Application to Failure Rate Calculation of Power Transformers. Search on Bibsonomy HICSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Transformer Failure Mode Estimation, Hidden Markov Models, Data Integration
31Héctor Ruíz Barradas, Didier Bert A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
31Campbell Booth, James R. McDonald, Stephen D. J. McArthur Forecasting and Prediction Applications in the Field of Power Engineering. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF power engineering, gas turbine, nuclear reactor refuelling, prediction, artificial neural networks, fault diagnosis, transformer, forecasting, condition monitoring
31Markus Müller-Olm, Andreas Wolf 0004 On Excusable and Inexcusable Failures. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
29Byoungho Kim, Zhenhai Fu, Jacob A. Abraham Transformer-Coupled Loopback Test for Differential Mixed-Signal Specifications. Search on Bibsonomy VTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Tsung-Yu Yang, Hsin-Lung Tu, Hwann-Kaeo Chiou Low-voltage high-linear and isolation transformer based mixer for direct conversion receiver. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Patrick Picher, Leonard Bolduc, Bruno Girard, Van Nhi Nguyen Mitigation of Ferroresonance Induced by Single-Phase Opening of a Three-Phase Transformer Feeder. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Chia-Chieh Tu, Ching-Yuan Yang A 6.5-GHz LC VCO with Integrated-Transformer Tuning. Search on Bibsonomy APCCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Alessandro Italia, Francesco Carrara, Egidio Ragonese, Giuseppe Palmisano Design methodology for the optimization of transformer-loaded RF circuits. Search on Bibsonomy ISCAS (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Chang-Hua Lin, Ying-Chi Chen Design of class E backlight module incorporating piezoelectric transformer. Search on Bibsonomy ISCAS (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Yila Bai, Longfei Cong, Enmin Feng, Zhengyan Guo Numerical simulation and parameter identification of the temperature field in the oil-immersed self cooled three phrase transformer. Search on Bibsonomy ICARCV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29John G. Breslin, W. G. Hurley A Web-Based System for Transformer Design. Search on Bibsonomy KES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Chien-Cheng Tseng Analytical design of fractional Hilbert transformer using fractional differencing. Search on Bibsonomy ISCAS (4) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Aleksandar Tasic, Wouter A. Serdijn, John R. Long Concept of transformer-feedback degeneration of low-noise amplifiers. Search on Bibsonomy ISCAS (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Tadashi Suetsugu, Marian K. Kazimierczuk Lossless voltage-clamping of a class E amplifier with a transformer and a diode. Search on Bibsonomy ISCAS (3) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Leonard A. MacEachern, Eyad Abou-Allam, L. Wang, Tajinder Manku Low voltage mixer biasing using monolithic integrated transformer dc-coupling. Search on Bibsonomy ISCAS (2) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Ichirou Oota, Noriaki Hara, Fumio Ueno Influence of parasitic inductance on serial fixed type switched-capacitor transformer. Search on Bibsonomy ISCAS (5) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29John H. Chan, Andrei Vladimirescu, Xiao-Chun Gao, Peter Liebmann, John Valainis Nonlinear transformer model for circuit simulation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Hiroyuki Kitagawa, Tosiyasu L. Kunii Form transformer - A formalism for Office form manipulation. Search on Bibsonomy Operating Systems Engineering The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
26Karen L. Butler-Purry, Mustafa Bagriyanik Identifying Transformer Incipient Events for Maintaining Distribution System Reliability. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF incipient fault, Transformer, discrete wavelet transform
22Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison. Search on Bibsonomy DISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Heon Gyu Lee, Yonghoon Choi, Jin-Ho Shin Spatio-temporal mining for power load forecasting in GIS-AMR load analysis model. Search on Bibsonomy ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF GIS-AMR database, load pattern analysis, spatio-temporal mining, classification rules
22Taizo Yoshikawa, Oussama Khatib Compliant motion control for a humanoid robot in contact with the environment and humans. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Minh-Son Dao, Noboru Babaguchi Sports event detection using temporal patterns mining and web-casting text. Search on Bibsonomy AREA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal sequential patterns, web-casting text, data-mining, event detection
22Haitao Wu, Huilan Jiang, Dapeng Shan Transformers Fault Diagnosis Based on Support Vector Machines and Dissolved Gas Analysis. Search on Bibsonomy ICIC (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DGA, SVM, Diagnosis, Fault, SVC
22Liu Jianfeng, Jiang Yong, Ding Chuanhong Research on the Measurement System of Gyro Rotor. Search on Bibsonomy CSSE (5) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Wei Liu, L. Q. Wong, Ming Mao Wong Simulation and design for 3D RFID application. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser 0001, Helmut Veith Software transformations to improve malware detection. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Ville T. Oikarinen Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF code generation, refactoring, method, DSL, metaprogramming
22Erdal Kiliç, Okan Ozgonenel, Mustafa Ulutas Fault Identification in Transformers through a Fuzzy Discrete Event System Approach. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Jeffrey S. Walling, David J. Allstot Monolithic Spiral Transformers: A Design Methodology. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Jeff W. Sanders Computations and Relational Bundles. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Peter Höfner, Bernhard Möller, Kim Solin Omega Algebra, Demonic Refinement Algebra and Commands. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Viorel Preoteasa Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Hongsheng Su, Qunzhan Li A Hybrid Deterministic Model Based on Rough set and Fuzzy set and Bayesian Optimal Classifier. Search on Bibsonomy ICICIC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Risto J. Pirjola, David H. Boteler Geomagnetically Induced Currents in European High-Voltage Power Systems. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Francisco Poza, Perfecto Mariño, Santiago Otero, Fernando Machado Virtual Instrument for Condition Monitoring of On-Load Tap Change. Search on Bibsonomy DELTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Madhu Bhaskaran, Sharath Sriram, Aleksandar Stojcevski, Aladin Zayegh Design & Simulation of a High Performance Rail-to-Rail CMOS Op-Amp at ± 3V Supply. Search on Bibsonomy DELTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo A Formal Method for Program Slicing. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Michael C. Robinson, Sara E. Wallace, David C. Woodward Risk Mitigation of Design Requirements Using a Probabilistic Analysis. Search on Bibsonomy RE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Roberto Giacobazzi, Isabella Mastroeni Non-Standard Semantics for Program Slicing. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
22Andrei P. Nemytykh The Supercompiler SCP4: General Structure. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Ingrid Rewitzky Binary Multirelations. Search on Bibsonomy Theory and Applications of Relational Structures as Knowledge Instruments The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Stephan Lechner, Michael Schrefl Defining Web Schema Transformers by Example. Search on Bibsonomy DEXA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain Enabling Snap-Stabilizatio. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF propagation of information with feedback, reset protocols, Fault-tolerance, self-stabilization, leader election, snapshot, snap-stabilization
22Supratik Mukhopadhyay, Andreas Podelski An Algebraic Framework for Abstract Model Checking. Search on Bibsonomy SARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Brendan P. Mahony The Least Conjunctive Refinement and Promotion in the Refinement Calculus. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Frame typing, Z, Refinement calculus, Promotion, Predicate transformers
22D. B. LaFontaine Full duplex transhybrid circuit for voice communications through a single crosspoint. Search on Bibsonomy ISCAS (4) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 18157 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license