| Publication | Date of Publication | Type |
|---|
Overcoming probabilistic faults in disoriented linear search
Theoretical Computer Science | 2024-10-07 | Paper |
| Evacuation from a disk for robots with asymmetric communication | 2024-09-11 | Paper |
| Approximate maxima finding of continuous functions under restricted budget (extended abstract) | 2024-06-05 | Paper |
| Optimal circle search despite the presence of faulty robots | 2024-04-05 | Paper |
VC-dimensions for graphs (extended abstract)
Graph-Theoretic Concepts in Computer Science | 2024-02-28 | Paper |
scientific article; zbMATH DE number 7788630 (Why is no real title available?)
(available as arXiv preprint) | 2024-01-15 | Paper |
Overcoming probabilistic faults in disoriented linear search
Structural Information and Communication Complexity | 2024-01-11 | Paper |
On multi-label linear interval routing schemes
Graph-Theoretic Concepts in Computer Science | 2024-01-05 | Paper |
Search on a Line by Byzantine Robots
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
Delivery to safety with two cooperating robots
Lecture Notes in Computer Science | 2023-08-14 | Paper |
Optimal circle search despite the presence of faulty robots
Information Processing Letters | 2023-06-05 | Paper |
| Message Delivery in the Plane by Robots with Different Speeds | 2023-04-21 | Paper |
| Gathering and Election by Mobile Robots in a Continuous Cycle. | 2023-02-03 | Paper |
Optimal rendezvous on a line by location-aware robots in the presence of spies*
Discrete Mathematics, Algorithms and Applications | 2022-12-19 | Paper |
Querying with Uncertainty
Algorithms for Sensor Systems | 2022-12-09 | Paper |
Searching for a Non-adversarial, Uncooperative Agent on a Cycle
Algorithms for Sensor Systems | 2022-12-09 | Paper |
Rendezvous on a Line by Location-Aware Robots Despite the Presence of Byzantine Faults
Algorithms for Sensor Systems | 2022-12-09 | Paper |
Power consumption in packet radio networks (extended abstract)
Lecture Notes in Computer Science | 2022-11-09 | Paper |
On convergence and threshold properties of discrete Lotka-Volterra population protocols
Journal of Computer and System Sciences | 2022-08-26 | Paper |
| Linear rendezvous with asymmetric clocks | 2022-07-21 | Paper |
Energy consumption of group search on a line
(available as arXiv preprint) | 2022-07-21 | Paper |
| Bike assisted evacuation on a line | 2022-03-24 | Paper |
The pony express communication problem
(available as arXiv preprint) | 2022-03-22 | Paper |
Graph exploration by energy-sharing mobile agents
(available as arXiv preprint) | 2022-03-22 | Paper |
The bike sharing problem
(available as arXiv preprint) | 2021-10-04 | Paper |
Time-energy tradeoffs for evacuation by two robots in the wireless model
Theoretical Computer Science | 2021-01-25 | Paper |
Treasure evacuation with one robot on a disk
Theoretical Computer Science | 2021-01-25 | Paper |
Symmetry Breaking in the Plane
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing | 2021-01-20 | Paper |
| Evacuating robots from a disk using face-to-face communication | 2021-01-05 | Paper |
Distributed computing on oriented anonymous hypercubes with faulty components
Distributed Computing | 2020-12-03 | Paper |
Exploring graphs with time constraints by unreliable collections of mobile robots
SOFSEM 2018: Theory and Practice of Computer Science | 2020-10-21 | Paper |
Patrolling a path connecting a set of points with unbalanced frequencies of visits
SOFSEM 2018: Theory and Practice of Computer Science | 2020-10-21 | Paper |
Gathering in the plane of location-aware robots in the presence of spies
Theoretical Computer Science | 2020-08-25 | Paper |
God save the queen
(available as arXiv preprint) | 2020-08-11 | Paper |
On realizing shapes in the theory of RNA neutral networks
Journal of Theoretical Biology | 2020-07-09 | Paper |
Time-energy tradeoffs for evacuation by two robots in the wireless model
Lecture Notes in Computer Science | 2020-03-03 | Paper |
Weak coverage of a rectangular barrier
Algorithmica | 2020-02-28 | Paper |
Plane and planarity thresholds for random geometric graphs
Discrete Mathematics, Algorithms and Applications | 2020-02-18 | Paper |
Searching for a non-adversarial, uncooperative agent on a cycle
Theoretical Computer Science | 2020-01-16 | Paper |
Priority evacuation from a disk: the case of \(n = 1,2,3\)
Theoretical Computer Science | 2020-01-16 | Paper |
Search on a line with faulty robots
Distributed Computing | 2019-11-27 | Paper |
Group search of the plane with faulty robots
Theoretical Computer Science | 2019-10-07 | Paper |
scientific article; zbMATH DE number 7088261 (Why is no real title available?)
(available as arXiv preprint) | 2019-08-01 | Paper |
| scientific article; zbMATH DE number 7088261 (Why is no real title available?) | 2019-08-01 | Paper |
Priority evacuation from a disk using mobile robots (extended abstract)
(available as arXiv preprint) | 2019-01-30 | Paper |
Gathering in the plane of location-aware robots in the presence of spies
Structural Information and Communication Complexity | 2019-01-30 | Paper |
Optimal shooting: Characterizations and applications
Automata, Languages and Programming | 2019-01-10 | Paper |
| Patrolling trees with mobile robots | 2018-12-07 | Paper |
| Search-and-fetch with one robot on a disk (track: wireless and geometry) | 2018-12-07 | Paper |
Impact of locality on location aware unit disk graphs
Algorithms | 2018-08-20 | Paper |
Search on a line by Byzantine robots
(available as arXiv preprint) | 2018-04-19 | Paper |
| Evacuation from a disc in the presence of a faulty robot | 2018-04-12 | Paper |
Asymptotically optimal scheduling of random malleable demands in smart grid
Discrete Mathematics, Algorithms and Applications | 2018-04-10 | Paper |
Know when to persist: deriving value from a stream buffer
Theoretical Computer Science | 2018-03-13 | Paper |
Evacuating two robots from multiple unknown exits in a circle
Theoretical Computer Science | 2017-12-20 | Paper |
Approximating the unsatisfiability threshold of random formulas (extended abstract)
Algorithms — ESA '96 | 2017-12-05 | Paper |
Lower bounds for compact routing (extended abstract)
STACS 96 | 2017-11-16 | Paper |
When patrolmen become corrupted: monitoring a graph using faulty mobile robots
Algorithmica | 2017-11-09 | Paper |
Search on a line with faulty robots
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | 2017-09-29 | Paper |
Weak coverage of a rectangular barrier
Lecture Notes in Computer Science | 2017-07-21 | Paper |
Linear Search with Terrain-Dependent Speeds
Lecture Notes in Computer Science | 2017-07-21 | Paper |
Distributed patrolling with two-speed robots (and an application to transportation)
Operations Research and Enterprise Systems | 2017-04-28 | Paper |
Distributed algorithms for barrier coverage using relocatable sensors
Distributed Computing | 2017-04-04 | Paper |
Different speeds suffice for rendezvous of two agents on arbitrary graphs
SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
Sensor allocation problems on the real line
Journal of Applied Probability | 2016-12-09 | Paper |
Know when to persist: deriving value from a stream buffer (extended abstract)
Algorithmic Aspects in Information and Management | 2016-11-09 | Paper |
Reconstructing cactus graphs from shortest path information (extended abstract)
Algorithmic Aspects in Information and Management | 2016-11-09 | Paper |
Survivability of bouncing robots
Discrete Mathematics, Algorithms and Applications | 2016-09-16 | Paper |
On the displacement for covering a unit interval with randomly placed sensors
Information Processing Letters | 2016-07-27 | Paper |
When patrolmen become corrupted: monitoring a graph using faulty mobile robots
Algorithms and Computation | 2016-01-11 | Paper |
Information spreading by mobile particles on a line
Structural Information and Communication Complexity | 2016-01-08 | Paper |
The beachcombers' problem: walking and searching with mobile robots
Theoretical Computer Science | 2015-12-11 | Paper |
Strong connectivity of sensor networks with double antennae
Theoretical Computer Science | 2015-12-10 | Paper |
On convergence and threshold properties of discrete Lotka-Volterra population protocols
Automata, Languages, and Programming | 2015-10-27 | Paper |
Localization for a system of colliding robots
Distributed Computing | 2015-09-29 | Paper |
Position discovery for a system of bouncing robots
Information and Computation | 2015-09-28 | Paper |
Searching for majority with \(k\)-tuple queries
Discrete Mathematics, Algorithms and Applications | 2015-07-01 | Paper |
Connectivity and stretch factor trade-offs in wireless sensor networks with directional antennae
Theoretical Computer Science | 2015-06-10 | Paper |
Excuse me! or the courteous theatregoers' problem
Theoretical Computer Science | 2015-05-26 | Paper |
Complexity of barrier coverage with relocatable sensors in the plane
Theoretical Computer Science | 2015-05-18 | Paper |
Minimizing congestion of layouts for ATM networks with faulty links
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
Distributed algorithms for barrier coverage using relocatable sensors
Proceedings of the 2013 ACM symposium on Principles of distributed computing | 2015-03-02 | Paper |
Evacuating robots via unknown exit in a disk
Lecture Notes in Computer Science | 2015-02-10 | Paper |
On the event distance of Poisson processes with applications to sensors
Discrete Applied Mathematics | 2014-12-03 | Paper |
Displacing random sensors to avoid interference
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Randomized rendezvous with limited memory
ACM Transactions on Algorithms | 2014-09-09 | Paper |
The beachcombers' problem: walking and searching with mobile robots
Structural Information and Communication Complexity | 2014-08-07 | Paper |
Patrolling by robots equipped with visibility
Structural Information and Communication Complexity | 2014-08-07 | Paper |
Asymptotic number of hairpins of saturated RNA secondary structures
Bulletin of Mathematical Biology | 2014-04-22 | Paper |
Survivability of swarms of bouncing robots
LATIN 2014: Theoretical Informatics | 2014-03-31 | Paper |
Approximation algorithms for the antenna orientation problem
Fundamentals of Computation Theory | 2013-08-16 | Paper |
Localization for a system of colliding robots
Automata, Languages, and Programming | 2013-08-07 | Paper |
Complexity of barrier coverage with relocatable sensors in the plane
Lecture Notes in Computer Science | 2013-06-07 | Paper |
Position discovery for a system of bouncing robots
Lecture Notes in Computer Science | 2013-03-13 | Paper |
On the page number of RNA secondary structures with pseudoknots
Journal of Mathematical Biology | 2012-12-13 | Paper |
Maintaining privacy on a line
Theory of Computing Systems | 2012-12-06 | Paper |
Computing majority with triple queries
Theoretical Computer Science | 2012-11-27 | Paper |
Strongly connected orientations of plane graphs
Discrete Applied Mathematics | 2012-11-22 | Paper |
Stretch factor in wireless sensor networks with directional antennae
Combinatorial Optimization and Applications | 2012-11-02 | Paper |
STRONG CONNECTIVITY IN SENSOR NETWORKS WITH GIVEN NUMBER OF DIRECTIONAL ANTENNAE OF BOUNDED ANGLE
Discrete Mathematics, Algorithms and Applications | 2012-10-15 | Paper |
Bounded length, 2-edge augmentation of geometric planar graphs
Discrete Mathematics, Algorithms and Applications | 2012-10-15 | Paper |
Strong connectivity of sensor networks with double antennae
Structural Information and Communication Complexity | 2012-09-26 | Paper |
Robust Sensor Range for Constructing Strongly Connected Spanning Digraphs in UDGs
Computer Science – Theory and Applications | 2012-09-10 | Paper |
Approximating the edge length of 2-edge connected planar geometric graphs on a set of points
LATIN 2012: Theoretical Informatics | 2012-06-29 | Paper |
Preventing the cluster formation attack against the hierarchical OLSR protocol
Foundations and Practice of Security | 2012-06-08 | Paper |
Analysing local algorithms in location-aware quasi-unit-disk graphs
Discrete Applied Mathematics | 2011-10-27 | Paper |
Boundary Patrolling by Mobile Agents with Distinct Maximal Speeds
Algorithms – ESA 2011 | 2011-09-16 | Paper |
Computing majority with triple queries
Lecture Notes in Computer Science | 2011-08-17 | Paper |
Planar subgraphs without low-degree nodes
Lecture Notes in Computer Science | 2011-08-12 | Paper |
Deterministic symmetric rendezvous with tokens in a synchronous torus
Discrete Applied Mathematics | 2011-06-01 | Paper |
Location-oblivious distributed unit disk graph coloring
Algorithmica | 2011-05-10 | Paper |
Maintaining connectivity in sensor networks using directional antennae
Monographs in Theoretical Computer Science. An EATCS Series | 2011-04-05 | Paper |
Strong connectivity in sensor networks with given number of directional antennae of bounded angle
Combinatorial Optimization and Applications | 2011-01-10 | Paper |
Optimal balancing of satellite queues in packet transmission to ground stations
Combinatorial Optimization and Applications | 2011-01-10 | Paper |
Bounded length, 2-edge augmentation of geometric planar graphs
Combinatorial Optimization and Applications | 2011-01-08 | Paper |
The diameter and connectivity of networks with random dependent faults
Networks | 2010-11-24 | Paper |
String recognition on anonymous rings
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Maximum interference of random sensors on a line
Structural Information and Communication Complexity | 2010-06-17 | Paper |
Strong orientations of planar graphs with bounded stretch factor
Structural Information and Communication Complexity | 2010-06-17 | Paper |
On the false-positive rate of Bloom filters
Information Processing Letters | 2010-06-09 | Paper |
Local construction and coloring of spanners of location aware unit disk graphs
Discrete Mathematics, Algorithms and Applications | 2010-03-11 | Paper |
Playing with triangulations
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Random maximal independent sets and the unfriendly theater seating arrangement problem
Discrete Mathematics | 2009-12-15 | Paper |
Optimal movement of mobile sensors for barrier coverage of a planar region
Theoretical Computer Science | 2009-11-25 | Paper |
| Tracking mobile users in cellular networks using timing information | 2009-10-12 | Paper |
Approximate hotlink assignment
Information Processing Letters | 2009-07-21 | Paper |
LATIN 2004: Theoretical Informatics
Lecture Notes in Computer Science | 2009-05-07 | Paper |
An Algorithmic Theory of Mobile Agents
Trustworthy Global Computing | 2009-03-05 | Paper |
Constant memory routing in quasi-planar and quasi-polyhedral graphs
Discrete Applied Mathematics | 2009-03-04 | Paper |
Local PTAS for Dominating and Connected Dominating Set in Location Aware Unit Disk Graphs
Approximation and Online Algorithms | 2009-02-12 | Paper |
Optimal Movement of Mobile Sensors for Barrier Coverage of a Planar Region
Combinatorial Optimization and Applications | 2009-01-27 | Paper |
Local Construction and Coloring of Spanners of Location Aware Unit Disk Graphs
Graph-Theoretic Concepts in Computer Science | 2009-01-20 | Paper |
Mobile Agent Rendezvous in a Synchronous Torus
LATIN 2006: Theoretical Informatics | 2008-09-18 | Paper |
Local Construction of Planar Spanners in Unit Disk Graphs with Irregular Transmission Ranges
LATIN 2006: Theoretical Informatics | 2008-09-18 | Paper |
Communication in Networks with Random Dependent Faults
Mathematical Foundations of Computer Science 2007 | 2008-09-17 | Paper |
Memoryless search algorithms in a network with faulty advice
Theoretical Computer Science | 2008-08-06 | Paper |
Balancing Traffic Load Using One-Turn Rectilinear Routing
Lecture Notes in Computer Science | 2008-05-27 | Paper |
Randomized Rendez-Vous with Limited Memory
Lecture Notes in Computer Science | 2008-04-15 | Paper |
| Rectilinear glass-cut dissections of rectangles to squares | 2008-04-03 | Paper |
The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring
SOFSEM 2008: Theory and Practice of Computer Science | 2008-03-07 | Paper |
Local Edge Colouring of Yao-Like Subgraphs of Unit Disk Graphs
Structural Information and Communication Complexity | 2007-11-15 | Paper |
Location Oblivious Distributed Unit Disk Graph Coloring
Structural Information and Communication Complexity | 2007-11-15 | Paper |
| Assigning bookmarks in perfect binary trees. | 2007-09-21 | Paper |
Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov--Jacobson energy model
Discrete Applied Mathematics | 2007-04-18 | Paper |
Better adaptive diagnosis of hypercubes
IEEE Transactions on Computers | 2007-01-09 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Deterministic M2M multicast in radio networks
Theoretical Computer Science | 2006-10-20 | Paper |
Mathematical Foundations of Computer Science 2005
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Asynchronous deterministic rendezvous in graphs
Theoretical Computer Science | 2006-04-28 | Paper |
Broadcasting in unlabeled hypercubes with a linear number of messages.
Information Processing Letters | 2006-01-17 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-12-15 | Paper |
STACS 2005
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Games on triangulations
Theoretical Computer Science | 2005-10-26 | Paper |
Structural Information and Communication Complexity
Lecture Notes in Computer Science | 2005-09-07 | Paper |
Structural Information and Communication Complexity
Lecture Notes in Computer Science | 2005-09-07 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Euro-Par 2004 Parallel Processing
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Information and Communications Security
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Applied Cryptography and Network Security
Lecture Notes in Computer Science | 2005-06-13 | Paper |
| scientific article; zbMATH DE number 2119714 (Why is no real title available?) | 2004-11-29 | Paper |
Tree exploration with little memory
Journal of Algorithms | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2100932 (Why is no real title available?) | 2004-09-15 | Paper |
| scientific article; zbMATH DE number 2100931 (Why is no real title available?) | 2004-09-15 | Paper |
| scientific article; zbMATH DE number 2080232 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2081037 (Why is no real title available?) | 2004-08-04 | Paper |
Sorting and election in anonymous asynchronous rings.
Journal of Parallel and Distributed Computing | 2004-03-14 | Paper |
Searching with mobile agents in networks with liars.
Discrete Applied Mathematics | 2004-02-14 | Paper |
| scientific article; zbMATH DE number 2011862 (Why is no real title available?) | 2003-12-02 | Paper |
| scientific article; zbMATH DE number 2006658 (Why is no real title available?) | 2003-11-23 | Paper |
Locating information with uncertainty in fully interconnected networks: The case of nondistributed memory
Networks | 2003-10-29 | Paper |
The impact of information on broadcasting time in linear radio networks.
Theoretical Computer Science | 2003-01-21 | Paper |
Cutting circles into equal area pieces
Geombinatorics | 2002-09-18 | Paper |
Rigorous results for random (\(2+p)\)-SAT
Theoretical Computer Science | 2002-03-03 | Paper |
Random constraint satisfaction: A more accurate picture
Constraints | 2002-02-10 | Paper |
| scientific article; zbMATH DE number 1696681 (Why is no real title available?) | 2002-01-28 | Paper |
Optimal adaptive fault diagnosis for simple multiprocessor systems
Networks | 2002-01-27 | Paper |
Locating information with uncertainty in fully interconnected networks with applications to world wide web information retrieval
The Computer Journal. Section A Section B | 2002-01-23 | Paper |
| scientific article; zbMATH DE number 1552835 (Why is no real title available?) | 2001-12-12 | Paper |
| scientific article; zbMATH DE number 1629820 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1629819 (Why is no real title available?) | 2001-11-01 | Paper |
| scientific article; zbMATH DE number 1629974 (Why is no real title available?) | 2001-10-23 | Paper |
Ray shooting from convex ranges
Discrete Applied Mathematics | 2001-09-03 | Paper |
Fault-tolerant broadcasting in radio networks
Journal of Algorithms | 2001-07-29 | Paper |
On recognizing a string on an anonymous ring
Theory of Computing Systems | 2001-04-17 | Paper |
| scientific article; zbMATH DE number 1507298 (Why is no real title available?) | 2000-12-06 | Paper |
ISOMORPHIC TRIANGULATIONS WITH SMALL NUMBER OF STEINER POINTS
International Journal of Computational Geometry & Applications | 2000-11-07 | Paper |
Efficient regular polygon dissections
Geometriae Dedicata | 2000-10-23 | Paper |
Power consumption in packet radio networks
Theoretical Computer Science | 2000-08-21 | Paper |
| Approximating the unsatisfiability threshold of random formulas | 2000-05-03 | Paper |
| scientific article; zbMATH DE number 1405786 (Why is no real title available?) | 2000-03-27 | Paper |
Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks
SIAM Journal on Computing | 2000-03-19 | Paper |
Baked-Potato Routing
Journal of Algorithms | 1999-10-25 | Paper |
| scientific article; zbMATH DE number 1263229 (Why is no real title available?) | 1999-06-29 | Paper |
Approximate maxima finding of continuous functions under restricted budget
Theoretical Computer Science | 1999-01-12 | Paper |
Perfect broadcasting in unlabeled networks
Discrete Applied Mathematics | 1998-11-03 | Paper |
A simple proof of the representation of bipartite planar graphs as the contact graphs of orthogonal straight line segments
Information Processing Letters | 1998-08-13 | Paper |
Planar stage graphs: Characterizations and applications
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1140070 (Why is no real title available?) | 1998-04-13 | Paper |
| scientific article; zbMATH DE number 1114008 (Why is no real title available?) | 1998-02-08 | Paper |
Stage-graph representations
Discrete Applied Mathematics | 1998-01-29 | Paper |
The VC-dimension of set systems defined by graphs
Discrete Applied Mathematics | 1997-12-17 | Paper |
Hop-Congestion Trade-Offs for High-Speed Networks
International Journal of Foundations of Computer Science | 1997-09-29 | Paper |
Distributed Computing on Anonymous Hypercube Networks
Journal of Algorithms | 1997-07-06 | Paper |
Anonymous wireless rings
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 953683 (Why is no real title available?) | 1996-12-03 | Paper |
On Multi-Label Linear Interval Routing Schemes
The Computer Journal | 1996-10-30 | Paper |
Labeled versus unlabeled distributed Cayley networks
Discrete Applied Mathematics | 1996-08-05 | Paper |
| scientific article; zbMATH DE number 734472 (Why is no real title available?) | 1995-07-13 | Paper |
Counting problems relating to a theorem of Dirichlet
Computational Geometry | 1995-04-09 | Paper |
Computing Boolean functions on anonymous networks
Information and Computation | 1995-01-11 | Paper |
Camera placement in integer lattices
Discrete & Computational Geometry | 1994-08-10 | Paper |
Optimal coteries and voting schemes
Information Processing Letters | 1994-08-03 | Paper |
| scientific article; zbMATH DE number 177819 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 64020 (Why is no real title available?) | 1992-09-27 | Paper |
A note on weighted distributed match-making
Mathematical Systems Theory | 1992-09-26 | Paper |
Boolean Functions, Invariance Groups, and Parallel Complexity
SIAM Journal on Computing | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4119595 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4121431 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4096767 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4062556 (Why is no real title available?) | 1988-01-01 | Paper |
Fixed point equations with parameters in the projective model
Information and Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4157899 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3987288 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3957197 (Why is no real title available?) | 1986-01-01 | Paper |
Definable partitions and reflection properties for regular cardinals
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
Definable Partitions and the Projectum
Mathematical Logic Quarterly | 1985-01-01 | Paper |
DEFINABLE ULTRAPOWERS AND ULTRAFILTERS OVER ADMISSIBLE ORDINALS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3912372 (Why is no real title available?) | 1984-01-01 | Paper |
Stepping up lemmas in definable partitions
Journal of Symbolic Logic | 1984-01-01 | Paper |
Definable Ramsey and definable Erdös ordinals
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
Definable Ultrafilters and end Extension of Constructible Sets
Mathematical Logic Quarterly | 1982-01-01 | Paper |
Invisible Ordinals and Inductive Definitions
Mathematical Logic Quarterly | 1982-01-01 | Paper |
Reflection and partition properties of admissible ordinals
Annals of Mathematical Logic | 1982-01-01 | Paper |
