Search results for "point"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even	Pipelined Packet-Forwarding Floating Point: II. An Adder.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	pipelined packet forwarding floating point, floating point addition algorithm, adder pipeline design, packet forwarding pipeline paradigm, data hazards, deeply pipelined floating point pipelines, four stage execution phase pipeline, short clock period, fifteen logic levels, addition algorithm, standard binary floating point format, standard IEEE 754 rounded result, two cycle latency, cooperating multiplier pipeline, packet forwarding operand, IEEE 754 binary floating point compatibility, pipeline arithmetic
50	David W. Matula, Asger Munk Nielsen	Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations
47	Lance Saldanha, Roman L. Lysecky	Hardware/software partitioning of floating point software applications to fixed-pointed coprocessor circuits.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	floating point to fixed conversion, floating point, fixed point, hardware/software partitioning
43	Mordecai J. Golin, Assaf Schuster	Optimal point-to-point broadcast algorithms via lopsided trees.	ISTCS	1997	DBLP DOI BibTeX RDF	optimal point-to-point broadcast algorithms, lopsided trees, point-to-point packet-switched processor networks, optimal broadcast algorithms, optimal broadcast algorithm, optical ring, multiport multimedia model, message passing, POSTAL model
42	Antonio Elias Fabris, Marcos Machado Ottani Assis, A. Robin Forrest	Parallelization of Filling Algorithms on Distributed Memory Machines using the Point Containment Paradigm.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	filling algorithm parallelization, point containment paradigm, point containment predicate, mathematically well-defined object, point-driven algorithms, parallel configurations, point-driven algorithm, standard uniprocessor software implementation, interactive editing, parallel algorithms, computer graphics, distributed memory machines
42	Yin Zhang 0001, Matthew Roughan, Carsten Lund, David L. Donoho	Estimating point-to-point and point-to-multipoint traffic matrices: an information-theoretic approach.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	minimum mutual information, information theory, TCP/IP, regularization, traffic engineering, SNMP, failure analysis, traffic matrix estimation, point-to-multipoint, point-to-point
40	Natthawat Boonchaiseree, Vutipong Areekul	Focal Point Detection Based on Half Concentric Lens Model for Singular Point Extraction in Fingerprint.	ICB	2009	DBLP DOI BibTeX RDF	Focal Point, Half Concentric Lens, Concentric Lens’s Similarity, Fingerprint Registration, Singular Point
40	Majid Khabbazian, T. Aaron Gulliver, Vijay K. Bhargava	Double Point Compression with Applications to Speeding Up Random Point Multiplication.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	point compression, fast computation, parallel processing, Cryptography, elliptic curves, point multiplication
38	Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even	An IEEE Compliant Floating-Point Adder that Conforms with the Pipelined Packet-Forwarding Paradigm.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	IEEE floating-point rounding, Floating-point arithmetic, redundant number representations, floating-point addition
38	John Shunen Shieh	Recursive morphological sieve method for searching pictorial point symbols on maps.	ICDAR	1995	DBLP DOI BibTeX RDF	recursive morphological sieve method, pictorial point symbol searching, positional data, point symbol identification, automatic map understanding, line symbols, morphological template matching method, K-tolerance covering, symbol kernel covering, morphologically preprocessed maps, multi-level sieves, screened out symbol kernels, sieve renewal, recursive screening process, pictorial point symbol recognition, documental files, image segmentation, edge detection, maps, identification, document image processing, cartography, partial ordering method, textured regions, colored regions
37	Isao Yamada, Masahiro Yukawa, Masao Yamagishi	Minimizing the Moreau Envelope of Nonsmooth Convex Functions over the Fixed Point Set of Certain Quasi-Nonexpansive Mappings.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
37	Andrzej Cegielski, Yair Censor	Opial-Type Theorems and the Common Fixed Point Problem.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
36	Françoise Point	Corrigendum to F. Point, Existentially closed ordered difference fields and rings.	Math. Log. Q.	2015	DBLP DOI BibTeX RDF
36	Stéphane Gosselin, Tahar Mamouni, Philippe Bertin, Jose A. Torrijos, Dirk Breuer, Erik Weis, Jean-Charles Point	Converged fixed and mobile broadband networks based on next generation point of presence.	Future Network & Mobile Summit	2013	DBLP BibTeX RDF
36	Daniel Ménard, Daniel Chillet, François Charot, Olivier Sentieys	Automatic floating-point to fixed-point conversion for DSP code generation.	CASES	2002	DBLP DOI BibTeX RDF	digital signal processing systems, floating-point to fixed-point conversion, quantization noise, code generation, DSP, fixed-point
35	YingLiang Ma, W. Terry Hewitt	Point inversion and projection for NURBS curve: Control polygon approach.	TPCG	2003	DBLP DOI BibTeX RDF	point projection, point inversion, polygon condition, NURBS curve
35	Jorge Ortiz 0001, Chris R. Baker, Daekyeong Moon, Rodrigo Fonseca, Ion Stoica	Beacon location service: a location service for point-to-point routing in wireless sensor networks.	IPSN	2007	DBLP DOI BibTeX RDF	location service, sensornets, point-to-point
33	Brigitte Verdonk, Annie A. M. Cuyt, Dennis Verschaeren	A precision- and range-independent tool for testing floating-point arithmetic II: conversions.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	IEEE floating-point standard, multiprecision, validation, conversion, floating-point, arithmetic, decimal
33	Elias Daniel Guestrin, Moshe Eizenman	Remote point-of-gaze estimation requiring a single-point calibration for applications with infants.	ETRA	2008	DBLP DOI BibTeX RDF	infants' gaze, minimal subject cooperation, point-of-gaze, remote gaze estimation, single-point calibration
33	Guy Even, Wolfgang J. Paul	On the Design of IEEE Compliant Floating Point Units.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	floating-point rounding, floating-point arithmetic, IEEE 754 Standard, floating-point addition
33	Geoff Barrett	Formal Methods Applied to a Floating-Point Number System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
33	Jérôme Boulanger, Peter Elbau, Carsten Pontow, Otmar Scherzer	Non-Local Functionals for Imaging.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Simeon Reich, Shoham Sabach	Existence and Approximation of Fixed Points of Bregman Firmly Nonexpansive Mappings in Reflexive Banach Spaces.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Warren L. Hare	Identifying Active Manifolds in Regularization Problems.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Jonathan M. Borwein, Brailey Sims	The Douglas-Rachford Algorithm in the Absence of Convexity.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Frank Deutsch, Hein Hundal	Arbitrarily Slow Convergence of Sequences of Linear Operators: A Survey.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Heinz H. Bauschke, Mason S. Macklem, Xianfu Wang	Chebyshev Sets, Klee Sets, and Chebyshev Centers with Respect to Bregman Distances: Recent Results and Open Problems.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Patrick L. Combettes, Jean-Christophe Pesquet	Proximal Splitting Methods in Signal Processing.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Genaro López, Victoria Martín-Márquez	Approximation Methods for Nonexpansive Type Mappings in Hadamard Manifolds.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Adi Ben-Israel, Yuri Levin	The Newton Bracketing Method for Convex Minimization: Convergence Analysis.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Amir Beck, Marc Teboulle	A Linearly Convergent Algorithm for Solving a Class of Nonconvex/Affine Feasibility Problems.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Bryan Gardiner, Yves Lucet	Graph-Matrix Calculus for Computational Convex Analysis.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Liangjin Yao	The Brézis-Browder Theorem Revisited and Properties of Fitzpatrick Functions of Order n.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang	Self-Dual Smooth Approximations of Convex Functions via the Proximal Average.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Jonathan M. Borwein, D. Russell Luke	Entropic Regularization of the ℓ 0 Function.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Radu Ioan Bot, Ernö Robert Csetnek	A Comparison of Some Recent Regularity Conditions for Fenchel Duality.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Julian P. Revalski	Regularization Procedures for Monotone Operators: Recent Advances.	Fixed-Point Algorithms for Inverse Problems in Science and Engineering	2011	DBLP DOI BibTeX RDF
33	Todd D. Murphey	On Observing Contact States in Overconstrained Manipulation.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Makoto Kaneko, Mitsuru Higashimori	Design of 100G Capturing Robot.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Carlo Alberto Avizzano, Simone Marcheschi, Massimo Bergamasco	Haptic Interfaces: Collocation and Coherence Issues.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Antonio Bicchi, Enzo Pasquale Scilingo, Davide Dente, Nicola Sgambelluri	Tactile Flow and Haptic Discrimination of Softness.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Gabriel Baud-Bovy, Domenico Prattichizzo, Nadia Brogi	Does Torque Minimization Yield a Stable Human Grasp?	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Nancy S. Pollard, Alon Wolf	Grasp Synthesis from Example: Tuning the Example to a Task or Object.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Günter Niemeyer, Probal Mitra	Dynamic Proxies and Haptic Constraints.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Christoph Borst, Max Fischer, Gerd Hirzinger	Efficient and Precise Grasp Planning for Real World Objects.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Antonio Frisoli, Massimo Bergamasco, Sue L. Wu, Emanuele Ruffaldi	Evaluation of Multipoint Contact Interfaces in Haptic Perception of Shapes.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Lawton N. Verner, Kristin A. Jeung, Allison M. Okamura	Effects of Gripping and Translational Forces on Teleoperation.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Hanifa Dostmohamed, Vincent Hayward	Contact Location Trajectory on the Fingertip as a Sufficient Requisite for Illusory Perception of Haptic Shape and Effect of Multiple Contacts.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Stefano Stramigioli	Intrinsically Passive Control using Sampled Data System Passivity.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Pramila Rani, Medha Shukla Sarkar, Robert Brackin, Nilanjan Sarkar	Semi-Autonomous Human-Robot Interaction for People with Disability.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Luigi Biagiotti, Paolo Tiezzi, Gabriele Vassura, Claudio Melchiorri	Modelling and Controlling the Compliance of a Robotic Hand with Soft Finger-pads.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Danny M. Kaufman, Dinesh K. Pai	Rapid Collision Dynamics for Multiple Contacts with Friction.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
33	Kevin Egan, Stephen Berard, Jeffrey C. Trinkle	Toward Sensorless Acquisition of Multiple Contact Points Between Planar Parts.	Multi-point Interaction with Real and Virtual Objects	2005	DBLP DOI BibTeX RDF
32	K. B. Serge Angelo Dapa, Guillaume Point, Saleh Bensator, Fouzia Elbahhar Boukour	Vehicular Communications Over OFDM Radar Sensing in the 77 GHz mmWave Band.	IEEE Access	2023	DBLP DOI BibTeX RDF
32	Pablo Cubides Kovacsics, Françoise Point	Topological fields with a generic derivation.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
32	Marielle Guirlet, Gaia Bongi, Elise Point, Grégoire Urvoy, René Schneider	Proposal for a Maturity Continuum Model for Open Research Data.	Int. J. Digit. Curation	2022	DBLP DOI BibTeX RDF
32	Véronique Georlette, Juan Sánchez Melgarejo, Sébastien Bette, Nicolas Point, Véronique Moeyaert	Work-in-Progress: Using Li-Fi to control Automated Guided Vehicles. Steps towards an industrial market product.	WFCS	2022	DBLP DOI BibTeX RDF
32	Quentin Lambotte, Françoise Point	On expansions of (Z, +, 0).	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
32	Christophe Ponsard, Jeremy Grandclaudon, Nicolas Point	Methodology and Feedback about Systematic Cybersecurity Experts Auditing in Belgium.	ICISSP	2020	DBLP DOI BibTeX RDF
32	Véronique Georlette, Véronique Moeyaert, Sébastien Bette, Nicolas Point	Visible Light Communication Challenges in the Frame of Smart Cities.	ICTON	2020	DBLP DOI BibTeX RDF
32	Christophe Ponsard, Philippe Massonet, Jeremy Grandclaudon, Nicolas Point	From Lightweight Cybersecurity Assessment to SME Certification Scheme in Belgium.	EuroS&P Workshops	2020	DBLP DOI BibTeX RDF
32	Véronique Georlette, Véronique Moeyaert, Sébastien Bette, Nicolas Point	Outdoor Optical Wireless Communication: potentials, standardization and challenges for Smart Cities.	WOCC	2020	DBLP DOI BibTeX RDF
32	Mathilde Desrues, Jean-Philippe Malet, Ombeline Brenguier, Julien Point, André Stumpf, Lionel Lorier	TSM - Tracing Surface Motion: A Generic Toolbox for Analyzing Ground-Based Image Time Series of Slope Deformation.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
32	Quentin Brouette, Pablo Cubides Kovacsics, Françoise Point	Strong density of Definable Types and closed Ordered differential Fields.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
32	Sonia L'Innocente, Françoise Point, Gennadi Puninski, Carlo Toffalori	The Ziegler spectrum of the Ring of entire Complex Valued Functions.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
32	Quentin Brouette, Françoise Point	On differential Galois groups of strongly normal extensions.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
32	Alexandros-Apostolos A. Boulogeorgos, Angeliki Alexiou, Dimitrios Kritharidis, Alexandros Katsiotis, Georgia D. Ntouni, Joonas Kokkoniemi, Janne J. Lehtomäki, Markku J. Juntti, Dessy Yankova, Ahmed Mokhtar, Jean-Charles Point, José Machado 0002, Robert Elschner, Colja Schubert, Thomas Merkle, Ricardo Ferreira, Francisco Rodrigues, José Lima 0001	Wireless Terahertz System Architectures for Networks Beyond 5G.	CoRR	2018	DBLP BibTeX RDF
32	Françoise Point	Definability of types and VC density in differential topological fields.	Arch. Math. Log.	2018	DBLP DOI BibTeX RDF
32	Michael C. Parker, Geza Koczian, Stuart D. Walker, Kai Habel, Volker Jungnickel, Theodoros Rokkas, Ioannis Neokosmidis, Muhammad Shuaib Siddiqui, Eduard Escalona, Carolina Canales-Valenzuela, A. Foglar, Marian Ulbricht, Y. Liu, Jean-Charles Point, Dimitrios Kritharidis, Konstantinos V. Katsaros, Eleni Trouva, Y. Angelopoulos, Konstantinos Filis, George L. Lyberopoulos, Eugene Zetserov, David Levi, P. Kralj, P. Jenko	Ultra-low latency 5G CHARISMA architecture for secure intelligent transportation verticals.	ICTON	2017	DBLP DOI BibTeX RDF
32	Yaning Liu, Jean-Charles Point, Konstantinos V. Katsaros, Vasilis Glykantzis, Muhammad Shuaib Siddiqui, Eduard Escalona	SDN/NFV based caching solution for future mobile network (5G).	EuCNC	2017	DBLP DOI BibTeX RDF
32	Muhammad Shuaib Siddiqui, A. Legarrea, Eduard Escalona, Michael C. Parker, Geza Koczian, Stuart D. Walker, George L. Lyberopoulos, Helen Theodoropoulou, Konstantinos Filis, A. Foglar, Marian Ulbricht, Y. Liu, Jean-Charles Point, Eleni Trouva, Theodoros Rokkas, Ioannis Neokosmidis, Dimitrios Kritharidis, Konstantinos V. Katsaros, S. Spirou, Kai Habel, Volker Jungnickel, C. Canales, M. Lorenzo	Hierarchical, virtualised and distributed intelligence 5G architecture for low-latency and secure applications.	Trans. Emerg. Telecommun. Technol.	2016	DBLP DOI BibTeX RDF
32	Andrew M. W. Glass, Angus Macintyre, Françoise Point	Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283].	Ann. Pure Appl. Log.	2016	DBLP DOI BibTeX RDF
32	Michael C. Parker, Geza Koczian, F. Adeyemi-Ejeye, Terry Quinlan, Stuart D. Walker, A. Legarrea, Muhammad Shuaib Siddiqui, Eduard Escalona, S. Spirou, Dimitrios Kritharidis, Kai Habel, Volker Jungnickel, Eleni Trouva, Akis Kourtis, Y. Liu, Matthias Sander Frigau, Jean-Charles Point, George L. Lyberopoulos, Eleni Theodoropoulou, Konstantinos Filis, Theodoros Rokkas, Ioannis Neokosmidis, David Levi, Eugene Zetserov, A. Foglar, Marian Ulbricht, Blaz Peternel, D. Gustincic	CHARISMA: Converged heterogeneous advanced 5G cloud-RAN architecture for intelligent and secure media access.	EuCNC	2016	DBLP DOI BibTeX RDF
32	Luc Bélair, Françoise Point	Separably Closed Fields and contractive Ore Modules.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
32	Marco Forzati, Alberto Bianchi, Jiajia Chen 0001, Klaus Grobe, Bart Lannoo, Carmen Mas Machuca, Jean-Charles Point, Björn Skubic, Sofie Verbrugge, Erik Weis, Lena Wosinska, Dirk Breuer	Next-Generation Optical Access Seamless Evolution: Concluding Results of the European FP7 Project OASE.	JOCN	2015	DBLP DOI BibTeX RDF
32	Zhe Li, Jean-Charles Point, Selami Çiftçi, Onur Eker, Giulia Mauri, Marco Savi, Giacomo Verticale	ICN based shared caching in future converged fixed and mobile network.	HPSR	2015	DBLP DOI BibTeX RDF
32	Yaning Liu, Zhe Li, Jean-Charles Point	MagicBox: An intelligent caching-enabled mobile router/server.	HPSR	2015	DBLP DOI BibTeX RDF
32	Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent	Insight: An Open Binary Analysis Framework.	TACAS	2015	DBLP DOI BibTeX RDF
32	Joost Geurts, Zhe Li, Yaning Liu, Jean-Charles Point	Transparent Handover Using WiFi Network Prediction for Mobile Video Streaming.	WorldCIST (1)	2015	DBLP DOI BibTeX RDF
32	Yaning Liu, Joost Geurts, Jean-Charles Point, Stefan Lederer, Benjamin Rainer, Christopher Müller, Christian Timmerer, Hermann Hellwagner	Dynamic adaptive streaming over CCN: A caching and overhead analysis.	ICC	2013	DBLP DOI BibTeX RDF
32	Pengcheng Jiang, Yuehui Jin, Tan Yang, Joost Geurts, Yaning Liu, Jean-Charles Point	Handoff prediction for data caching in mobile Content Centric Network.	ICCT	2013	DBLP DOI BibTeX RDF
32	Luc Bélair, Françoise Point	Corrigendum to: "Quantifier elimination in valued Ore modules".	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
32	Nicolas Guzy, Françoise Point	Topological differential fields and dimension functions.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
32	Luc Bélair, Françoise Point	Quantifier elimination in valued Ore modules.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
32	Françoise Point	Existentially closed ordered difference fields and rings.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
32	Nicolas Guzy, Françoise Point	Topological differential fields.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
32	Sonia L'Innocente, Angus Macintyre, Françoise Point	Exponentiations over the universal enveloping algebra of sl2(C).	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
32	Jérôme Leroux, Gérald Point	TaPAS: The Talence Presburger Arithmetic Suite.	TACAS	2009	DBLP DOI BibTeX RDF
32	Sébastien Bardin, Jérôme Leroux, Gérald Point	FAST Extended Release.	CAV	2006	DBLP DOI BibTeX RDF	counter systems verification, generic Presburger interface, automata with cache computation, acceleration
32	Andrew M. W. Glass, Françoise Point	Finitely Presented Abelian Lattice-Ordered Groups.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
32	Françoise Point	Asymptotic theory of modules of separably closed fields.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
32	Andrew M. W. Glass, Angus Macintyre, Françoise Point	Free abelian lattice-ordered groups.	Ann. Pure Appl. Log.	2005	DBLP DOI BibTeX RDF
32	Laurent Dame, Michel Lamquin, Jerome Hanoteau, Nicolas Point	Emulation Of The GTP Protocol With Ns-2.	Communications in Computing	2005	DBLP BibTeX RDF
32	André Arnold, Xavier Briand, Gérald Point, Aymeric Vincent	A generic approach to the control of discrete event systems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
32	Pilar Dellunde, Françoise Delon, Françoise Point	The theory of modules of separably closed fields 2.	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
32	Jean-Charles Point	HFC networks evolutions for service convergence.	Shaping the Broadband Society	2004	DBLP BibTeX RDF
32	Pilar Dellunde, Françoise Delon, Françoise Point	The Theory of Modules of Separably Closed Fields 1.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
32	Françoise Point	On the definability of verbal subgroups.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03C60, 20A15, 20F99
32	Françoise Point	On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
32	Françoise Point, Frank O. Wagner	Essentially periodic ordered groups.	Ann. Pure Appl. Log.	2000	DBLP DOI BibTeX RDF