Search results for "topology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Romit Roy Choudhury, Somprakash Bandyopadhyay, Krishna Paul	A distributed mechanism for topology discovery in ad hoc wireless networks using mobile agents.	MobiHoc	2000	DBLP DOI BibTeX RDF
61	Chung-Hsin Liu, Chien-Yun Lo	The study of WSN routing.	ICIS	2009	DBLP DOI BibTeX RDF	mesh topology, tree topology, star topology
60	Ricardo V. Oliveira, Beichuan Zhang 0001, Lixia Zhang 0001	Observing the evolution of internet as topology.	SIGCOMM	2007	DBLP DOI BibTeX RDF	internet topology, topology evolution
56	Hamed Haddadi, Steve Uhlig, Andrew W. Moore 0002, Richard Mortier, Miguel Rio	Modeling internet topology dynamics.	Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF	internet, models, topology, topology generation
54	Brian F. Cooper	An Optimal Overlay Topology for Routing Peer-to-Peer Searches.	Middleware	2005	DBLP DOI BibTeX RDF	random walks, peer-to-peer search, overlay topology
51	N. Sreenath, Prakash Ramaswamy	Virtual Topology Reconfiguration for Node Failures in Wavelength Routed Optical Networks.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF	Reconfiguration, Network connectivity, Node failures, WDM optical networks, Virtual topology
51	Hongsuda Tangmunarunkit, Ramesh Govindan, Sugih Jamin, Scott Shenker, Walter Willinger	Network topology generators: degree-based vs. structural.	SIGCOMM	2002	DBLP DOI BibTeX RDF	degree-based generators, large-scale structure, structural generators, topology characterization, topology metrics, network topology, hierarchy, topology generators
49	Lun Li 0001, David L. Alderson, Walter Willinger, John Doyle	A first-principles approach to understanding the internet's router-level topology.	SIGCOMM	2004	DBLP DOI BibTeX RDF	degree-based generators, heuristically optimal topology, topology metrics, network topology
48	Li (Erran) Li, Prasun Sinha	Throughput and energy efficiency in topology-controlled multi-hop wireless sensor networks.	Wireless Sensor Networks and Applications	2003	DBLP DOI BibTeX RDF	sensor networks, ad-hoc networks, wireless networks, topology control
47	Ingo Scholtes, Jean Botev, Markus Esch, Alexander Höhfeld, Hermann Schloss, Benjamin Zech	TopGen - internet router-level topology generation based on technology constraints.	SimuTools	2008	DBLP DOI BibTeX RDF	internet, network topology, router, topology generation
45	Ryota Fukumoto, Shin'ichi Arakawa, Tetsuya Takine, Masayuki Murata 0001	Analyzing and Modeling Router-Level Internet Topology.	ICOIN	2007	DBLP DOI BibTeX RDF	Router-level topology, ISP topology, AS topology, Power-law
45	Prasasth Palnati, Emilio Leonardi, Mario Gerla	Bidirectional shufflenet: a multihop topology for backpressure flow control.	ICCCN	1995	DBLP DOI BibTeX RDF	multihop topology, backpressure flow control, bidirectional shufflenet, multihop virtual topology, optical backbone network, high speed electronic LAN, Supercomputer SuperNet, hop by hop flow control, shufflenet topology, bidirectional links, average hops, bilayered shufflenet, worm length, simulation, performance, delay, throughput, optical networks, wormhole routing, buffer overflows, telecommunication congestion control
45	Chien-Chung Shen, Chavalit Srisathapornphat, Rui Liu 0001, Zhuochuan Huang, Chaiporn Jaikaeo, Errol L. Lloyd	CLTC: A Cluster-Based Topology Control Framework for Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2004	DBLP DOI BibTeX RDF	transmission power assignment, strong connectivity, clustering, ad hoc networks, Topology control
44	King-Shan Lui, Klara Nahrstedt, Shigang Chen	Hierarchical QoS Routing in Delay-Bandwidth Sensitive Networks.	LCN	2000	DBLP DOI BibTeX RDF	hierarchical QoS routing, delay-bandwidth sensitive networks, scaling problem, topology information, hierarchical routing protocols, QoS-aware topology aggregation, aggregated network state, end-to-end route, aggregated information, network QoS representation, distributed routing mechanism, quality of service, delays, network topology, simulation results, telecommunication network routing, line segments, network nodes, topology aggregation, routing performance
43	Xiao Han 0007, Chenyang Xu 0001, Jerry L. Prince	A Topology Preserving Level Set Method for Geometric Deformable Models.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Geometric deformable model, active contours, level set method, digital topology, topology preservation, simple points, topological constraint
43	Alberto Medina, Anukool Lakhina, Ibrahim Matta, John W. Byers	BRITE: An Approach to Universal Topology Generation.	MASCOTS	2001	DBLP DOI BibTeX RDF	annotated topologies, network topology, graph models, simulation environments, topology generation, growth models
43	Peng-Jun Wan, Liwu Liu, Yuanyuan Yang	Optimal Routing Based on Super Topology in Hypercube WDM Networks.	LCN	1999	DBLP DOI BibTeX RDF	super topology, routing, optical network, distance, diameter, WDM, virtual topology
43	Abbas Nayebi, Hamid Sarbazi-Azad	Lifetime analysis of the logical topology constructed by homogeneous topology control in wireless mobile networks.	ICPADS	2007	DBLP DOI BibTeX RDF
42	Yunhao Liu 0001, Li Xiao 0001, Lionel M. Ni, Yunhuai Liu	Building Efficient Overlays.	J. Grid Comput.	2004	DBLP DOI BibTeX RDF	Adaptive overlay topology optimization (AOTO), Location-aware topology matching (LTM), Topology mismatch, Peer-to-peer, Grid computing, Search efficiency
41	Abbas Edalat	Weak Topology and a Differentiable Operator for Lipschitz Maps.	LICS	2008	DBLP DOI BibTeX RDF	Clarke gradient, Weakest topology, Second order functionals, Fundamental Theorem of Calculus, Domain theory, Hausdorff metric
41	N. Sreenath, Balaji Palanisamy	An Online Distributed Protocol for the Restoration of Connectivity in the Virtual topology after Link failure in IP over WDM networks.	ICNS	2006	DBLP DOI BibTeX RDF	Reconfiguration of Virtual topology, On-line protocol, Distributed protocol, Link Failures, WDM Optical Network
41	Han Namgoong, Dongman Lee, Dukyun Nam	Energy efficient topology for wireless microsensor networks.	PE-WASUN	2005	DBLP DOI BibTeX RDF	sensor networks, topology, minimum energy
40	Filip Sadlo, Ronald Peikert	Visualizing Lagrangian Coherent Structures and Comparison to Vector Field Topology.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
40	Hamish A. Carr, Jack Snoeyink	Representing Interpolant Topology for Contour Tree Computation.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
40	Chandrajit Bajaj, Andrew Gillette, Samrat Goswami	Topology Based Selection and Curation of Level Sets.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
40	Thomas Wischgoll	Computing Center-Lines: An Application of Vector Field Topology.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
40	Robert S. Laramee, Guoning Chen, Monika Jankun-Kelly, Eugene Zhang, David S. Thompson	Bringing Topology-Based Flow Visualization to the Application Domain.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
40	Ronald Peikert, Filip Sadlo	Flow Topology Beyond Skeletons: Visualization of Features in Recirculating Flow.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
40	Ivan Viola, M. Eduard Gröller	On the Role of Topology in Focus+Context Visualization.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
40	Helwig Hauser, Robert S. Laramee, Helmut Doleisch	Topology-based versus Feature-based Flow Analysis - Challenges and an Application.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
40	Julia Ebling, Alexander Wiebel, Christoph Garth, Gerik Scheuermann	Topology Based Flow Analysis and Superposition Effects.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
40	Ronald Peikert, Filip Sadlo	Topology-guided Visualization of Constrained Vector Fields.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
40	Robert S. Laramee, Helwig Hauser, Lingxiao Zhao, Frits H. Post	Topology-Based Flow Visualization, The State of the Art.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
40	Peer-Timo Bremer, Valerio Pascucci	A Practical Approach to Two-Dimensional Scalar Topology.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
40	Tobias Salzbrunn, Gerik Scheuermann	Streamline Predicates as Flow Topology Generalization.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
40	Peter Aczel, Christopher Fox	Separation Properties in Constructive Topology.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
40	Douglas S. Bridges, Luminita Vîta	The constructive uniqueness of the locally convex topology on rn.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
40	Pedro M. Wightman, Miguel A. Labrador	Atarraya: a simulation tool to teach and research topology control algorithms for wireless sensor networks.	SimuTools	2009	DBLP DOI BibTeX RDF	topology construction, topology maintenance
40	Navid Nikaein, Christian Bonnet	Topology Management for Improving Routing and Network Performances in Mobile Ad Hoc Networks.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	simulation, performance evaluation, mobile ad hoc networks, architecture, network topology, topology management
40	Gilles Bertrand 0001, Michel Couprie	A Model for Digital Topology.	DGCI	1999	DBLP DOI BibTeX RDF	surface, digital topology, simple point, discrete topology
40	Jun Zhang 0012, Hai Zhao, Guilan Luo, Yan Zhou	The Study on Fractals of Internet Router-level Topology.	ICYCS	2008	DBLP DOI BibTeX RDF
40	Aradhana Narula-Tam, Eytan H. Modiano, Andrew Brzezinski	Physical topology design for survivable routing of logical rings in WDM-based networks.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
38	Gregory Hackmann, Octav Chipara, Chenyang Lu 0001	Robust topology control for indoor wireless sensor networks.	SenSys	2008	DBLP DOI BibTeX RDF	power management, topology control
38	Hsu-Yang Kung, Chung-Ming Huang, Hao-Hsiang Ku, Yen-Ju Tung	Load Sharing Topology Control Protocol for Harsh Environments in Wireless Sensor Networks.	AINA	2008	DBLP DOI BibTeX RDF	system life time, wireless sensor networks, load balance, topology control
38	N. Sreenath, Prakash Ramaswamy	Virtual Topology Reconfiguration for Link Failures in IP-over-WDM Networks.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF	IP-over-WDM networks, Virtual Topology Reconfiguration, Restoration, Link Failure
38	Yung-Chiao Chen, Chuan-Ching Sue, Sy-Yen Kuo	The Survivability of the Augmented Logical Ring Topology in WDM Networks.	PRDC	2006	DBLP DOI BibTeX RDF	failure propagation, problem link, Augmented Survivable Edges (ASE), logical ring topology, WDM
38	Sungwoo Tak	Some Principles Incorporating Topology Dependencies for Designing Survivable WDM Optical Networks.	ICN (2)	2005	DBLP DOI BibTeX RDF	topology dependencies, optical networks, restoration, WDM, principles
38	Yuri Breitbart, Minos N. Garofalakis, Ben Jai, Cliff Martin, Rajeev Rastogi, Avi Silberschatz	Topology discovery in heterogeneous IP networks: the NetInventory system.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	IP network management, SNMP MIBs, physical network topology, switched Ethernet
38	Budhaditya Deb, Sudeept Bhatnagar, Badri Nath	STREAM: Sensor Topology Retrieval at Multiple Resolutions.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	multi-resolution topology, independent dominating sets, sensor networks, network management, spatial sampling
38	Sukumar Ghosh, Kevin M. Lillis, Saurav Pandit, Sriram V. Pemmaraju	Robust Topology Control Protocols.	OPODIS	2004	DBLP DOI BibTeX RDF	topology control protocols, fault-tolerance, robustness, Ad-hoc wireless networks, k-connectivity
38	Daohua Yuan, Zhishu Li	An Optimized Topology Control Algorithm for Mobile Ad Hoc Networks.	WAIM	2003	DBLP DOI BibTeX RDF	Ad hoc mobile wireless network, Connectivity maintenance, Power optimisation, Topology control, Network partition
37	Rolf Winter	Modeling the Internet Routing Topology - In Less than 24h.	PADS	2009	DBLP DOI BibTeX RDF	AS-level topology, Inter-domain routing, topology modeling
37	Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi, Teruo Higashino	Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs.	Networking	2008	DBLP DOI BibTeX RDF	WDM ring networks, logical topology design algorithm, hierarchical topology, compact routing algorithm
37	Yu Jiang, Binxing Fang, Ming-Zeng Hu, Xiang Cui	Techniques for Determining the Geographic Location of IP Addresses in ISP Topology Measurement.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	Internet topology measurement, geographic location, network deployment structure, whois information, routing, network topology, domain name
37	Daniel G. Waddington, Fangzhe Chang, Ramesh Viswanathan, Bin Yao	Topology discovery for public IPv6 networks.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF	IPv6 network topology discovery, network probing, IPv6, network measurement, topology inference
36	Yan Gao 0010, Jennifer C. Hou, Hoang Nguyen	Topology Control for Maintaining Network Connectivity and Maximizing Network Capacity under the Physical Model.	INFOCOM	2008	DBLP DOI BibTeX RDF
36	Li Xu, Hui Bo, Haixia Liu, Mingqiang Yang, Song Mei, Guo Wei	Research and Analysis of Topology Control in NS-2 for Ad-hoc Wireless Network.	CISIS	2008	DBLP DOI BibTeX RDF
36	Yu Chen, Eric Fleury, Violet R. Syrotiuk	Topology-Transparent Duty Cycling for Wireless Sensor Networks.	IPDPS	2007	DBLP DOI BibTeX RDF
36	Fawad Nazir, Tallat Hussain Tarar, Faran Javed Chawla, Hiroki Suguri, Hafiz Farooq Ahmad, Arshad Ali	Constella: A Complete IP Network Topology Discovery Solution.	APNOMS	2007	DBLP DOI BibTeX RDF	Network Monitoring and Management, Simple Network Management Protocol (SNMP)
36	Hwajung Lee, Hongsik Choi, Suresh Subramaniam 0001, Hyeong-Ah Choi	Preserving Survivability During Logical Topology Reconfiguration in WDM Ring Networks.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	Wavelength Constraint, Reconfiguration Cost, Network Survivability
35	Toshimitsu Masuzawa, Sébastien Tixeuil	On bootstrapping topology knowledge in anonymous networks.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	stabilization, Topology, anonymous networks, daemon
35	Yu Wang 0003, Lijuan Cao, Teresa A. Dahlberg, Fan Li 0001, Xinghua Shi	Self-organizing fault-tolerant topology control in large-scale three-dimensional wireless networks.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Three-dimensional wireless networks, fault tolerance, topology control, power efficiency
35	Pattana Bhuriyakorn, Proadpran Punyabukkana, Atiwong Suchato	A Genetic Algorithm-aided Hidden Markov Model Topology Estimation for Phoneme Recognition of Thai Continuous Speech.	SNPD	2008	DBLP DOI BibTeX RDF	HMM topology estimation, Hidden Markov Model, Speech recognition
35	Vinicius Garcia de Oliveira, János Farkas, Marcos Rogério Salvador, Giovanni Curiel dos Santos	Automatic Discovery of Physical Topology in Ethernet Networks.	AINA	2008	DBLP DOI BibTeX RDF	Network Management, Ethernet, Topology Discovery
35	Walid Htira, Olivier Dugeon, Michel Diaz	STAMP: Towards A Scalable Topology Announcement and Management Protocol.	AINA	2008	DBLP DOI BibTeX RDF	aggregation, admission control, topology discovery
35	Areeyata Sripetch, Poompat Saengudomlert	Topology Design of Optical Networks Based on Existing Power Grids.	CNSR	2007	DBLP DOI BibTeX RDF	power grids, topology design
35	Mehmet Hadi Gunes, Kamil Saraç	Inferring subnets in router-level topology collection studies.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	router-level map, subnet inference, topology discovery
35	Lili Wang, Huihua Jin, Jianxun Dang, Yi Jin	A Fault Tolerant Topology Control Algorithm for Large-Scale Sensor Networks.	PDCAT	2007	DBLP DOI BibTeX RDF	robustness I, wireless sensor networks, topology control, scale- free, transmission delay
35	Ning Li 0014, Jennifer C. Hou	Localized Fault-Tolerant Topology Control in Wireless Ad Hoc Networks.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	fault tolerance, wireless ad hoc networks, topology control, localized algorithms, Algorithm design and analysis
35	Mudhakar Srivatsa, Bugra Gedik, Ling Liu 0001	Large Scaling Unstructured Peer-to-Peer Networks with Heterogeneity-Aware Topology and Routing.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	node heterogeneity, load balancing, Peer-to-peer systems, overlay topology, overlay routing
35	Arijit Laha	Detecting Topology Preserving Feature Subset with SOM.	CIT	2004	DBLP DOI BibTeX RDF	feature quality, Shammon error, SOM, topology preservation
34	N. Sreenath, Balaji Palanisamy	A Two - Phase Distributed Reconfiguration Algorithm for Node Failures in IP-Over-WDM Networks.	ICSNC	2006	DBLP DOI BibTeX RDF	Reconfiguration of Virtual topology, Node Failures, WDM Optical Network
34	Florent Ségonne	Active Contours Under Topology Control - Genus Preserving Level Sets.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Geometric deformable model, Genus preservation, Topology control, Active contours, Level set method, Digital topology, Simple points, Topological constraint
34	Suleyman Uludag, King-Shan Lui, Klara Nahrstedt, Gregory B. Brewster	Analysis of Topology Aggregation techniques for QoS routing.	ACM Comput. Surv.	2007	DBLP DOI BibTeX RDF	inaccuracy, routing, networks, delay, topology, bandwidth, QoS routing, hierarchical networks, path selection, Topology aggregation
34	José García Rodríguez 0001, Francisco Flórez-Revuelta, Juan Manuel García Chamizo	Adaptive Representation of Objects Topology Deformations with Growing Neural Gas.	IWANN	2007	DBLP DOI BibTeX RDF	topology representation, self-organising neural networks, shape representation, topology preservation
34	Marcel Busse, Thomas Haenselmann, Wolfgang Effelsberg	TECA: a topology and energy control algorithm for wireless sensor networks.	MSWiM	2006	DBLP DOI BibTeX RDF	wireless sensor networks, topology control, topology management
34	Ralph Kopperman	Topological Digital Topology.	DGCI	2003	DBLP DOI BibTeX RDF	general topology, T 0-space, specialization (order), connected ordered topological space (COTS), Alexandroff space, Khalimsky line, digital n-space, metric and polyhedral analogs, chaining maps, calming maps, inverse limit, Hausdorff reflection, skew (=stable) compactness, (graph) path and arc connectedness and components, (topological) adjacency, Jordan curve, robust scene, Digital topology, normalizing maps, cartoon
34	Punam K. Saha, B. B. Chaudhuri 0001	Detection of 3-D Simple Points for Topology Preserving Transformations with Application to Thinning.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	3-D simple points, 3-D digital topology preservation, binary transformations, 3-D object thinning, object voxel, nonobject voxel, 3-D digital geometry, point detection algorithm, surface-skeleton, image processing, computational geometry, topology
33	Tobias Salzbrunn, Gerik Scheuermann	Flow Structure based 3D Streamline Placement.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
33	Bernd Krauskopf, Hinke M. Osinga, Eusebius J. Doedel	Visualizing global manifolds during the transition to chaos in the Lorenz system.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
33	Alexander Wiebel, Xavier Tricoche, Gerik Scheuermann	Extraction of Separation Manifolds using Topological Structures in Flow Cross Sections.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
33	Markus Rütten, Gert Böhme	Streamline and Vortex Line Analysis of the Vortex Breakdown in a Confined Cylinder Flow.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
33	Christoph Garth, Guo-Shi Li, Xavier Tricoche, Charles D. Hansen, Hans Hagen	Visualization of Coherent Structures in Transient 2D Flows.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
33	Kuangyu Shi, Holger Theisel, Helwig Hauser, Tino Weinkauf, Kresimir Matkovic, Hans-Christian Hege, Hans-Peter Seidel	Path Line Attributes - an Information Visualization Approach to Analyzing the Dynamic Behavior of 3D Time-Dependent Flow Fields.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
33	Nelson Max, Tino Weinkauf	Critical Points of the Electric Field from a Collection of Point Charges.	Topology-Based Methods in Visualization II	2009	DBLP DOI BibTeX RDF
33	Zsolt Tóth, Ivan Viola, Andrej Ferko, M. Eduard Gröller	N-dimensional Data-Dependent Reconstruction Using Topological Changes.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
33	Holger Theisel, Tino Weinkauf, Hans-Christian Hege, Hans-Peter Seidel	On the Applicability of Topological Methods for Complex Flow Data.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
33	Markus Trenker, Wolfgang Payer, Matthias Haigis	Simulation Methods for Advanced Design Engineering.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
33	Tino Weinkauf, Holger Theisel, Hans-Christian Hege, Hans-Peter Seidel	Feature Flow Fields in Out-of-Core Settings.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
33	Christoph Garth, Robert S. Laramee, Xavier Tricoche, Jürgen Schneider, Hans Hagen	Extraction and Visualization of Swirl and Tumble Motion from Engine Simulation Data.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
33	Thomas Klein, Thomas Ertl	Scale-Space Tracking of Critical Points in 3D Vector Fields.	Topology-based Methods in Visualization	2007	DBLP DOI BibTeX RDF
33	Thierry Coquand, Henri Lombardi, Marie-Françoise Roy	An elementary characterisation of Krull dimension.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Nicola Gambino	Presheaf models for Constructive Set Theories.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Thomas Streicher	Universes in Toposes.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Alex Simpson	Constructive Set Theories and their Category-theoretic Models.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Hiroki Takamura	An introduction to the theory of c*-algegras in constructive mathematics.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Stephen Vickers	Some constructive roads to Tychonoff.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Errett Bishop, Douglas S. Bridges	Introduction.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Douglas S. Bridges, Robin Havea	Approximations to the numerical range of an element of a Banach algebra.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
33	Anna Bucalo, Giuseppe Rosolini	Spaces as comonoids.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF