Search results for "omega"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
194	D. Gnanaraj Thomas, M. Humrosia Begam, K. G. Subramanian 0001, S. Gnanasekaran	Learning of Regular Bi-omega Languages.	ICGI	2002	DBLP DOI BibTeX RDF	local bi-$omega$ languages, recognizable bi-$omega$ languages, rational bi-adherence languages, B$ddot{u}$chi local bi-$omega$ languages, regular bi-$omega$ languages, Learning algorithm
87	Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng	A Necessary and Sufficient Condition for Proper Routing in Omega-Omega Network.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
83	Linjiang Ma, Tse-Yun Feng	Routing A Class of Concatenated Omega Networks.	FTDCS	1999	DBLP DOI BibTeX RDF	topological equivalence, omega + omega networks, labeling scheme, Benes networks
80	Xiaojun Shen, Fan Yang, Yi Pan 0001	Equivalent permutation capabilities between time-division optical omega networks and non-optical extra-stage omega networks.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	crosstalk-free connection, dilated MIN, time-domain approach, optical switch, Omega network, Conflict graph
67	Rina Panigrahy, Kunal Talwar, Udi Wieder	A Geometric Approach to Lower Bounds for Approximate Near-Neighbor Search and Partial Match.	FOCS	2008	DBLP DOI BibTeX RDF
67	Paul Beame, Erik Vee	Time-Space Tradeoffs, Multiparty Communication Complexity, and Nearest-Neighbor Problems.	CCC	2002	DBLP DOI BibTeX RDF
67	Gill Barequet	w-Searchlight Obedient Graph Drawings.	GD	2000	DBLP DOI BibTeX RDF	Heilbronn's triangle problem, Geometric optimization
65	Victor L. Selivanov	Wadge Degrees of omega-Languages of Deterministic Turing Machines.	STACS	2003	DBLP DOI BibTeX RDF	Wadge degree, $omega$-language, Cantor space, set-theoretic operation, hierarchy, reducibility
65	Philip J. Bernhard, Daniel J. Rosenkrantz	Partitioning Message Patterns for Bundled Omega Networks.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	bundled omega networks, communication conflict, conflicting messages, interconnection links, on-line heuristics, computational complexity, interconnection network, heuristic, multiprocessor, partitioning, NP-complete, multiprocessor interconnection networks, communication complexity, telecommunication network routing, message routing, message patterns, performance ratio
59	Paul Beame, Erik Vee	Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems.	STOC	2002	DBLP DOI BibTeX RDF
59	Salvatore La Torre, Margherita Napoli	Timed tree automata with an application to temporal logic.	Acta Informatica	2001	DBLP DOI BibTeX RDF
59	Uri Zwick	All Pairs Shortest Paths in Weighted Directed Graphs ¾ Exact and Almost Exact Algorithms.	FOCS	1998	DBLP DOI BibTeX RDF	Bridging sets, Randomized algorithms, Shortest paths, Matrix multiplication
57	Emmanuel Hainry	Computing Omega-Limit Sets in Linear Dynamical Systems.	UC	2008	DBLP DOI BibTeX RDF	omega-limit set, verification, hybrid systems, Dynamical Systems, safety properties, reachable set
56	Tommi Syrjänen	Omega-Restricted Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
56	David Niedzielski, Kleanthis Psarris	An Analytical Comparison of the I-Test and Omega Test.	LCPC	1999	DBLP DOI BibTeX RDF
56	Yannis Haralambous, John Plaice	The Design and Use of a Multiple-Alphabet Font with Omega.	EP	1998	DBLP DOI BibTeX RDF
50	Arnold L. Rosenberg	Path-robust multi-channel wireless networks.	IPDPS	2009	DBLP DOI BibTeX RDF
50	Ran Raz	A Counterexample to Strong Parallel Repetition.	FOCS	2008	DBLP DOI BibTeX RDF
50	Marcela X. Ribeiro, Mônica Ribeiro Porto Ferreira, Caetano Traina Jr., Agma J. M. Traina	Data pre-processing: a new algorithm for feature selection and data discretization.	CSTST	2008	DBLP DOI BibTeX RDF	data discretization, feature selection, data pre-processing
50	Marco Grassi, Piero Malcovati, Andrea Baschirotto	Wide-range integrated gas sensor interface based on a resistance-to-number converter technique with the oscillator decoupled from the input device.	ISCAS	2006	DBLP DOI BibTeX RDF
50	Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen	A Lower Bound for the Bounded Round Quantum Communication Complexity of Set Disjointness.	FOCS	2003	DBLP DOI BibTeX RDF
50	Martin E. Dyer, Mark Jerrum, Eric Vigoda	Rapidly Mixing Markov Chains for Dismantleable Constraint Graphs.	RANDOM	2002	DBLP DOI BibTeX RDF
49	Gianfranco Bilardi	Merging and Sorting Networks with the Topology of the Omega Network.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	omega permutation network, bitonic, network topology, switching networks, sorting networks, omega network, mergers, comparator networks
49	Mikel Larrea, Cristian Martín 0001	From Omega to ?P in the Crash-Recovery Failure Model with Unknown Membership.	ARES	2008	DBLP DOI BibTeX RDF	Omega failure detector, eventually perfect, Distributed algorithms, Consensus, crash-recovery
49	Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang	Omega - an integrated environment for C++ program maintenance.	ICSM	1996	DBLP DOI BibTeX RDF	C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations
49	Philip J. Bernhard, Daniel J. Rosenkrantz	Using the Dual Path Property of Omega Networks to Obtain Conflict-Free Message Routing.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	source processors, disjoint network routes, bidirectional network links, bidirectionalnetwork switches, dual path, conflict-free message routing, communication conflicts, destination processors, circuit switchingmode, conflict-free message transmission, message switching, algorithm, parallel algorithms, omega networks, multiprocessorinterconnection networks, message patterns
48	Ricardo S. Ferreira 0001, Alex Damiany, Julio C. Goldner Vendramini, Tiago Teixeira, João M. P. Cardoso	On Simplifying Placement and Routing by Extending Coarse-Grained Reconfigurable Arrays with Omega Networks.	ARC	2009	DBLP DOI BibTeX RDF
48	Hiromasa Watanabe, Shoichi Hirasawa, Hiroki Honda	F-Omega: A Framework for Steering GridRPC Applications.	eScience	2007	DBLP DOI BibTeX RDF
48	Kousha Etessami	Stutter-Invariant Languages, omega-Automata, and Temporal Logic.	CAV	1999	DBLP DOI BibTeX RDF
45	Xiaojun Shen, Fan Yang, Yi Pan 0001	Equivalent permutation capabilities between time division optical omega network and non-optical extra stage omega network.	IPCCC	1999	DBLP DOI BibTeX RDF
43	Jorge Jiménez Meana, María Luisa Serrano 0001, Branimir Seselja, Andreja Tepavcevic	Omega Ideals in Omega Rings and Systems of Linear Equations over Omega Fields.	Axioms	2023	DBLP DOI BibTeX RDF
43	Takayuki Abe, Takehiko Oe, Masaya Kumagai, Matsuo Zama, Nobu-hisa Kaneko	Characterization of $1~\mathrm{k}\Omega$ Metal-Foil Standard Resistors and Continuing Drift-Rate Evaluation of 1 $\Omega$ and $10~\Omega$ Standard Resistors.	IEEE Trans. Instrum. Meas.	2019	DBLP DOI BibTeX RDF
43	Claribet Piña	A partition relation for pairs on $$\omega ^{\omega ^\omega }$$ ωωω.	Arch. Math. Log.	2018	DBLP DOI BibTeX RDF
42	Ran Raz, Amir Yehudayoff	Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors.	FOCS	2008	DBLP DOI BibTeX RDF
42	David P. Woodruff	Lower Bounds for Additive Spanners, Emulators, and More.	FOCS	2006	DBLP DOI BibTeX RDF
42	Raphael Yuster, Uri Zwick	Answering distance queries in directed graphs using fast matrix multiplication.	FOCS	2005	DBLP DOI BibTeX RDF
42	Marcin Mucha, Piotr Sankowski	Maximum Matchings via Gaussian Elimination.	FOCS	2004	DBLP DOI BibTeX RDF
42	Elchanan Mossel, Amir Shpilka, Luca Trevisan	On e-Biased Generators in NC0.	FOCS	2003	DBLP DOI BibTeX RDF
42	Yaoyun Shi	Quantum Lower Bounds for the Collision and the Element Distinctness Problems.	FOCS	2002	DBLP DOI BibTeX RDF
42	Alexander A. Razborov	Resolution Lower Bounds for Perfect Matching Principles.	CCC	2002	DBLP DOI BibTeX RDF	Matching Principles, Resolution, Proof Complexity, Pigeonhole principle
42	Robert Rettinger, Xizhong Zheng	Hierarchy of Monotonically Computable Real Numbers.	MFCS	2001	DBLP DOI BibTeX RDF
40	Christian Schäck, Wolfgang Heenes, Rolf Hoffmann	A Multiprocessor Architecture with an Omega Network for the Massively Parallel Model GCA.	SAMOS	2009	DBLP DOI BibTeX RDF	Global Cellular Automata, FPGA, multiprocessor architecture, omega network
40	William W. Pugh, David Wonnacott	Eliminating False Data Dependences using the Omega Test.	PLDI	1992	DBLP DOI BibTeX RDF	Omega
39	Clément Escoffier, Jonathan Bardin, Johann Bourcier, Philippe Lalanda	Developing User-Centric Applications with H-Omega.	MOBILWARE Workshops	2009	DBLP DOI BibTeX RDF	iPOJO, web portal, application server, pervasive application
39	Manki Min, Panos M. Pardalos	OMEGa: an optimistic most energy gain method for minimum energy multicasting in wireless ad hoc networks.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Multicasting, Energy efficiency, Wireless ad hoc networks
39	Cristian Martín 0001, Mikel Larrea, Ernesto Jiménez	On the implementation of the Omega failure detector in the crash-recovery failure model.	ARES	2007	DBLP DOI BibTeX RDF
39	Yanjie Wang, Rabin Raut	A 2.4 GHz 82 dB-Omega fully differential CMOS transimpedance amplifier for optical receiver based on wide-swing cascode topology.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
39	Lee Papayanopoulos	Generalized Variance of Multivariate Omega Functions and Duality.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	weighted binomial, combinatorial distribution, prior and posterior analysis, Bernoulli, discrete random variable, variance, multivariance, volume, covariance
39	Hana Chockler, Orna Kupferman	omega-Regular Languages Are Testable with a Constant Number of Queries.	RANDOM	2002	DBLP DOI BibTeX RDF
39	Rakotovao Lovanantenaina Omega, Yo Ishigaki, Sidik Permana, Yoshinori Matsumoto, Kayoko Yamamoto, Katsumi Shozugawa, Mayumi Hori	Low-Cost Sensor Deployment on a Public Minibus in Fukushima Prefecture.	Sensors	2024	DBLP DOI BibTeX RDF
39	Arash Zakeresfahani, Madeline Everhart, Anna N. Baglione, Margarita Castellanos Llorca, Vivian Grant, Nia Omega, Alexandria Woertz, James Clawson	Design Implications to Support Integrative Medicine in Pregnancy Care.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
39	Jesús Alberto Meda-Campaña, Jonathan Omega Escobedo-Alva, José de Jesús Rubio, Carlos Aguilar Ibáñez, Jose Humberto Pérez-Cruz, Guillermo Obregon-Pulido, Ricardo Tapia-Herrera, Eduardo Orozco, Daniel Andrés Córdova, Marco Antonio Islas	On the Rejection of Random Perturbations and the Tracking of Random References in a Quadrotor.	Complex.	2022	DBLP DOI BibTeX RDF
39	Ben Omega Petrazzini, Hugo Naya, Fernando Lopez-Bello, Gustavo E. Vazquez, Lucía Spangenberg	Evaluation of different approaches for missing data imputation on features associated to genomic data.	BioData Min.	2021	DBLP DOI BibTeX RDF
39	Luis A. Páramo-Carranza, Elba Cinthya Garcia-Estrada, Jesús A. Meda-Campaña, José de Jesús Rubio, Jonathan Omega Escobedo-Alva, Ricardo Tapia-Herrera, J. O. Hernandez-Monterrosas, G. Lopez-Contreras, Juan Francisco Novoa, Arturo Aguilar	Quadrotor stabilization by Fuzzy Kalman Filter.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
39	Alfa Omega Hutagalung, Sawarni Hasibuan	Determining the Priority of Medical Equipment Maintenance with Analytical Hierarchy Process.	Int. J. Online Biomed. Eng.	2019	DBLP DOI BibTeX RDF
39	Dilshan Kumarathunga, Omega Gamage, Asitha Samarasinghe, Nipuna Saranga, Ranga Rodrigo, Ajith A. Pasqual	VLIW Based Runtime Reconfigurable Machine Vision Coprocessor Architecture for Edge Computing.	ASAP	2019	DBLP DOI BibTeX RDF
39	Jonathan Omega Escobedo-Alva, Elba Cinthya Garcia-Estrada, Luis Alberto Páramo-Carranza, Jesús A. Meda-Campaña, Ricardo Tapia-Herrera	Theoretical Application of a Hybrid Observer on Altitude Tracking of Quadrotor Losing GPS Signal.	IEEE Access	2018	DBLP DOI BibTeX RDF
39	Marsha Berry, Omega Goodwin	Poetry 4 U: Pinning poems under/over/through the streets.	New Media Soc.	2013	DBLP DOI BibTeX RDF
35	Seung-Woo Seo, Tse-Yun Feng, Hyoung-Il Lee	Permutation Realizability and Fault Tolerance Property of the Inside-Out Routing Algorithm.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Omega + Omega network, looping algorithm, inside-out routing algorithm, fault tolerance, Benes network, Rearrangeable networks
35	Marion Scheepers	The length of some diagonalization games.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	$omega$-concentrated, point-open type, $omega$-type, strong-fan type, density type, infinite game
35	Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng	On the Correctness of Inside-Out Routing Algorithm.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	asymmetric MINs, omega-omega network, routing algorithm, Multistage interconnection networks (MINs), rearrangeable networks
35	André Seznec	A New Interconnection Network for SIMD Computers: The Sigma Network.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	BPC (bit permute complement permutation), reverse Omega network, Sigma network, compression, expansion, Omega network, vector processing, SIMD computer
35	David Nassimi, Sartaj Sahni	A Self-Routing Benes Network and Parallel Permutation Algorithms.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	perfect shuffle computer, bit-permute-complement permutations, cube connected computer, inverse omega perputations, omega permutations, complexity, Benes network
34	Yannis Haralambous, Gábor Bella	Injecting information into atomic units of text.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	OpenType, multilingual typesetting, texteme, SVG, character, PDF, Unicode, glyph, omega
34	David M. Koppelman	A Family of Interconnection Networks for Nonuniform Traffic.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	simulation, interconnection networks, Congestion, omega networks, nonuniform traffic
34	Mark A. Linton	Implementing Relational Views of Programs.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	OMEGA
34	Søren Riis	On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity.	LICS	2008	DBLP DOI BibTeX RDF	Algebraic proof complexity, predicate logic, Propositional proof complexity
34	Gabriel Paillard, Vlady Ravelomanana	Limit Theorems for Degree of Coverage and Lifetime in Large Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
34	Cristian Martín 0001, Mikel Larrea	Eventual Leader Election in the Crash-Recovery Failure Model.	PRDC	2008	DBLP DOI BibTeX RDF
34	Qi Cheng 0001	Derandomization of Sparse Cyclotomic Integer Zero Testing.	FOCS	2007	DBLP DOI BibTeX RDF
34	Markus Aleksy, Michael Schwind, Ralf Gitzel	Generating Families of Business Components from Metamodel Hierarchies.	CISIS	2007	DBLP DOI BibTeX RDF
34	Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets	Approximately List-Decoding Direct Product Codes and Uniform Hardness Amplification.	FOCS	2006	DBLP DOI BibTeX RDF
34	Ada S. Y. Poon, Robert W. Brodersen, David N. C. Tse	Degrees of freedom in multiple-antenna channels: a signal space approach.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
34	Jean Ponce, Kenton McHenry, Théodore Papadopoulo, Monique Teillaud, Bill Triggs	On the Absolute Quadratic Complex and Its Application to Autocalibration.	CVPR (1)	2005	DBLP DOI BibTeX RDF
34	Neeta Pandey, Sajal K. Paul, Asok Bhattacharyya	An insensitive current mode universal biquad: multi-input multi-output.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
34	Kleanthis Psarris, Konstantinos Kyriakopoulos	An Experimental Evaluation of Data Dependence Analysis Techniques.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
34	Johannes Sturm, Martin Leifhelm, Harald Schatzmayr, Stefan Groiss, Horst Zimmermann	Optical Receiver IC for CD/DVD/Blue-Laser Application.	DATE	2004	DBLP DOI BibTeX RDF
34	Ran Raz, Amir Shpilka	On the Power of Quantum Proofs.	CCC	2004	DBLP DOI BibTeX RDF
34	Kleanthis Psarris, Konstantinos Kyriakopoulos	The impact of data dependence analysis on compilation and program parallelization.	ICS	2003	DBLP DOI BibTeX RDF	program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization
34	Nikhil Bansal 0001, Kedar Dhamdhere, Jochen Könemann, Amitabh Sinha	Non-clairvoyant Scheduling for Minimizing Mean Slowdown.	STACS	2003	DBLP DOI BibTeX RDF
34	Malik Magdon-Ismail, Costas Busch, Mukkai S. Krishnamoorthy	Cake-Cutting Is Not a Piece of Cake.	STACS	2003	DBLP DOI BibTeX RDF
34	Amit Chakrabarti, Subhash Khot, Xiaodong Sun	Near-Optimal Lower Bounds on the Multi-Party Communication Complexity of Set Disjointness.	CCC	2003	DBLP DOI BibTeX RDF
34	Philipp Woelfel	On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism.	CCC	2002	DBLP DOI BibTeX RDF	Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
34	Robert Seater, David Wonnacott	Polynomial Time Array Dataflow Analysis.	LCPC	2001	DBLP DOI BibTeX RDF
34	Dima Grigoriev, Marek Karpinski, Nicolai N. Vorobjov Jr.	Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision and Computation Trees.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
34	Paul Petersen, David A. Padua	Static and Dynamic Evaluation of Data Dependence Analysis Techniques.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	parallelism detection, evaluation of compiler techniques, compiler optimizations, Dependence analysis, automatic parallelization
34	Luke O'Connor	On the Distribution of Characteristics in Bijective Mappings.	EUROCRYPT	1993	DBLP DOI BibTeX RDF	iterated mapping, product cipher, Differential cryptanalysis
32	Eryk Kopczynski	Omega-Regular Half-Positional Winning Conditions.	CSL	2007	DBLP DOI BibTeX RDF	omega-regular languages, positional strategies, winning condtions, automata, infinite games
32	Nils Klarlund	Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic	FOCS	1991	DBLP DOI BibTeX RDF	complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach
32	William W. Pugh	The Omega test: a fast and practical integer programming algorithm for dependence analysis.	SC	1991	DBLP DOI BibTeX RDF	Omega
32	Shmuel Safra	On the Complexity of omega-Automata	FOCS	1988	DBLP DOI BibTeX RDF	Buchi automata, complexity, decision procedures, deterministic automata, omega -automata
32	David Steinberg	Invariant Properties of the Shuffle-Exchange and a Simplified Cost-Effective Version of the Omega Network.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	triangular permutation, Admissible permutation, linear permutation, lower triangular shuffle-exchange network, SIMD array, parallel processing, invariance, Omega network, permutation network, shuffle-exchange
31	Wei-Zen Chen, Da-Shin Lin	A 90-dB Omega 10-Gb/s Optical Receiver Analog Front-End in a 0.18µm CMOS Technology.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
31	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
31	Mikel Larrea, Cristian Martín 0001	Implementing the Omega Failure Detector in the Crash-Recovery Model with partial Connectivity and/or Synchrony.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
31	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin	Algorithms for Omega-Regular Games with Imperfect Information, .	CSL	2006	DBLP DOI BibTeX RDF
31	Jin-Hwan Cho, Haruhiko Okumura	Typesetting CJK Languages with Omega.	TEX, XML, and Digital Typography	2004	DBLP DOI BibTeX RDF
31	Benedetto Intrigila, Richard Statman	The Omega Rule is II_2^0-Hard in the lambda beta -Calculus.	LICS	2004	DBLP DOI BibTeX RDF
31	Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke 0001, Helmut Horacek, Michael Kohlhase, Andreas Meier 0002, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer	Proof Development with OMEGA.	CADE	2002	DBLP DOI BibTeX RDF
31	Robert M. Corless, David J. Jeffrey	The Wright omega Function.	AISC	2002	DBLP DOI BibTeX RDF