The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1952-1973 (17) 1974-1976 (17) 1977-1978 (16) 1979-1981 (22) 1982-1983 (16) 1984 (16) 1985-1986 (28) 1987 (15) 1988-1989 (33) 1990 (20) 1991 (22) 1992 (24) 1993 (25) 1994 (20) 1995 (33) 1996 (31) 1997 (45) 1998 (47) 1999 (55) 2000 (55) 2001 (65) 2002 (136) 2003 (93) 2004 (71) 2005 (82) 2006 (82) 2007 (91) 2008 (119) 2009 (68) 2010 (42) 2011 (29) 2012 (22) 2013 (29) 2014 (31) 2015 (26) 2016 (34) 2017 (20) 2018 (33) 2019 (39) 2020 (31) 2021 (19) 2022 (27) 2023 (30) 2024 (14)
Publication types (Num. hits)
article(822) book(1) incollection(6) inproceedings(956) phdthesis(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 934 occurrences of 609 keywords

Results
Found 1797 publication records. Showing 1790 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
194D. Gnanaraj Thomas, M. Humrosia Begam, K. G. Subramanian 0001, S. Gnanasekaran Learning of Regular Bi-omega Languages. Search on Bibsonomy ICGI The full citation details ... 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
87Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng A Necessary and Sufficient Condition for Proper Routing in Omega-Omega Network. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
83Linjiang Ma, Tse-Yun Feng Routing A Class of Concatenated Omega Networks. Search on Bibsonomy FTDCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF topological equivalence, omega + omega networks, labeling scheme, Benes networks
80Xiaojun Shen, Fan Yang, Yi Pan 0001 Equivalent permutation capabilities between time-division optical omega networks and non-optical extra-stage omega networks. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF crosstalk-free connection, dilated MIN, time-domain approach, optical switch, Omega network, Conflict graph
67Rina Panigrahy, Kunal Talwar, Udi Wieder A Geometric Approach to Lower Bounds for Approximate Near-Neighbor Search and Partial Match. Search on Bibsonomy FOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
67Paul Beame, Erik Vee Time-Space Tradeoffs, Multiparty Communication Complexity, and Nearest-Neighbor Problems. Search on Bibsonomy CCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
67Gill Barequet w-Searchlight Obedient Graph Drawings. Search on Bibsonomy GD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Heilbronn's triangle problem, Geometric optimization
65Victor L. Selivanov Wadge Degrees of omega-Languages of Deterministic Turing Machines. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Wadge degree, $omega$-language, Cantor space, set-theoretic operation, hierarchy, reducibility
65Philip J. Bernhard, Daniel J. Rosenkrantz Partitioning Message Patterns for Bundled Omega Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
59Paul Beame, Erik Vee Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems. Search on Bibsonomy STOC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
59Salvatore La Torre, Margherita Napoli Timed tree automata with an application to temporal logic. Search on Bibsonomy Acta Informatica The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Uri Zwick All Pairs Shortest Paths in Weighted Directed Graphs ¾ Exact and Almost Exact Algorithms. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Bridging sets, Randomized algorithms, Shortest paths, Matrix multiplication
57Emmanuel Hainry Computing Omega-Limit Sets in Linear Dynamical Systems. Search on Bibsonomy UC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF omega-limit set, verification, hybrid systems, Dynamical Systems, safety properties, reachable set
56Tommi Syrjänen Omega-Restricted Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
56David Niedzielski, Kleanthis Psarris An Analytical Comparison of the I-Test and Omega Test. Search on Bibsonomy LCPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
56Yannis Haralambous, John Plaice The Design and Use of a Multiple-Alphabet Font with Omega. Search on Bibsonomy EP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
50Arnold L. Rosenberg Path-robust multi-channel wireless networks. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Ran Raz A Counterexample to Strong Parallel Repetition. Search on Bibsonomy FOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Marcela 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. Search on Bibsonomy CSTST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data discretization, feature selection, data pre-processing
50Marco 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. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen A Lower Bound for the Bounded Round Quantum Communication Complexity of Set Disjointness. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Martin E. Dyer, Mark Jerrum, Eric Vigoda Rapidly Mixing Markov Chains for Dismantleable Constraint Graphs. Search on Bibsonomy RANDOM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Gianfranco Bilardi Merging and Sorting Networks with the Topology of the Omega Network. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF omega permutation network, bitonic, network topology, switching networks, sorting networks, omega network, mergers, comparator networks
49Mikel Larrea, Cristian Martín 0001 From Omega to ?P in the Crash-Recovery Failure Model with Unknown Membership. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Omega failure detector, eventually perfect, Distributed algorithms, Consensus, crash-recovery
49Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang Omega - an integrated environment for C++ program maintenance. Search on Bibsonomy ICSM The full citation details ... 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
49Philip J. Bernhard, Daniel J. Rosenkrantz Using the Dual Path Property of Omega Networks to Obtain Conflict-Free Message Routing. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
48Ricardo 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. Search on Bibsonomy ARC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Hiromasa Watanabe, Shoichi Hirasawa, Hiroki Honda F-Omega: A Framework for Steering GridRPC Applications. Search on Bibsonomy eScience The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Kousha Etessami Stutter-Invariant Languages, omega-Automata, and Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Xiaojun Shen, Fan Yang, Yi Pan 0001 Equivalent permutation capabilities between time division optical omega network and non-optical extra stage omega network. Search on Bibsonomy IPCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Jorge 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. Search on Bibsonomy Axioms The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
43Takayuki 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. Search on Bibsonomy IEEE Trans. Instrum. Meas. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
43Claribet Piña A partition relation for pairs on $$\omega ^{\omega ^\omega }$$ ωωω. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Ran Raz, Amir Yehudayoff Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors. Search on Bibsonomy FOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42David P. Woodruff Lower Bounds for Additive Spanners, Emulators, and More. Search on Bibsonomy FOCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Raphael Yuster, Uri Zwick Answering distance queries in directed graphs using fast matrix multiplication. Search on Bibsonomy FOCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Marcin Mucha, Piotr Sankowski Maximum Matchings via Gaussian Elimination. Search on Bibsonomy FOCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Elchanan Mossel, Amir Shpilka, Luca Trevisan On e-Biased Generators in NC0. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Yaoyun Shi Quantum Lower Bounds for the Collision and the Element Distinctness Problems. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Alexander A. Razborov Resolution Lower Bounds for Perfect Matching Principles. Search on Bibsonomy CCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Matching Principles, Resolution, Proof Complexity, Pigeonhole principle
42Robert Rettinger, Xizhong Zheng Hierarchy of Monotonically Computable Real Numbers. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Christian Schäck, Wolfgang Heenes, Rolf Hoffmann A Multiprocessor Architecture with an Omega Network for the Massively Parallel Model GCA. Search on Bibsonomy SAMOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Global Cellular Automata, FPGA, multiprocessor architecture, omega network
40William W. Pugh, David Wonnacott Eliminating False Data Dependences using the Omega Test. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Omega
39Clément Escoffier, Jonathan Bardin, Johann Bourcier, Philippe Lalanda Developing User-Centric Applications with H-Omega. Search on Bibsonomy MOBILWARE Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF iPOJO, web portal, application server, pervasive application
39Manki Min, Panos M. Pardalos OMEGa: an optimistic most energy gain method for minimum energy multicasting in wireless ad hoc networks. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multicasting, Energy efficiency, Wireless ad hoc networks
39Cristian Martín 0001, Mikel Larrea, Ernesto Jiménez On the implementation of the Omega failure detector in the crash-recovery failure model. Search on Bibsonomy ARES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Yanjie Wang, Rabin Raut A 2.4 GHz 82 dB-Omega fully differential CMOS transimpedance amplifier for optical receiver based on wide-swing cascode topology. Search on Bibsonomy ISCAS (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Lee Papayanopoulos Generalized Variance of Multivariate Omega Functions and Duality. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF weighted binomial, combinatorial distribution, prior and posterior analysis, Bernoulli, discrete random variable, variance, multivariance, volume, covariance
39Hana Chockler, Orna Kupferman omega-Regular Languages Are Testable with a Constant Number of Queries. Search on Bibsonomy RANDOM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Rakotovao 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. Search on Bibsonomy Sensors The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
39Arash 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. Search on Bibsonomy Proc. ACM Hum. Comput. Interact. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
39Jesú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. Search on Bibsonomy Complex. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
39Ben 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. Search on Bibsonomy BioData Min. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Luis 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. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
39Alfa Omega Hutagalung, Sawarni Hasibuan Determining the Priority of Medical Equipment Maintenance with Analytical Hierarchy Process. Search on Bibsonomy Int. J. Online Biomed. Eng. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Dilshan Kumarathunga, Omega Gamage, Asitha Samarasinghe, Nipuna Saranga, Ranga Rodrigo, Ajith A. Pasqual VLIW Based Runtime Reconfigurable Machine Vision Coprocessor Architecture for Edge Computing. Search on Bibsonomy ASAP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Jonathan 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. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Marsha Berry, Omega Goodwin Poetry 4 U: Pinning poems under/over/through the streets. Search on Bibsonomy New Media Soc. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Seung-Woo Seo, Tse-Yun Feng, Hyoung-Il Lee Permutation Realizability and Fault Tolerance Property of the Inside-Out Routing Algorithm. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Omega + Omega network, looping algorithm, inside-out routing algorithm, fault tolerance, Benes network, Rearrangeable networks
35Marion Scheepers The length of some diagonalization games. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF $omega$-concentrated, point-open type, $omega$-type, strong-fan type, density type, infinite game
35Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng On the Correctness of Inside-Out Routing Algorithm. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1997 DBLP  DOI  BibTeX  RDF asymmetric MINs, omega-omega network, routing algorithm, Multistage interconnection networks (MINs), rearrangeable networks
35André Seznec A New Interconnection Network for SIMD Computers: The Sigma Network. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1987 DBLP  DOI  BibTeX  RDF BPC (bit permute complement permutation), reverse Omega network, Sigma network, compression, expansion, Omega network, vector processing, SIMD computer
35David Nassimi, Sartaj Sahni A Self-Routing Benes Network and Parallel Permutation Algorithms. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1981 DBLP  DOI  BibTeX  RDF perfect shuffle computer, bit-permute-complement permutations, cube connected computer, inverse omega perputations, omega permutations, complexity, Benes network
34Yannis Haralambous, Gábor Bella Injecting information into atomic units of text. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2005 DBLP  DOI  BibTeX  RDF OpenType, multilingual typesetting, texteme, SVG, character, PDF, Unicode, glyph, omega
34David M. Koppelman A Family of Interconnection Networks for Nonuniform Traffic. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF simulation, interconnection networks, Congestion, omega networks, nonuniform traffic
34Mark A. Linton Implementing Relational Views of Programs. Search on Bibsonomy Software Development Environments (SDE) The full citation details ... 1984 DBLP  DOI  BibTeX  RDF OMEGA
34Søren Riis On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Algebraic proof complexity, predicate logic, Propositional proof complexity
34Gabriel Paillard, Vlady Ravelomanana Limit Theorems for Degree of Coverage and Lifetime in Large Sensor Networks. Search on Bibsonomy INFOCOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Cristian Martín 0001, Mikel Larrea Eventual Leader Election in the Crash-Recovery Failure Model. Search on Bibsonomy PRDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Qi Cheng 0001 Derandomization of Sparse Cyclotomic Integer Zero Testing. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Markus Aleksy, Michael Schwind, Ralf Gitzel Generating Families of Business Components from Metamodel Hierarchies. Search on Bibsonomy CISIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets Approximately List-Decoding Direct Product Codes and Uniform Hardness Amplification. Search on Bibsonomy FOCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Ada S. Y. Poon, Robert W. Brodersen, David N. C. Tse Degrees of freedom in multiple-antenna channels: a signal space approach. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Jean Ponce, Kenton McHenry, Théodore Papadopoulo, Monique Teillaud, Bill Triggs On the Absolute Quadratic Complex and Its Application to Autocalibration. Search on Bibsonomy CVPR (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Neeta Pandey, Sajal K. Paul, Asok Bhattacharyya An insensitive current mode universal biquad: multi-input multi-output. Search on Bibsonomy ISCAS (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Kleanthis Psarris, Konstantinos Kyriakopoulos An Experimental Evaluation of Data Dependence Analysis Techniques. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
34Johannes Sturm, Martin Leifhelm, Harald Schatzmayr, Stefan Groiss, Horst Zimmermann Optical Receiver IC for CD/DVD/Blue-Laser Application. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Ran Raz, Amir Shpilka On the Power of Quantum Proofs. Search on Bibsonomy CCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Kleanthis Psarris, Konstantinos Kyriakopoulos The impact of data dependence analysis on compilation and program parallelization. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization
34Nikhil Bansal 0001, Kedar Dhamdhere, Jochen Könemann, Amitabh Sinha Non-clairvoyant Scheduling for Minimizing Mean Slowdown. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Malik Magdon-Ismail, Costas Busch, Mukkai S. Krishnamoorthy Cake-Cutting Is Not a Piece of Cake. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Amit Chakrabarti, Subhash Khot, Xiaodong Sun Near-Optimal Lower Bounds on the Multi-Party Communication Complexity of Set Disjointness. Search on Bibsonomy CCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Philipp Woelfel On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism. Search on Bibsonomy CCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
34Robert Seater, David Wonnacott Polynomial Time Array Dataflow Analysis. Search on Bibsonomy LCPC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Dima Grigoriev, Marek Karpinski, Nicolai N. Vorobjov Jr. Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision and Computation Trees. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Paul Petersen, David A. Padua Static and Dynamic Evaluation of Data Dependence Analysis Techniques. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallelism detection, evaluation of compiler techniques, compiler optimizations, Dependence analysis, automatic parallelization
34Luke O'Connor On the Distribution of Characteristics in Bijective Mappings. Search on Bibsonomy EUROCRYPT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF iterated mapping, product cipher, Differential cryptanalysis
32Eryk Kopczynski Omega-Regular Half-Positional Winning Conditions. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF omega-regular languages, positional strategies, winning condtions, automata, infinite games
32Nils Klarlund Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic Search on Bibsonomy FOCS The full citation details ... 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
32William W. Pugh The Omega test: a fast and practical integer programming algorithm for dependence analysis. Search on Bibsonomy SC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Omega
32Shmuel Safra On the Complexity of omega-Automata Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Buchi automata, complexity, decision procedures, deterministic automata, omega -automata
32David Steinberg Invariant Properties of the Shuffle-Exchange and a Simplified Cost-Effective Version of the Omega Network. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
31Wei-Zen Chen, Da-Shin Lin A 90-dB Omega 10-Gb/s Optical Receiver Analog Front-End in a 0.18µm CMOS Technology. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Peter 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
31Mikel Larrea, Cristian Martín 0001 Implementing the Omega Failure Detector in the Crash-Recovery Model with partial Connectivity and/or Synchrony. Search on Bibsonomy DEXA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin Algorithms for Omega-Regular Games with Imperfect Information, . Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Jin-Hwan Cho, Haruhiko Okumura Typesetting CJK Languages with Omega. Search on Bibsonomy TEX, XML, and Digital Typography The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Benedetto Intrigila, Richard Statman The Omega Rule is II_2^0-Hard in the lambda beta -Calculus. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Jö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. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Robert M. Corless, David J. Jeffrey The Wright omega Function. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1790 (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