John Potter - RankMe

66 papers A* 1A 10B 4C 4Misc 2Journal 13Unranked 30

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Linear normalised hash function for clustering gene sequences and identifying reference sequences from multiple sequence alignments. CoRR Manal Helal, Fanrong Kong, Sharon C. A. Chen, Fei Zhou, Dominic E. Dwyer, John Potter, Vitali Sintchenko
2016	—	`conf`	Development of low optical cross talk filters for VIIRS (JPSS). Earth Observing Systems Vijay Murgai, Derek Hendry, Kevin Downing, David Carbone, John Potter
2013	J	`jnl`	Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function. Medical Biol. Eng. Comput. Lingke Fan, Glen Bush, Emmanuel Katsogridakis, David M. Simpson, Robert Allen, John Potter, Anthony A. Birch, Ronney B. Panerai
2013	J	`jnl`	Erratum to: Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function. Medical Biol. Eng. Comput. Lingke Fan, Glen Bush, Emmanuel Katsogridakis, David M. Simpson, Robert Allen, John Potter, Anthony A. Birch, Ronney B. Panerai
2013	A	`conf`	Structural Lock Correlation with Ownership Types. ESOP Yi Lu, John Potter, Jingling Xue
2012	A	`conf`	A Type and Effect System for Determinism in Multithreaded Programs. ESOP Yi Lu, John Potter, Chenyi Zhang, Jingling Xue
2012	B	`conf`	Ownership Types for Object Synchronisation. APLAS Yi Lu, John Potter, Jingling Xue
2009	J	`jnl`	Exploring primary pupils' experiences and understandings of 'e-safety'. Educ. Inf. Technol. Sue Cranmer, Neil Selwyn, John Potter
2009	B	`conf`	Ownership Downgrading for Ownership Types. APLAS Yi Lu, John Potter, Jingling Xue
2009	J	`jnl`	Primary pupils' use of information and communication technologies at school and home. Br. J. Educ. Technol. Neil Selwyn, John Potter, Sue Cranmer
2009	C	`conf`	Search Space Reduction Technique for Distributed Multiple Sequence Alignment. NPC Manal Helal, Lenore R. Mullin, John Potter, Vitali Sintchenko
2007	C	`conf`	Aligning the Map Requirements Modelling with the B-method for Formal Software Development. APSEC Abdul Babar, Vladimir Tosic, John Potter
2007	J	`jnl`	Incremental Lock Selection for Composite Objects. J. Object Technol. John Potter, Abdelsalam Shanneb
2007	J	`jnl`	Interprocedural side-effect analysis for incomplete object-oriented software modules. J. Syst. Softw. Jingling Xue, Phung Hua Nguyen, John Potter
2007	A	`conf`	Validity Invariants and Effects. ECOOP Yi Lu, John Potter, Jingling Xue
2006	—	`conf`	Lock Selection Made Easy. ASWEC Abdelsalam Shanneb, John Potter
2006	A	`conf`	On Ownership and Accessibility. ECOOP Yi Lu, John Potter
2006	A*	`conf`	Protecting representation with effect encapsulation. POPL Yi Lu, John Potter
2006	—	`conf`	Recognition of Musically Similar Polyphonic Music. ICPR (4) Michael Chan, John Potter
2005	A	`conf`	A Type System for Reachability and Acyclicity. ECOOP Yi Lu, John Potter
2005	—	`conf`	Adapting the Personal Software Process (PSP) to Formal Methods. Australian Software Engineering Conference Abdul Babar, John Potter
2005	J	`jnl`	Book review. Comput. Educ. John Potter
2005	—	`conf`	Demonstrating the Effectiveness of Exclusion Control for Components. Australian Software Engineering Conference John Potter, Abdelsalam Shanneb, Eric Yu
2005	J	`jnl`	Exclusion requirements and potential concurrency for composite objects. Sci. Comput. Program. Abdelsalam Shanneb, John Potter, James Noble
2005	—	`conf`	Flexible Exclusion Control for Composite Objects. ACSC Abdelsalam Shanneb, John Potter
2002	—	`conf`	Responsive Bisimulation. IFIP TCS Xiaogang Zhang, John Potter
2002	J	`jnl`	Scalable Visualizations of Object-Oriented Systems with Ownership Trees. J. Vis. Lang. Comput. Trent Hill, James Noble, John Potter
2001	C	`conf`	A graphical definition of authorization schema in the DTAC model. SACMAT Jonathon Tidswell, John Potter
2001	A	`conf`	Simple Ownership Types for Object Containment. ECOOP David G. Clarke, James Noble, John Potter
2000	—	`conf`	Conglomeration -- Realizing Alias Protection. ACSC John Potter, James Noble
2000	A	`conf`	Exclusion for composite objects. OOPSLA James Noble, David Holmes, John Potter
2000	—	`conf`	Object Structuring Techniques. TOOLS (34) John Potter
2000	—	`conf`	Scalable Visualisations with Ownership Trees. TOOLS (37) Trent Hill, James Noble, John Potter
2000	—	`conf`	Visualizing the Structure of Object-Oriented Systems. VL Trent Hill, James Noble, John Potter
1999	—	`conf`	Dynamic Rights: Safe Extensible Access Control. ACM Workshop on Role-Based Access Control Jonathon Tidswell, Geoffrey H. Outhred, John Potter
1999	—	`conf`	Object Ownership for Dynamic Alias Protection. TOOLS (32) James Noble, David G. Clarke, John Potter
1999	—	`conf`	Overcoming Representation Exposure. ECOOP Workshops David G. Clarke, James Noble, John Potter
1998	—	`conf`	A Compositional Approach to Concurrent Objects. TOOLS (27) Xiaogang Zhang, John Potter
1998	Misc	`conf`	A Dynamically Typed Access Control Model. ACISP Jonathon Tidswell, John Potter
1998	—	`conf`	Component Composition with Sharing. ECOOP Workshops Geoffrey H. Outhred, John Potter
1998	A	`conf`	Flexible Alias Protection. ECOOP James Noble, Jan Vitek, John Potter
1998	—	`conf`	Library Interoperability via Inheritance. TOOLS (26) John Potter, Ryan Shelswell, Ian Joyner
1998	A	`conf`	Ownership Types for Flexible Alias Protection. OOPSLA David G. Clarke, John Potter, James Noble
1998	—	`conf`	The Ins and Outs of Objects. Australian Software Engineering Conference John Potter, James Noble, David G. Clarke
1998	—	`conf`	Toward Reusable Synchronisation for Object-Oriented Languages. ECOOP Workshops David Holmes, James Noble, John Potter
1997	B	`conf`	A Flexible Service Selection Model for Enterprise Distributed Systems. EDOC Geoffrey H. Outhred, John Potter
1997	Misc	`conf`	An Approach to Dynamic Domain and Type Enforcement. ACISP Jonathon Tidswell, John Potter
1997	—	`conf`	Applying Design Patterns. TOOLS (25) James Noble, John Potter
1997	—	`conf`	Aspects of Synchronization. TOOLS (25) David Holmes, James Noble, John Potter
1997	—	`conf`	Change Detection for Aggregate Objects with Aliasing. Australian Software Engineering Conference James Noble, John Potter
1997	—	`conf`	Class-Based Models in the -Calculus. TOOLS (25) Xiaogang Zhang, John Potter
1997	—	`conf`	Keynotes: Java and Eiffel: A de facto relationship? TOOLS (23) John Potter, Richard Soley
1997	—	`conf`	Modelling Multi-Threading in Java. TOOLS (25) Axel Wabenhorst, John Potter
1996	A	`conf`	Operating system extensions for dynamic real-time application. RTSS Steven Sommer, John Potter
1996	J	`jnl`	Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools. Aust. Comput. J. Mark Sifer, John Potter
1996	B	`conf`	The Matilda Data Model and its Implications. MMM David B. Lowe, Athula Ginige, Mark Sifer, John Potter
1995	J	`jnl`	Scalability for Graph-Based Case Tools. Int. J. Softw. Eng. Knowl. Eng. Mark Sifer, John Potter
1994	C	`conf`	Scalability for graph based CASE tools. APSEC Mark Sifer, John Potter
1993	—	`conf`	A Separate Proposal for Eiffel. TOOLS (12/9) Ghinwa Jalloul, John Potter
1993	—	`conf`	Object-Oriented Design - the Eiffel Method. TOOLS (12/9) John Potter, Christine Mingins
1993	—	`ed.`	Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992 TOOLS (12/9) Christine Mingins, William Haebich, John Potter, Bertrand Meyer
1992	—	`conf`	Designing for Reusability. TOOLS (6) John Potter
1992	—	`conf`	Models for Concurrent Eiffel. TOOLS (6) Ghinwa Jalloul, John Potter
1991	—	`ed.`	TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. TOOLS (6) John Potter, Mario Tokoro, Bertrand Meyer
1986	—	`conf`	Characterisation of Terminating Logic Programs. SLP Thomas Vasak, John Potter
1985	J	`jnl`	Metalogical Control for Logic Programs. J. Log. Program. Thomas Vasak, John Potter